The Composite Component-Based OS

" summary

Composite is a microkernel-style capability-based OS that implements services and policies in user space and emphasizes fast IPC. It explores features such as thread-migration-based IPC, user-level scheduling of system threads, user-defined capability policies, a wait-free kernel designed to scale across many cores, and temporal capabilities for coordinating untrusted schedulers, while also supporting paravirtualized RTOSes on very small microcontrollers (≈64 KiB SRAM, 16–200 MHz, MPUs). The talk examines how Composite’s design departs from L4 descendants to achieve predictability, high performance, and scalable parallelism.

AI-written summary · about