Find out how ICT can support biomedical and clinical researchFind out more. Managing complexity by developing new tools and processes. Managing Complexity

Abstract

Title:

Encapsulated user-level device drivers in the Mungi operating system

Authors:

Ben Leslie, Nicholas FitzRoy-Dale and Gernot Heiser

    School of Computer Science and Engineering
    University of New South Wales
    Sydney 2052 Australia
    
    National ICT Australia, Sydney, Australia

Abstract:

The reliability of device drivers is of critical importance to the overall stability of computer systems. This paper presents the software architecture used for user-level device drivers in the Mungi operating system. We argue that this framework provides a safer environment in which to run device drivers, while making device driver implementation easier and more flexible, thus improving overall reliability of the system.

BibTeX Entry

  @inproceedings{Leslie_FH_04,
    author           = {Ben Leslie and Nicholas FitzRoy-Dale and Gernot Heiser},
    booktitle        = {Proceedings of the  Workshop on Object Systems and Software Architectures 2004},
    title            = {Encapsulated User-Level Device Drivers in the {Mungi} Operating System},
    year             = {2004},
    month            = {Jan},
    note             = {\url{http://www.cs.adelaide.edu.au/~wossa2004/HTML/}},
    address          = {Victor Harbor, South Australia, Australia}
  }

Download paper: