Extensible

A Caching Model of Operating System Kernel Functionality

-dsg.stanford.edu

Stanford Cache Kernel, supervisor-mode component of V++ OS; caches system objects (threads, address spaces) to raise performance; microkernel alternative, performance equals normal…

422 visits Aug 10, 2023 Details

BITS

soi.city.ac.uk

The Component Based Operating System: based on describing system resources as independent components, lets applications implement their own abstractions, define their own protectio…

331 visits Jan 13, 2025 Details

Extensible Operating Systems

cs.unm.edu

Brief description, and on-site links to descriptions of Choices, Exokernel, GLUnix, VINO, SPIN.

134 visits Apr 20, 2024 Details

Open Kernel Environment: OKE

liacs.nl

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-l…

476 visits May 2, 2026 Details

SPIN

cs.washington.edu

Dynamically extensible, Exokernel-based, provides many core services: scheduler, kernel threads, domains, event dispatcher, security mechanisms, primitive VM operations. Blurs dist…

122 visits Oct 20, 2024 Details

Using Kernel Extensions to Decrease the Latency of User-Level Communication Primitives

cs.unm.edu

Suggests solving networking and distributed systems latency via operating system extensibility; University of New Mexico Technical Report.

67 visits May 24, 2024 Details