第25期 | 一个教学玩具，凭什么扛起一个时代？

操作系统 · 2026-10-20 · 九羲科技

一、Linux 线

第二章十二期，Minix 讲完了。收束只问一句：这个"教学玩具"，到底给世界留下了什么？

四样。

第一样，一本书。1987 年，阿姆斯特丹自由大学的 Andrew Tanenbaum 出版《Operating Systems: Design and Implementation》，书里印了一万两千行 C 源码，附赠一张软盘——学生真能读完。1991 年初，赫尔辛基大学的 Linus 就是抱着这本书学会操作系统的。Minix 先是一本书，再是一个系统。

第二样，一场吵了三十多年的架。Minix 把文件系统、内存管理全赶出内核，内核只当"邮差"，专心传消息。1992 年 1 月 29 日，Tanenbaum 在 comp.os.minix 发帖："LINUX is obsolete"——1991 年还写单片内核，是"倒退回七十年代"。Linus 第二天回帖开怼。这场架后文细讲，这里只记一笔：吵架本身就是遗产，它把"内核该长什么样"这个问题，钉进了每一代系统程序员的脑子里。

第三样，一个许可证的教训。Minix 一直收授权费，直到 2000 年 4 月才转成 BSD 许可证——自由晚了十三年。而 1991 年的窗口只开了一年：GPL 的 Linux 挤进去了，收费的 Minix 被关在门外。LWN 有一句狠话：Minix 转 BSD，"far too late"——如果一开始就是自由的，历史可能完全改写。时机这东西，错过就是错过。

第四样，最吊诡的一样。Minix 没死，它住进了几十亿台电脑：Intel 管理引擎（ME）里跑的，正是 Minix 3。2017 年 11 月，Tanenbaum 写公开信给 Intel CEO，说他自己都是看新闻才知道的。全世界装机量第一的操作系统，你从没见过——因为它藏在 Ring -3 里。

Minix 像书法里的藏锋——锋芒都收在纸里。十二期讲完，它始终不是主角，但每个主角的出场，都踩着它的肩。

二、原生 AI OS 线：推演。

如果 AI 的操作系统先出现，"Minix"会是什么样子？不会是一万两千行 C——AI 不靠读代码学系统，它从行为里学。原生 AI OS 的"教学版"，大概是一套"最小可运行的世界模型 + 可观察的调度痕迹"：让小模型在里面犯错、重启、看反馈回路。维纳《控制论》那句老话在这里有了肉身：感知—比较—执行，教学 OS 就是把这条回路摊开来给你看。

再往外推一格：Minix 的价值在于"小到能被完整理解"。AI 时代的对应物，是"小到能被完整验证"——seL4 微内核在 2009 年用数学证明了自己的正确性（SOSP 2009，Gerwin Klein 团队）。教学玩具的下一代，是可证明的玩具。这里也能搬 Anderson 在 1972 年那句话：知道晶体管怎么工作，不等于能推出 Linux；每一层，都需要新概念。

三、现在动手线：动手。

今晚就能动手的一步：读 Minix 源码里最短的一章。去 minix3.org 下一份源码，只看 kernel/proc.c 里挑进程的那个函数——三个队列，怎么挑下一个，五分钟看完。Tanenbaum 当年"书码同源"的手法，三十多年后依然是最好的学习路径：能读完的系统，才是你的系统。

映射到今天的实践：

- 手边那台能跑本地模型的机器：Minix 的"小到能被理解"，对应"小模型先跑通再放大"。小模型在单机上跑顺了，再谈更大的——别一上来就啃最大的。

- 边缘 AI 盒子：Minix 3 当年就是为"高可靠、嵌入式"重写的（2005 年 10 月 SOSP 官宣）。它回答的那个问题，边缘设备今天还在答：内核崩了，系统能不能不死？

- 视频 AI 平台：微内核的"邮差"思想，就是多智能体协作的原型——每个智能体是一个独立服务，内核只负责把消息送到。

- 企业私有智能中心：Minix 的许可证教训反过来读——GPL 的 Linux 赢在"让人能改、能分发"。私有化产品也一样：客户能掌控、能改，才敢用。

· · ·