Loading...
Please wait, while we are loading the content...
Similar Documents
Capability wrangling made easy: debugging on a microkernel with Valgrind
| Content Provider | CiteSeerX |
|---|---|
| Author | Pohle, Aaron Döbel, Björn Roitzsch, Michael Härtig, Hermann |
| Description | 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 differ-ent from the classical POSIX interface. The resulting unfamiliar-ity for programmers complicates development and debugging. Val-grind 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 con-trol 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 indige-nous to capability systems and show how Valgrind’s flexibility can be leveraged to create custom debugging tools detecting these er-rors. |
| File Format | |
| Language | English |
| Publisher Institution | Technische Universität Dresden Germany in VEE ’10: Proceedings of the 6th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments |
| Access Restriction | Open |
| Subject Keyword | Bug Class Valgrind Flexibility Posix-like Kernel Capability System Traditional Monolithic Kernel Real-time Controller Programmer Complicates Development Embedded System Non-posix Environment Oc Microkernel Con-trol Execution Classical Posix Interface Chip Card Custom Debugging Tool Operating System Well-known Debugging Tool Dynamic Binary Analysis |
| Content Type | Text |
| Resource Type | Article |
