| 1. | 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.
www.cs.washington.edu |
| 3. | Extensible Operating Systems | | | Brief description, and on-site links to descriptions of Choices, Exokernel, GLUnix, VINO, SPIN.
www.cs.unm.edu |
| 4. | A Caching Model of Operating System Kernel Functionality | | | 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.
www-dsg.stanford.edu |
| 5. | 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.
www.soi.city.ac.uk |
| 6. | 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]
www.liacs.nl |
| | |