Encapsulated User-Level Device Drivers in the Mungi Operating System (2003)

by Ben Leslie , Nicholas FitzRoy-Dale , Gernot Heiser
Citations:6 - 1 self

Active Bibliography

14 Towards Untrusted Device Drivers – Ben Leslie, Gernot Heiser - 2003
41 User-level Device Drivers: Achieved Performance – Ben Leslie, Peter Chubb, Nicholas Fitzroy-dale, Stefan Götz, Charles Gray, Luke Macpherson, Daniel Potts, Yueting Shen, Kevin Elphinstone, Gernot Heiser - 2005
24 The Design and Implementation of Microdrivers – Vinod Ganapathy, Matthew J. Renzelmann, Arini Balakrishnan, Michael M. Swift, Somesh Jha - 2008
4 On Tailoring Thread Schedules in Protocol Design: Experimental Results – Juan Carlos Gomez, Vernon Rego, V. S. Sunderam
8 Improving Computer Communication Performance by Reducing Memory Bandwidth Consumption – Bengt Ahlgren - 1997
63 High-Performance LocalArea Communication With Fast Sockets – Steven H. Rodrigues, Thomas E. Anderson, David E. Culler - 1997
58 The APIC Approach to High Performance Network Interface Design – Zubin D. Dittia, Guru M. Parulkar, Jerome R. Cox - 1997
12 Deploying safe user-level network services with icTCP – Haryadi S. Gunawi, Andrea C. Arpaci-dusseau, Remzi H. Arpaci-dusseau - 2004
2 P – unknown authors
5 Microdrivers: A New Architecture for Device Drivers – Vinod Ganapathy, Arini Balakrishnan, Michael M. Swift, Somesh Jha
94 Unmodified device driver reuse and improved system dependability via virtual machines – Joshua Levasseur, Volkmar Uhlig, Jan Stoess, Stefan Götz - 2004
10 The Fluke Device Driver Framework – Kevin Thomas Van Maren - 1999
7 Itanium Page Tables and TLB – Matthew Chapman, Ian Wienand, Gernot Heiser - 2003
12 Fault Isolation for Device Drivers – Jorrit N. Herder, Herbert Bos, Ben Gras, Philip Homburg, Andrew S. Tanenbaum
30 Device driver safety through a reference validation mechanism – Dan Williams, Patrick Reynolds, Kevin Walsh, Emin Gün Sirer, Fred B. Schneider
Resource Management in the – Mungi Single-Address-Space Operating, Gernot Heiser, Fondy Lam, Stephen Russell - 1998
7 Garbage collector memory accounting in language-based systems – David W. Price, Algis Rudys, Dan S. Wallach - 2002
9 Proof Linking: A Modular Verification Architecture for Mobile Code Systems – Philip W. L. Fong - 2004
Real-time Upcalls: A Mechanism to Provide Real-time Processing Guarantees – Raman Gopalakrishna, Guru M. Parulkar - 1995