Group:
computer hardware
Group:
file system
Topic:
bootstrapped systems
Topic:
communication protocols
Topic:
disk allocation
Topic:
I/O streams
Topic:
interprocess communication
Topic:
interrupt handler
Topic:
operating system kernel
Topic:
operating system security
Topic:
virtual memory
| |
Subtopic: device driver 
| 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
| 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
| 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
| 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
| Quote: a transducer creates a stream interface from a device driver interface [»redeDD2_1980]
|
Subtopic: memory management
| Quote: Unix devices drivers can mark a buffer for immediate reuse [»ritcDM_1979]
|
Subtopic: error diagnosis
| 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
| Quote: recovery by restarting a device driver; most problems are rare or due to timing [»taneAS5_2006]
|
Subtopic: error analysis
| 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
[»englD10_2001]
|
Related Topics
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)
|
