User-level Device Drivers: Achieved Performance (2005)

Cached

Download Links

by Ben Leslie , Peter Chubb , Nicholas Fitzroy-dale , Stefan Götz , Charles Gray , Luke Macpherson , Daniel Potts , Yueting Shen , Kevin Elphinstone , Gernot Heiser
Venue:Journal of Computer Science and Technology
Citations:39 - 11 self

Documents Related by Co-Citation

232 Improving the reliability of commodity operating systems – Michael M. Swift, Brian N. Bershad, Henry M. Levy - 2003
93 Unmodified device driver reuse and improved system dependability via virtual machines – Joshua Levasseur, Volkmar Uhlig, Jan Stoess, Stefan Götz - 2004
69 SafeDrive: Safe and recoverable extensions using language-based techniques – Feng Zhou, Jeremy Condit, Zachary Anderson, Ilya Bagrak - 2006
246 An Empirical Study of Operating System Errors – Andy Chou, Junfeng Yang, Benjamin Chelf, Seth Hallem, Dawson Engler - 2001
341 On µ-kernel construction – Jochen Liedtke - 1995
106 Recovering device drivers – Michael M. Swift, Brian N. Bershad, Henry M. Levy - 2004
68 Devil: An IDL for Hardware Programming – Fabrice Mérillon, Laurent Réveillère, Charles Consel, Renaud Marlet, Gilles Muller - 2000
114 The performance of µ-kernel-based systems – Hermann Härtig, Michael Hohmuth, Jochen Liedtke, Sebastian Schönberg, Jean Wolter - 1997
89 XFI: Software guards for system address spaces – Ú Erlingsson, M Abadi, M Vrable, M Budiu, G C Necula - 2006
96 Safe hardware access with the Xen virtual machine monitor – Keir Fraser, Steven H, Rolf Neugebauer, Ian Pratt, Andrew Warfield, Mark Williamson - 2004
1251 Xen and the art of virtualization – Paul Barham, Boris Dragovic, Keir Fraser, Steven H, Tim Harris, Alex Ho, Rolf Neugebauer, Ian Pratt, Andrew Warfield
23 The Design and Implementation of Microdrivers – Vinod Ganapathy, Matthew J. Renzelmann, Arini Balakrishnan, Michael M. Swift, Somesh Jha - 2008
618 The Protection of Information in Computer Systems – Jerome H. Saltzer, Michael D. Schroeder - 1975
12 FUSD: A Linux framework for user-space devices. http://www.circlemud.org/˜jelson/ software/fusd – J Elson
141 Thorough Static Analysis of Device Drivers – Thomas Ball, Ella Bounimova, Byron Cook, Vladimir Levin, Jakob Lichtenberg, Con McGarvey, Bohus Ondrusek, Sriram K. Rajamani, Abdullah Ustuner - 2006
339 Checking system rules using system-specific, programmer-written compiler extensions – Dawson Engler, Benjamin Chelf, Andy Chou - 2000
9 Get more device drivers out of the kernel – P Chubb
26 Dingo: Taming Device Drivers – Leonidf Ryzhyk, et al. - 2009
17 Solving the Starting Problem: Device Drivers as Self-Describing Artifacts – Orion Hodson, Michael F. Spear, Galen C. Hunt, Tom Roeder - 2006