241 search results - page 1 / 49 » Self-stabilizing device drivers |
ASPLOS
2012
ACM
12 years 28 days ago
2012
ACM
Device drivers are the single largest contributor to operating-system kernel code with over 5 million lines of code in the Linux kernel, and cause significant complexity, bugs an...
APCSAC
2004
IEEE
13 years 9 months ago
2004
IEEE
Device drivers are a significant source of system instability. In this paper, we make the case for running device drivers at user-level to improve robustness and resource managemen...
SOSP
2009
ACM
14 years 2 months ago
2009
ACM
Faulty device drivers cause significant damage through down time and data loss. The problem can be mitigated by an improved driver development process that guarantees correctness...
SIGOPSE
2004
ACM
13 years 10 months ago
2004
ACM
Device drivers account for the majority of an operating system’s code base, and reuse of the existing driver infrastructure is a pragmatic requirement of any new OS project. New...
SSS
2005
Springer
13 years 10 months ago
2005
Springer
This work presents several approaches for designing the memory management component of self stabilizing operating systems. We state the requirements which a memory manager should ...