Name
Abstract | ||
|---|---|---|
Bugs in kernel extensions remain one of the main causes of poor operating system reliability despite proposed techniques that isolate extensions in separate protection domains to contain faults. We believe that previous fault isolation techniques are not widely used because they cannot isolate existing kernel extensions with low overhead on standard hardware. This is a hard problem because these extensions communicate with the kernel using a complex interface and they communicate frequently. We present BGI (Byte-Granularity Isolation), a new software fault isolation technique that addresses this problem. BGI uses efficient byte-granularity memory protection to isolate kernel extensions in separate protection domains that share the same address space. BGI ensures type safety for kernel objects and it can detect common types of errors inside domains. Our results show that BGI is practical: it can isolate Windows drivers without requiring changes to the source code and it introduces a CPU overhead between 0 and 16%. BGI can also find bugs during driver testing. We found 28 new bugs in widely used Windows drivers. |
Year | DOI | Venue |
|---|---|---|
2009 | 10.1145/1629575.1629581 | SOSP |
Keywords | Field | DocType |
new software fault isolation,new bug,hard problem,kernel object,cpu overhead,efficient byte-granularity memory protection,windows driver,byte-granularity software fault isolation,kernel extension,low overhead,separate protection domain,source code,type safety,operating system,fault isolation,isolation | Kernel (linear algebra),Address space,Memory protection,Byte,Computer science,Fault detection and isolation,Source code,Real-time computing,Granularity,Type safety,Operating system,Embedded system | Conference |
ISSN | Citations | PageRank |
1790-5125 | 78 | 2.49 |
References | Authors | |
33 | 8 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Miguel Castro | 1 | 5088 | 328.69 |
| Manuel Costa | 2 | 1589 | 88.62 |
| Jean-Philippe Martin | 3 | 159 | 7.49 |
| Marcus Peinado | 4 | 1360 | 78.38 |
| Periklis Akritidis | 5 | 451 | 22.09 |
| Austin Donnelly | 6 | 1345 | 66.50 |
| Paul Barham | 7 | 6162 | 459.58 |
| Richard Black | 8 | 191 | 9.20 |