Name
Abstract | ||
|---|---|---|
The common-case IPC handler in microkernels, referred to as the fastpath, is performance-critical and thus is often optimised using hand-written assembly. However, compiler technology has advanced significantly in the past decade, which suggests that we should re-evaluate this approach. We present a case study of optimising the IPC fast-path in the seL4 microkernel. This fastpath is written in C and relies on an optimising C compiler for good performance. We present our techniques in modifying the C sources to assist with compiler optimisation. We compare our results with a hand-optimised assembly implementation, which gains no extra benefit from hand-tuning. |
Year | DOI | Venue |
|---|---|---|
2012 | 10.1145/2349896.2349909 | ApSys |
Keywords | Field | DocType |
extra benefit,compiler optimisation,hand-optimised assembly implementation,common-case ipc handler,optimising c compiler,compiler technology,ipc fast-path,c source,case study,hand-written assembly,fault tolerance | Computer science,Microkernel,Compiler,Fault tolerance,Operating system | Conference |
Citations | PageRank | References |
6 | 0.46 | 3 |
Authors | ||
2 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Bernard Blackham | 1 | 69 | 4.41 |
| Gernot Heiser | 2 | 6 | 0.46 |