MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

The Fluke Device Driver Framework (1999)

by Kevin Thomas ,  Kevin Thomas ,  Kevin Thomas ,  Kevin Thomas Van Maren ,  Van Maren ,  Van Maren ,  John B. Carter ,  Wilson C. Hsieh ,  Date Frank ,  J. Lepreau ,  David S. Chapman
Add To MetaCart

Abstract:

Providing e#cient device driver support in the Fluke operating system presents novel challenges, which stem from two conflicting factors: (i) a design and maintenance requirement to reuse unmodified legacy device drivers, and (ii) the mismatch between the Fluke kernel's internal execution environment and the execution environment expected by these legacy device drivers. This thesis presents a solution to this conflict: a framework whose design is based on running device drivers as usermode servers, which resolves the fundamental execution environment mismatch.

Citations

702 Scale and Performance in a Distributed File System – HOWARD, KAZAR, et al. - 1988
506 UNet: A user-level network interface for parallel and distributed computing – Eicken, Basu, et al. - 1995
283 Fbufs: a high-bandwidth cross-domain transfer facility – Druschel, Peterson - 1993
255 The V Distributed System – Cheriton - 1988
241 A new kernel foundation for UNIX development – Mach - 1986
234 UNIX disk access patterns – RUEMMLER, WILKES - 1993
222 Eliminating receive livelock in an interrupt-driven kernel. ACMTrans – Mogul, Ramakrishnan - 1997
200 The design and implementation of the 4.4BSD operating system – McKusick, Bostic, et al. - 1996
164 Lazy Receiver Processing (LRP): A Network Subsystem Architecture for Server Systems – Druschel, Banga - 1996
154 Application performance and flexibility on exokernel systems – Kaashoek, Engler, et al. - 1997
114 An Architectural Overview of QNX – Hildebrand - 1992
107 Microkernels Meet Recursive Virtual Machines – Ford, Hibler, et al. - 1996
106 Unix Internals: The New Frontiers – Vahalia - 1996
99 An introduction to programming with threads – Birrell - 1989
99 A caching model of operating system kernel functionality – Cheriton, Duda - 1994
98 O’Toole Jr. Exokernel: An operating system architecture for application-level resource management – Engler, Kaashoek, et al. - 1995
91 The Flask security architecture: System support for diverse security policies – Spencer, Smalley, et al. - 1999
70 CPU inheritance scheduling – Ford, Susarla - 1996
63 Flick: A Flexible, Optimizing IDL Compiler – Eide, Frei, et al.
51 Linux Kernels Internals – Beck, Bohme, et al. - 1998
49 The flux oskit: A substrate for os and language research – Ford, Benson, et al. - 1997
47 The Performance of -Kernel-Based Systems – HÄRTIG, HOHMUTH, et al. - 1997
41 Drawing the red line in Java – Back, Hsieh - 1999
32 Interface and execution models in the Fluke kernel – Ford, Hibler, et al. - 1999
30 An I/O system for Mach 3.0 – Forin, Golub, et al. - 1991
23 N.: Protocol Implementation in a Vertically Structured Operating System – Black, Barham, et al. - 1997
23 The Component Object Model Specification, Version 0.9 – Corporation - 1995
22 Formal methods: A practical tool for OS implementors – Tullmann, Turner, et al. - 1997
16 Protection is a Software Issue – Bershad, Savage, et al.
11 The Flux OS Toolkit: Reusable components for OS implementation – Ford, Maren, et al. - 1997
11 User level IPC and device management in the Raven kernel – Ritchie, Neufeld - 1993
11 Atomic heap transactions and fine-grain interrupts – Shivers, Clark, et al. - 1999
10 III. An architecture for device drivers executing as user-level tasks – Golub, Sotomayor, et al. - 1993
10 Creating user-mode device drivers with a proxy – Hunt - 1997
10 The User-Safe Device I/O Architecture – Pratt - 1997
9 Implementing Mandatory Network Security in a Policy-flexible System – Chitturi - 1998
8 The Complete FreeBSD – Lehey - 1996
6 Control Transfer in Operating System Kernels – Draves - 1994
6 Linux Device Drivers. O'Reilly – Rubini - 1998
4 Fluke: Flexible -kernel environment — application programming interface reference (draft – Ford, Hibler - 1996
4 Hardware and Software Support for Ecient Exception Handling – Thekkath, Levy - 1994
3 SBus Information, Applications, and Experience – Lyle - 1992
2 the Mini Object Model: Specification (Draft – MOM - 1998
2 IO-Lite: A unified I/O bu#ering and caching system – Pai, Druschel, et al. - 1999
1 Portable Fluke microkernel prototype design and implementation – Ford - 1996
1 FreeBSD home – FreeBSD
1 POSIX.4: Programming for the Real World. O'Reilley and Associates – Gallmeister - 1995
1 KRFTech device driver development toolkits. http://www.- krftech.com – KRFTech
1 Loepere et al. Mk++ kernel executive summary – Keith - 1995
1 The Indispensable PC Hardware Book – Messmer - 1997