【操作系统百科】宏内核 vs 微内核 vs 混合内核：Tanenbaum-Torvalds 三十年后
微内核是理论正义但工程失败？Linux 宏内核赢了只是因为先上车？三十年前的那场论战，在 seL4 形式化正确、L4 家族把 IPC 做到单 syscall、Fuchsia 真正商用的 2020s，我们应该怎么重新看？本文用四个可量化的维度——性能、可维护性、隔离性、可验证性——把四种内核架构（宏、微、混合、Exokernel/Unikernel）摆到同一张尺子上对齐。
fuchsia 标签归档
共 1 篇文章 · 返回首页