| 
|
QuoteRef: taneAS5_2006
Topic:
limitations of system security
Topic:
the effect of scale
Topic:
operating system security
Topic:
device driver
Topic:
operating system kernel
Topic:
exception handling by recovery block or rescue clause
Topic:
backtracking
Topic:
exception handling with resumption
Topic:
interprocess communication
Topic:
proving concurrent programs
Topic:
communication protocols
Topic:
message queues for communication
Reference
Tanenbaum, A.S., Herder, J.N., Bos, H., "Can we make operating systems reliable and secure?", Computer, May 2006, pp. 44-51. Google
44 ;;Quote: huge operating systems with poor fault isolation; any statement can overwrite key data structures of unrelated components
45 ;;Quote: Nooks wraps a device driver in a lightweight protection domain; copies kernel objects and checks parameters
46 ;;Quote: recovery by restarting a device driver; most problems are rare or due to timing
48 ;;Quote: inter-process communication for user-mode drivers by fixed-length messages and synchronous rendezvous; pending interrupt bitmap; less than 10% penalty
49 ;;Quote: Sing# has formal message passing semantics; all processes run in one virtual address space without overwriting data; avoids kernel traps and context switches
49 ;;Quote: Sing# sends strongly typed messages over bidirectional channels; a state machine defines the channel's protocol
Topic: limitations of system security (39 items)
Topic: the effect of scale (17 items)
Topic: operating system security (18 items)
Topic: device driver (15 items)
Topic: operating system kernel (67 items)
Topic: exception handling by recovery block or rescue clause (22 items)
Topic: backtracking (30 items)
Topic: exception handling with resumption (31 items)
Topic: interprocess communication (29 items)
Topic: proving concurrent programs (37 items)
Topic: communication protocols (62 items)
Topic: message queues for communication (36 items)