A Caching Model of Operating System Kernel Functio
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.
BITS
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.
Extensible Operating Systems
Short, annotated, alphabetically sorted list and links, part of larger system.
Extensible Operating Systems
Brief description, and on-site links to descriptions of Choices, Exokernel, GLUnix, VINO, SPIN.
Open Kernel Environment: OKE
Lets non-root users load native, fully optimized code in kernels. OKE Corral: active network environment, lets 3rd-party code manage code organization at any level of nodes. LEGO-like model from MIT Click router. Description, papers, release page, contacts. [Open Source, GPL]
SPIN
Dynamically extensible, Exokernel-based, provides many core services: scheduler, kernel threads, domains, event dispatcher, security mechanisms, primitive VM operations. Blurs distinction between kernels and applications, which traditionally live in user-level address spaces, separated from kernel resources and services by an expensive protection boundary. Lets applications specialize the kernel by dynamically linking new code into running systems.
Synthetix
Extensible technology for adaptive systems: researching tools, techniques to incrementally specialize OSs to optimize performance, meta-programming languages to let applications declare specialization needs to OSs, and to specialize distributed systems to enhance survivability via code diversity and specialized response to intrusion.
Using Kernel Extensions to Decrease the Latency of
Suggests solving networking and distributed systems latency via operating system extensibility; University of New Mexico Technical Report.
VINO
Extensible OS, high reusability and modularity, application-directed kernel policy, universal resource interface, take no usual solutions for granted (question everything): software and postscript downloads.