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.
