微内核 (Microkernel)

定义

微内核是一种操作系统内核架构:内核态只保留地址空间管理、线程调度与进程间通信(IPC)等最小机制,设备驱动、文件系统、网络协议栈等都作为用户态服务进程运行。

原理与代价

各服务通过 IPC 消息通信,单个服务崩溃不会拖垮整个系统,可单独重启。代价是原本一次函数调用的操作变成多次 IPC 与上下文切换,第一代微内核(如 Mach)因此性能不佳;Jochen Liedtke 的 L4 通过极简设计把 IPC 开销压低了一个数量级,证明微内核可以高效。

代表系统

Mach、L4 家族、经过形式化验证的 seL4、QNX(车载领域广泛应用)、MINIX 3、Google 的 Fuchsia(Zircon 内核)以及华为 HarmonyOS 内核均属此路线。

争议

1992 年 Tanenbaum 与 Torvalds 的著名论战即围绕微内核与宏内核优劣展开;实践中 Windows NT、XNU 等采取混合内核折中路线。