Topic: device driver

topics > computer science > Group: operating system

computer hardware
file system

bootstrapped systems
communication protocols
disk allocation
I/O streams
interprocess communication
interrupt handler
operating system kernel
operating system security
virtual memory

Subtopic: device driver up

Quote: can bootstrap Forth on native hardware with 4K kernal and 40 pages of Forth; used metacompiler to compile the kernal [»rathED_1996]
Quote: Inferno applications use a fixed set of files for devices and system services [»dorwSM1_1997]

Subtopic: driver security up

Quote: Nooks wraps a device driver in a lightweight protection domain; copies kernel objects and checks parameters [»taneAS5_2006]
Quote: use 'confine' and 'restrict' to track lock state; removed spurious type errors in 138 of 152 device driver modules [»aikeA6_2003]

Subtopic: driver communication up

Quote: inter-process communication for user-mode drivers by fixed-length messages and synchronous rendezvous; pending interrupt bitmap; less than 10% penalty [»taneAS5_2006]

Subtopic: driver implementation up

Quote: the Styx protocol implements local device drivers with procedure calls and remote devices with mount driver and remote procedure calls [»dorwSM1_1997]
Quote: represent device drivers with a data file and a control file

Subtopic: stream interface up

Quote: a transducer creates a stream interface from a device driver interface [»redeDD2_1980]

Subtopic: memory management up

Quote: Unix devices drivers can mark a buffer for immediate reuse [»ritcDM_1979]

Subtopic: error diagnosis up

Quote: automatic diagnosis of Windows XP failures; 83% third-party failures, 12% hardware, and 5% Microsoft bugs [»murpB11_2004]
Quote: for hardware failures, 30% memory, 26% disk, 17% processor; for driver failures, 35% display, 13% anti-virus, 10% CD-burning, 9% audio, 9% modem

Subtopic: recovery from error up

Quote: recovery by restarting a device driver; most problems are rare or due to timing [»taneAS5_2006]

Subtopic: error analysis up

Quote: Slam found many errors in Windows device drivers; it separates the control path from the data path; e.g., resource use [»laruJR5_2004]
Quote: 450 lines of test driver code caught 25 timing-dependent errors; difficult to detect with conventional testing [»holzGJ5_1999]
Quote: static source code analysis is automatic, descriptive, and finds bugs in untestable code

Related Topics up

Group: computer hardware   (24 topics, 343 quotes)
Group: file system   (9 topics, 305 quotes)

Topic: bootstrapped systems (7 items)
Topic: communication protocols (62 items)
Topic: disk allocation (32 items)
Topic: I/O streams (17 items)
Topic: interprocess communication (29 items)
Topic: interrupt handler (20 items)
Topic: operating system kernel (67 items)
Topic: operating system security (18 items)
Topic: virtual memory
(32 items)

Updated barberCB 5/04
Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.