今天很多开发者一开机房话题,嘴上说的是:

  • 哪个发行版「稳」
  • 容器里是 alpine 还是 ubuntu
  • systemd 爱不爱
  • WSL 算不算「真 Linux」
  • 云上选 ARM 还是 x86

我们很容易把这些当成口味之争。

可如果你退一步,只问一句很不浪漫、但很锋利的问题:

如果操作系统只是「让程序跑起来」的底层,为什么半个世纪以来,行业还要反复争路径怎么写、权限怎么设、系统调用长什么样、谁有权分发一份「叫 Unix 的东西」?

你会发现,操作系统从来不是透明的一层玻璃。

它更像一套被写进肌肉记忆的默认政治

  • 斜杠朝哪边、配置散在哪几个目录里
  • 进程与文件谁像「一等公民」
  • root 与普通用户的心智边界
  • 换行符和路径长度这种「小事」如何在跨团队协作时变成大钱

这套 《操作系统江湖》 想讲的就是:这些默认从哪里来,为什么曾经必须用合同和诉讼才能讲清楚,以及今天的云和容器如何把同一套争论再切一层。


这套系列讲什么

我想追的母题,一句话压住:

操作系统史,首先是「谁有权规定程序如何看见计算机」的历史;内核实现只是战场上的兵器,授权、标准与发行版才是停战协议。

你会在这套系列里反复看到几组拉扯:

  • 可共享的研究传统,对上 可计价、可诉讼的专有分发(知识层)。
  • Unix 式极简与可移植接口,对上 厂商差异化、支持与合同绑定(商业层)。
  • 事实上的社区习惯,对上 POSIX / Single UNIX Specification 这类纸面条文(制度层)。
  • 单一内核上游,对上 千百种发行版默认栈(生态层)。
  • 装在机器上的 OS,对上 云账号里被计费的虚拟 OS 切片(当代层)。

人物会出现,但只服务于冲突结构:没有制度后果,就不值得占用篇幅。


你可以把主线记成八篇

01|操作系统江湖(一):Unix 先是能被人拷走的传统,才变成合同里的产品

研究机房里长出来的 Unix,如何先变成「能传递、能改写」的知识,再被授权条款拽回谈判桌。

02|操作系统江湖(二):同一套 Unix 源头,如何写成两套互不服气的「正统」(待写)

BSD 谱系与 System V 谱系:习惯与合同各站一边。

03|操作系统江湖(三):POSIX 把内战翻译成采购与投标能用的条文(待写)

标准不是无聊文档,是停战与招投标的翻译器。

04|操作系统江湖(四):GNU 要的是完整自由操作系统,缺内核时生态会自己拐弯(待写)

Hurd 与 Linux 的空缺与补位。

05|操作系统江湖(五):一个内核如何接上千差万别的「世界默认」(待写)

Linux 与发行版治理。

06|操作系统江湖(六):代码能抄的时代过去后,法庭与商标接着划界(待写)

诉讼与 UNIX 商标的政治学。

07|操作系统江湖(七):容器和云把操作系统再切一片,旧争论换皮(待写)

今日遗产与平台账单。

第 0 篇就是你现在读的总序:先把总命题立住,再交代这套系列与仓库里其它「江湖」系列怎么互相照亮。


为什么操作系统特别适合写成「江湖」

这个题材,基本命中「江湖体」选题四问里的四条:

  1. 它确实吵了很多年:从早期授权、BSD/SysV、POSIX,到发行版路线、init 之争、容器与不可变基础设施,不是几年热度。
  2. 它背后从来不只是技术:AT&T、高校、工作站厂商、诉讼、商标、云厂商的账单模型,全缠在一起。
  3. 今天大家还在替历史决定买单:路径、权限、libc、glibc/musl、发行版生命周期、CI 里「到底像不像生产」,全是日常摩擦。
  4. 它有硬材料:经典论文与技术报告、标准文本、判例档案、内核与发行版的公开治理文档,比纯段子题材更容易挂锚点。

所以真正值得追问的,从来不是「哪个内核在口头上赢了」,而是:

为什么每一次号称「简化运维」的浪潮,最后都只是把操作系统政治换个界面显示给你看。


和已经写过的系列怎么接起来

如果你读过开源江湖,会记得:许可证与叙事如何规定「谁能分叉、谁要交回改进」。操作系统世界把这件事落在更底层:没有内核与系统接口的默认可复制,许可证政治根本无处附着。

如果你读过数据库江湖,会记得:数据秩序如何被一次次重写。操作系统提供的是进程、文件与权限的秩序;数据库再在上面叠一层事务叙事。

如果你读过跨端江湖,会记得:宿主 OS 与应用商店如何决定第三方运行时能不能活。那是本系列「接口政治」在移动端的一次放大。

如果你读过浏览器江湖,会记得:浏览器越来越像另一层 OS。两相对读,你会看到 「入口层」 如何在不同年代从操作系统手里切走权力。

《操作系统江湖》不重复讲许可证全文,也不替代内核书籍;它补的是:默认与授权如何塑造你以为「天然如此」的工程文化。


写作纪律(本系列自用)

  1. 三层标注:可核对事实(论文、标准、法院档案、官方 CHANGELOG)|当事人回忆|坊间传说。第三层绝不写成铁案。
  2. 强判断必挂锚:优先 BSTJ/作者页、Open Group、案卷索引、可追溯归档帖。
  3. 口水战少写:除非能回到 合并权、生态速度、默认栈 等制度后果。
  4. Windows 与 Unix 对读:目标不是站队,而是解释 习惯摩擦从何而来

推荐阅读顺序

按篇号从 00 读到 07 最顺:先立住 OS 是 接口与授权的政治,再沿时间线看分叉、标准、GNU/Linux、诉讼与云。

如果你时间很少,至少读完 00010307(待写):你会拿到「默认如何被争夺」的主骨架。


先收束到一个追问

如果操作系统真的只是「让硬件跑起来」,为什么人类还需要 POSIX、发行版、容器镜像和一整支云账单来翻译同一件事?


关键人物与组织速览

  • Ken Thompson / Dennis Ritchie:Unix 早期设计与经典论述;理解「研究传统」如何被写成可引用的技术文本。
  • AT&T / Bell Labs:Unix 从内部工具到对外授权的关键背景(具体条款与年份以档案为准)。
  • 加州大学伯克利(BSD):理解「学术—产业」扩散轴;后续与 USL 等诉讼相关。
  • Richard Stallman / GNU:理解「完整自由操作系统」如何成为可执行的工程议程。
  • Linus Torvalds / Linux:理解「可合并内核 + 多发行版」如何成为默认栈。
  • The Open Group / IEEE POSIX:理解「纸面条文」如何把可移植性变成合同语言。

参考与延伸阅读

  1. D. M. Ritchie, The Evolution of the Unix Time-sharing System(技术报告 / 作者页镜像;用于设计演进叙事,注意与论文条目交叉核对)
  2. D. Ritchie, K. Thompson, The UNIX Time-Sharing SystemBell System Technical Journal Unix 专刊(1978)等收录
  3. The Unix Heritage Societyhttps://www.tuhs.org/
  4. The Open Group Publications — POSIX / SUS 入口 https://publications.opengroup.org/
  5. Richard Stallman, The GNU Manifestohttps://www.gnu.org/gnu/manifesto.html
  6. 本仓库reference/操作系统江湖资料索引.mdreference/操作系统江湖分篇大纲.md

下篇预告:Unix 如何在成为「产品」之前,先成为一种会被人们拷走、改写、再传下去的传统。