Academic
Publications
Capability wrangling made easy: debugging on a microkernel with valgrind

Capability wrangling made easy: debugging on a microkernel with valgrind,10.1145/1837854.1736001,Sigplan Notices,Aaron Pohle,Björn Döbel,Michael Roitz

Capability wrangling made easy: debugging on a microkernel with valgrind  
BibTex | RIS | RefWorks Download
Not all operating systems are created equal. Contrasting traditional monolithic kernels, there is a class of systems called microkernels more prevalent in embedded systems like cellphones, chip cards or real-time controllers. These kernels offer an abstraction very different from the classical POSIX interface. The resulting unfamiliarity for programmers complicates development and debugging. Valgrind is a well-known debugging tool that virtualizes execution to perform dynamic binary analysis. However, it assumes to run on a POSIX-like kernel and closely interacts with the system to control execution. In this paper we analyze how to adapt Valgrind to a non-POSIX environment and describe our port to the Fiasco.OC microkernel. Additionally, we analyze bug classes that are indigenous to capability systems and show how Valgrind's flexibility can be leveraged to create custom debugging tools detecting these errors.
Journal: Sigplan Notices - SIGPLAN , pp. 3-12, 2010
Cumulative Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.