This article surveys prominent multikernel operating systems—including Barrelfish, fos, Popcorn Linux, Twin‑Linux, IHK/McKernel, mOS, and RainForest—detailing their design principles, implementation approaches, performance results, and the evolution of research over the past decade.
The article introduces the multikernel operating‑system paradigm, explains how traditional monolithic and microkernel designs struggle with scalability, noisy‑neighbor interference, and one‑size‑fits‑all kernels, and details the multikernel’s performance, isolation, customization, zero‑downtime updates, elastic resource management, and security benefits for cloud and real‑time workloads.
ByteDance’s Parker proposal describes a partition‑aware Linux kernel that lets several independent kernel instances run concurrently on one physical server without traditional virtualization, improving scalability for high‑core‑count systems while allowing per‑kernel performance tuning.
This article surveys prominent multi‑kernel operating systems—including Barrelfish, fos, Popcorn Linux, Twin‑Linux, IHK/McKernel, mOS and RainForest—explaining their design principles, performance benefits, scalability on heterogeneous hardware, observed limitations, and the broader research trajectory.
The article introduces the multikernel OS paradigm, explains why traditional monolithic and microkernel designs struggle with scalability, noisy‑neighbor interference, and one‑size‑fits‑all kernels, and details how dedicated kernel instances per core group can deliver near‑bare‑metal performance, strong isolation, zero‑downtime updates, elastic resource management, and AI‑driven customization for cloud and real‑time workloads.
