2.1.1 单内核 vs 微内核架构

文档摘要

2.1.1 单内核 vs 微内核架构在操作系统内核设计的漫长演进史中，单内核（Monolithic Kernel）与微内核（Microkernel）从来不是非此即彼的哲学站队，而是一场持续四十余年的、关于控制权边界、性能代价、故障域隔离与可验证性之间精密权衡的工程实践。我们常听到“Linux是单内核，seL4是微内核”，但这句话背后隐藏着大量被简化掉的技术真相：Linux早已通过模块化加载机制实现了逻辑上的服务解耦；而现代微内核如Fuchsia的Zircon，又通过内联系统调用路径与零拷贝IPC优化，悄然收编了部分传统上属于“用户态服务”的关键路径。