第17期 | 一台 386 跑 16 位系统,Tanenbaum 在想什么?
一、Linux 线
1991 年,Linus 的桌上是一台 386:32 位保护模式、硬件分页、任务切换,当时个人电脑上最强的芯片。而他每天启动的 Minix,是个 16 位系统。
芯片明明会跑,操作系统偏让它走路。Tanenbaum 在想什么?
1987 年,Tanenbaum 出版《Operating Systems: Design and Implementation》。Minix 是这本书的教具:约 12,000 行 C 代码,内核、内存管理、文件系统三块,印在书后,人手一册都能读完。定位第一天就写死了:教得明白,比跑得快重要。
1991 年的 Minix 1.5 还是 16 位。它跑在 IBM PC、Atari ST、Amiga、Macintosh、Sun 工作站上——可移植性拉满,代价是绝不碰任何一块芯片的独门绝技。386 的保护模式?碰了,代码就教不明白了。
当时社区里已经流传着非官方的 386 32 位移植版。但"非官方"三个字,直到 1997 年 Minix 2.0 才摘掉:那一年它终于支持 386 的 32 位模式、POSIX、TCP/IP,随第二版教材光盘发行。可 1997 年,Linux 早不是 1991 年的模样了。
1992 年 1 月 29 日,Tanenbaum 在 comp.os.minix 发下著名的"LINUX is obsolete"。撇开火药味,他把逻辑说透了:x86 快完了,RISC 才是未来;把操作系统绑死在一块芯片上是短视,可移植才是正道。他不是做不到 386,他是"不想做"。
庄子讲混沌开七窍:"日凿一窍,七日而混沌死"(《庄子·应帝王》)。1991 年,人人都在劝 Minix 开七窍:上 386、加功能、变强大。Tanenbaum 偏不开。反用这个寓言最有意思:不开七窍,混沌活成了一代人的启蒙教材——Linus 正在其中;等 1997 年七窍开齐,它反而泯然众人。克制,是需要勇气的。
范式之眼点一句:Minix 的 16 位抽象,与 386 的真实能力之间,隔着一层"操作系统假装看不见"。三十年后同一个错位换了主角:今天的操作系统用时间片调度 GPU,可 GPU 是空间并行的向量阵列。OS 假装看不见的那部分,恰恰是算力最强的那部分。
二、原生 AI OS 线
如果 AI 的操作系统先出现,它也会给自己装天花板吗
会。它的"Minix 时刻"可能正在押韵。
想象 AI-native OS 的第一版:一个 7B 小模型,只干一件事——记忆检索,或只做意图路由。能力有天花板,但每条路由规则、每次检索逻辑都摊开给你看,像 Minix 的 12,000 行代码一样,人人读得懂、改得动。它跑在 RK3588 这样的边缘盒上,不快,但"教得明白"。
然后"AI 时代的 Linus"会出现:嫌它榨不干 3090,嫌它调度向量阵列还在用时间片的老脑筋,于是重写一个绑死新硬件的版本——大模型吃云端,大力出奇迹。
小模型守边缘(可解释、可教学),大模型吃云端(生产、拼性能)——历史押了两次韵。Minix 的真正遗产从来不是 16 位代码,而是"把系统讲明白"的传统。AI OS 的第一课也该是这一课:先让人看懂,再让人嫌它不够大。"嫌不够大"的那个人,就是下一个时代的起点。
发展性研究之眼问一句:这一章是原理突破,还是发展性研究?Unix 原理 1969–1974 年就成熟了。Minix 是发展性研究——把 Unix 原理变成"教得明白"的工程;Linux 0.01 也是发展性研究——把 Unix 原理变成"386 上跑得起来"的工程。同是中间层,一个守"教",一个求"跑",命运就此分叉。杨振宁说的"先实际后原理",Linus 是践行者,Tanenbaum 是守夜人。都值得尊敬,但只有一种能长大。
三、现在动手线:把"故意不长大"写进架构
最直接的映射,就是你们刚定的混合架构 v1:本地 7B(RK3588 / RKLLM w8a8)只扛简单问答,复杂推理走云端豆包 API。
这就是"教学玩具的自觉":让小模型安住在自己的"用"上,不强求它长大。Tanenbaum 的教训是:把边界写进架构,别等用户一头撞上天花板才解释。
今晚就能动手:给本地模型画一条"天花板曲线"。
- 备 10 个短问答("写时复制是什么")和 10 道多步推理题("对比三种备份方案的成本")。
- 在 3090 上用 ollama 各跑一遍(先用 ollama list 看模型名),记两件事:答案能不能用,花了多久。
- 你会看到一条拐点:短问答又快又好,长推理开始胡说或超时——那就是你的"386 / 16 位分界线"。
然后把这条线写成代码,不超过 20 行:问题超 N 字、或命中"分析 / 对比 / 规划 / 为什么",走云端 API;否则本地。这就是 xuanora 研判层"意图路由"的雏形,也是 SkyBook 六位智能体的分工:L2 问答守本地,经营研判上云端。
一个能跑起来的最小证明,比十页架构文档更接近"体悟"。
觉 然 小 注
"是法平等,无有高下。"(《金刚经》)教学系统不比生产系统低一等,16 位不比 32 位卑微——各从其用。Minix 的"不长大"不是失败,是它安住了自己的用;执着于"谁赢了",才是我们着了相。
引 用 与 出 处
- Minix 版本史(1.x 16 位 / 1.5 1991 / 2.0 1997 年支持 386 32 位 / 2000 年改 BSD 许可),https://en.wikipedia.org/wiki/MINIX
- Tanenbaum–Torvalds 论战(1992-01-29 "LINUX is obsolete",comp.os.minix),https://en.wikipedia.org/wiki/Tanenbaum%E2%80%93Torvalds_debate
- Albert Woodhull:Minix 教学版本说明(12,000 行代码与版本沿革),http://minix1.woodhull.com/teaching/teach_ver.html
- Torvalds / Diamond《Just for Fun》(2001;中译本《只是为了好玩》):1991 年初购书与 Minix 体验,据作者自述;译本详情待核
- 《庄子·应帝王》"日凿一窍,七日而混沌死",通行郭象注本原文
· · ·