 
|
A Caching Model of Operating System Kernel Functionality - http://www-dsg.stanford.edu/papers/cachekernel/main.html
Stanford Cache Kernel, supervisor-mode component of V++ OS; caches system objects (threads, address spaces) to raise performance; microkernel alternative, performance equals normal monolithic OSs, yet gives application-level control of system resources, more modularity, scalability, smaller size, means of fault containment.
|
|
|
Extensible Operating Systems - http://www.cs.unm.edu/~riesen/prop/node26.html
Brief description, and on-site links to descriptions of Choices, Exokernel, GLUnix, VINO, SPIN.
|
|
|
BITS - http://www.soi.city.ac.uk/~patty/bits.html
The Component Based Operating System: based on describing system resources as independent components, lets applications implement their own abstractions, define their own protection schemes, participate in resource management.
|
|
Using Kernel Extensions to Decrease the Latency of User-Level Communication Primitives - http://www.cs.unm.edu/~riesen/prop/
Suggests solving networking and distributed systems latency via operating system extensibility; University of New Mexico Technical Report.
|