Flexible Operating System Internals: The Design and Implementation of the Anykernel and Rump Kernels

Livro digital

Título:
Flexible Operating System Internals: The Design and Implementation of the Anykernel and Rump Kernels

Autor:
Antti Kantee

Categoria:
Tecnologia > DevOps

Doador:
Raffaello D. N.

Sinopse:
Testing kernel code without a full machine, virtualizing a single driver without duplicating the entire kernel, or running a file system in userspace are problems that monolithic kernels handle poorly. This doctoral dissertation from Aalto University proposes the anykernel and rump kernel architecture as the answer, and Chapter 3 alone covers more than 40 subsystems to prove the claim in production-grade detail: CPU scheduling, interrupt handling, virtual memory, networking and disk I/O backends, USB pass-through with hub support, and microkernel file server integration. The architecture separates the kernel into a base, orthogonal factions, and drivers, each runnable in isolation as a rump kernel client: userspace process, microkernel server, hypervisor guest, or remote client over a network. The implementation chapter documents the hypercall interface, C symbol namespace protection, system call overhead measurements, and the page remapping vs. copying trade-off with benchmarks. The evaluation chapter analyzes implementation effort, regression catches, portability to non-NetBSD hosts, and a security case study with file system drivers. Appendix B is a self-contained tutorial for building distributed kernel services from scratch, including an NFS server and TCP/IP stack restarts. Written to accompany the production NetBSD implementation it describes, this dissertation gives systems programmers a rare combination: the theoretical framework for kernel decomposition and the working code to validate every claim. Readers who study it alongside the NetBSD source gain depth unavailable in any standard operating systems textbook.