操作系统演化史与流派之争

一句话定义

操作系统七十余年的演化史，是"如何回应硬件成本曲线与应用需求变化"的历史：从手工操作到批处理，到分时系统，再到宏内核与微内核的架构之争，最终收敛为今天的多极格局。

为什么重要

今天的每一个机制——分时、虚拟内存、文件系统——都是对当年具体矛盾的回答。知道"为什么发明它"，才能判断"什么场景下它还成立"。同时，宏内核/微内核之争、事件驱动/多线程之争持续至今，是阅读系统论文与工程选型时的基本坐标。

前置知识

kp-001 的抽象框架。

核心概念

• 批处理（batch processing）：1950s，作业成批上机，操作员手工调度；OS 雏形是驻留监控程序。
• 分时（time-sharing）：1960s，CTSS 与 Multics 开创让多个用户同时交互的机制，抢占式调度由此而来。
• UNIX（1969-1973）：Thompson 与 Ritchie 在 PDP-7/11 上用 C 重写，"一切皆文件"与 fork/exec 模型成为 POSIX 的源头。
• 宏内核（monolithic kernel）：文件、驱动、网络全部跑在内核态，如 Linux；性能好，但一处崩溃全系统遭殃。
• 微内核（microkernel）：内核只留 IPC 与最小调度，其余做用户态服务，如 Mach、L4、seL4、MINIX；隔离好，但 IPC 开销曾是痛点。
• 个人机时代与移动时代：MS-DOS、macOS、Windows NT；2007 年后 iOS/Android 让"每人口袋里一个 UNIX 后裔"。

原理与机制

1940s 手工操作     裸机，一个用户独占整台机器
1950s 批处理       驻留监控程序 + 磁带/卡片作业队列
1960s 分时系统     CTSS(1961) -> Multics(1964) -> 抢占与保护成熟
1969  UNIX 诞生    Thompson/Ritchie；1973 用 C 重写，可移植
1980s 个人机       DOS/Windows/Mac OS；同期 Mach 微内核立项
1991  Linux        Torvalds 发布 0.01，宏内核阵营迎来主力
1990s 微内核论战   Tanenbaum-Torvalds 争论；Liedtke 的 L4 证明微内核可快
2000s 虚拟化复兴   x86 硬件虚拟化（对应 kp-029）；2009 seL4 完成形式化验证
2010s- 容器与云    namespace/cgroup 成为主流部署单元

流派之争的实质是把功能放内核态还是用户态：宏内核用"都在一处"换性能与开发便利；微内核用"最小信任基"换可靠性与可验证性——seL4 用形式化方法证明了内核无功能缺陷，代价是生态与驱动复杂度。现代实践趋于融合：Linux 引入 eBPF 与用户态驱动框架，把部分功能安全地移出内核；Fuchsia、QNX 等则继承微内核衣钵。

直观类比

宏内核像一家什么都自己做的大工厂，效率高但一个车间起火全厂停产；微内核像只保留核心厂房的园区，车间独立核算互不殃及，但车间之间递送物料（IPC）有成本。

实例或案例

MINIX 教学内核跑在 Intel ME 协处理器里、QNX 驱动着汽车与基站、Linux 统治服务器与 Android——三条路线都以某种形式活到了今天。1992 年 Usenet 上的 Tanenbaum-Torvalds 论战原文仍值得读，其中"自由软件 vs 设计品味"的张力至今未解。

常见误区

• "微内核天然更安全所以必然取代宏内核"：安全收益真实，但驱动生态与工程惯性同样真实，二十年过去两者仍是并存格局。
• 把 GUI 当成现代 OS 的本质特征：纯命令行服务器内核与桌面内核在机制上是同一套东西。
• 认为历史阶段是"取代"关系：批处理思想活在 CI 任务队列里，分时思想活在每一行调度代码里。

与其他知识点的关系

kp-029 的虚拟化是这段历史的最新篇章；kp-032 集中讨论微内核/宏内核争议的技术细节。

延伸阅读

《现代操作系统》第 1 章历史小节；Liedtke 1995 论文；seL4 论文（SOSP 2009）。

自测题

1. 分时系统解决了批处理的什么根本缺陷？

答：批处理下用户提交作业后长时间得不到交互反馈；分时通过时钟中断与快速切换让多个用户"同时"获得响应。

1. 宏内核与微内核的核心分歧是什么？

答：文件系统、驱动等服务放在内核态（宏内核）还是用户态进程（微内核），本质是性能与隔离/可信基的权衡。

1. 为什么说 seL4 的形式化验证是微内核路线的重要节点？

答：它首次在通用内核上用数学方法证明实现与规约一致且无缓冲区溢出等缺陷，把"微内核更可靠"从口号变成可检验的命题。