From 638ff344f077138a6cd3ed4a8eaa9d72f26bd62e Mon Sep 17 00:00:00 2001 From: Thomas Schwinge Date: Thu, 2 Jul 2009 19:06:46 +0200 Subject: open_issues/device_drivers_and_io_systems: New page. open_issues/user-space_device_drivers: Likewise. --- open_issues/device_drivers_and_io_systems.mdwn | 69 ++++++++++++++++++ open_issues/user-space_device_drivers.mdwn | 99 ++++++++++++++++++++++++++ 2 files changed, 168 insertions(+) create mode 100644 open_issues/device_drivers_and_io_systems.mdwn create mode 100644 open_issues/user-space_device_drivers.mdwn (limited to 'open_issues') diff --git a/open_issues/device_drivers_and_io_systems.mdwn b/open_issues/device_drivers_and_io_systems.mdwn new file mode 100644 index 00000000..57a96cd0 --- /dev/null +++ b/open_issues/device_drivers_and_io_systems.mdwn @@ -0,0 +1,69 @@ +[[!meta copyright="Copyright © 2009 Free Software Foundation, Inc."]] + +[[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable +id="license" text="Permission is granted to copy, distribute and/or modify this +document under the terms of the GNU Free Documentation License, Version 1.2 or +any later version published by the Free Software Foundation; with no Invariant +Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license +is included in the section entitled [[GNU Free Documentation +License|/fdl]]."]]"""]] + +[[!tag open_issue_gnumach open_issue_hurd]] + +This is a collection of resources concerning *device drivers* and *I/O systems* +in general. + +Also see [[user-space device drivers]]. + + +# Documentation + + * [An I/O System for Mach + 3.0](http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.56.3210), + 1991, Alessandro Forin, David Golub, Brian Bershad + + * [Linux Device Driver Emulation in + Mach](http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.53.7252), + 1996, Shantanu Goel, Dan Duchamp + + * [Eliminating receive livelock in an interrupt-driven + kernel](http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.127.8257), + 1997, Jeffrey Mogul, Dec Western, Jeffrey C. Mogul, K. K. Ramakrishnan + + * [IO-Lite: A Unified I/O Buffering and Caching + System](http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.29.4224), + 1997, Vivek S. Pai, Peter Druschel, Willy Zwaenepoel + + * [The Flux OSKit: A substrate for kernel and language + research](http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.118.534), + 1997, Bryan Ford, Godmar Back, Greg Benson, Jay Lepreau, Albert Lin, Olin + Shivers + + * [Reuse Linux Device Drivers in Embedded + Systems](http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.26.6951), + 1998, Chi-wei Yang, Paul C. H. Lee, Ruei-Chuan Chang + + * [THINK: A Software Framework for Component-based Operating System + Kernels](http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.133.9239), + 2002, Jean-Philippe Fassino, Jean-Bernard Stefani, Julia Lawall, Gilles + Muller + + * [An I/O Architecture for Microkernel-Based Operating + Systems](http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.5.4337), + 2003, Hermann Haertig, Jork Loeser, Jork Löser, Frank Mehnert, Lars + Reuther, Martin Pohlack, Alexander Warg + + * [High-Speed I/O: The Operating System as a Signalling + Mechanism](http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.9.6991), + 2003, Matthew Burnside, Angelos D. Keromytis + + * [Unmodified device driver reuse and improved system dependability via + virtual + machines](http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.108.5317), + 2004, Joshua Levasseur, Volkmar Uhlig, Jan Stoess, Stefan Götz + + +# Projects + + * [Building Linux Device Drivers on + FreeBSD](http://info.iet.unipi.it/~luigi/FreeBSD/linux_bsd_kld.html) diff --git a/open_issues/user-space_device_drivers.mdwn b/open_issues/user-space_device_drivers.mdwn new file mode 100644 index 00000000..154a525c --- /dev/null +++ b/open_issues/user-space_device_drivers.mdwn @@ -0,0 +1,99 @@ +[[!meta copyright="Copyright © 2009 Free Software Foundation, Inc."]] + +[[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable +id="license" text="Permission is granted to copy, distribute and/or modify this +document under the terms of the GNU Free Documentation License, Version 1.2 or +any later version published by the Free Software Foundation; with no Invariant +Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license +is included in the section entitled [[GNU Free Documentation +License|/fdl]]."]]"""]] + +[[!tag open_issue_gnumach open_issue_hurd]] + +This is a collection of resources concerning *user-space device drivers*. + +Also see [[device drivers and IO systems]]. + + +# Documentation + + * [An Architecture for Device Drivers Executing as User-Level + Tasks](http://portal.acm.org/citation.cfm?id=665603), 1993, David B. Golub, + Guy G. Sotomayor, Freeman L. Rawson, III + + * [Performance Measurements of the Multimedia Testbed on Mach 3.0: Experience + Writing Real-Time Device Drivers, Servers, and + Applications](http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.40.8685), + 1993, Roger B. Dannenberg, David B. Anderson, Tom Neuendorffer, Dean + Rubine, Jim Zelenka + + * [User Level IPC and Device Management in the Raven + Kernel](http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.57.3733), + 1993, D. Stuart Ritchie, Gerald W. Neufeld + + * [Creating User-Mode Device Drivers with a + Proxy](http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.26.3055), + 1997, Galen C. Hunt + + * [The APIC Approach to High Performance Network Interface Design: Protected + DMA and Other + Techniques](http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.56.1198), + 1997, Zubin D. Dittia, Guru M. Parulkar, Jerome R. Cox, Jr. + + * [The Fluke Device Driver + Framework](http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.4.7927), + 1999, Kevin Thomas Van Maren + + * [Omega0: A portable interface to interrupt hardware for L4 + system](http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.21.5958), + 2000, Jork Löser, Michael Hohmuth + + * [Userdev: A Framework For User Level Device Drivers In + Linux](http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.3.4461), + 2000, Hari Krishna Vemuri + + * [User Mode Drivers](http://www.linuxjournal.com/article/5442), 2002, Bryce + Nakatani + + * [Towards Untrusted Device + Drivers](http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.13.1725), + 2003, Ben Leslie, Gernot Heiser + + * [Encapsulated User-Level Device Drivers in the Mungi Operating + System](http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.6.1531), + 2004, Ben Leslie Nicholas, Nicholas FitzRoy-Dale, Gernot Heiser + + * [Linux Kernel Infrastructure for User-Level Device + Drivers](http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.10.1408), + 2004, Peter Chubb + + * [Get More Device Drivers out of the + Kernel!](http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.59.6333), + 2004, Peter Chubb + + * + + * [Initial Evaluation of a User-Level Device + Driver](http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.59.4531), + 2004, Kevin Elphinstone, Stefan Götz + + * [User-level Device Drivers: Achieved + Performance](http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.59.6766), + 2005, Ben Leslie, Peter Chubb, Nicholas FitzRoy-Dale, Stefan Götz, Charles + Gray, Luke Macpherson, Daniel Potts, Yueting Shen, Kevin Elphinstone, + Gernot Heiser + + * [Virtualising + PCI](http://www.ice.gelato.org/about/oct06_presentations.php#pres14), 2006, + Myrto Zehnder, Peter Chubb + + * [Microdrivers: A New Architecture for Device + Drivers](http://www.cs.rutgers.edu/~vinodg/papers/hotos2007/), 2007, Vinod + Ganapathy, Arini Balakrishnan, Michael M. Swift, Somesh Jha + + +# Projects + + * + + * -- cgit v1.2.3