@
thedog Linux 本来就野
https://cdn-images-1.medium.com/max/1600/1*lEX-oCv0yLOnEWrHPlO4KA.png外媒是这么介绍 Linus 的工作台的：Linus ‘ s Global Software Headquarters
这不叫野什么叫野
从 SysV fork 出来的，有 UNIX 认证的还活着的最有名的是 Solaris，当然 Oracle 不搞了，现在只有 illumos，另外还有 HP 的 HP-UX，IBM 的 AIX
说 BSD 和 Linux 野是因为第一他不是 SysV 的代码，第二他没有 UNIX 认证，不过这问题很复杂，这个认证好像看得是整个系统，不是内核，因此 Linux 这种只有内核的东西就没法认证，但是 Linux 没认证不带表 Linux 的所有发行版都不能认证
我觉得有一些东西现在还有借鉴的价值，所以我自己维护了一个单子叫 Forgotten Ideas in CS
比如说到 UNIX，怎么能不提他老爹 Multics 呢
UNIX 的孩子 Plan 9 后来生了个孙子叫 Inferno
还有 LISP Machine，现在还留下一支能用叫 Open Genera
另一边的 Imperative 邪教大主教 Niklaus Wirth 做过一个平台叫 Oberon，这个知道的人貌似就比较少了
而 OO 一派也不干示弱，Alan Kay 拿出了 Smalltalk，并且喷了几十年我要的 Dynabook 你们到现在都没给我做出来（这个准确来说不算个 OS，不过从用户角度确实有 OS 的意思）
说到 IBM，IBM 有自己的生态系统，主要支持三个 OS：AIX，z/OS 和 Linux，z/OS 是 OS/360 系的，这货实现了 UNIX 标准，拿了认证，不过从历史上来看应该比 BSD 和 Linux 要野得多。IBM 有不少奇怪玩意，我也理不清楚
NT 之后 Microsoft Research 曾经尝试现代化整个软件栈，叫 Singularity，后来叫 Midori，MSFT 前员工 Joe Duffy 写过若干 blog 讲这东西的设计，强烈推荐
再接着翻旧账就到了 NT 之前的 OS/2
照这个翻还能翻到 Dave Culter 之前的 VMS，VMS （阿拉伯帝国）和 UNIX （拜占庭）之间的 Holy War 一直持续到今天变成了 Windows (NT) a.k.a 奥斯曼帝国 和 Linux/macOS/BSD （欧洲列强）之间的 Holy War
当然在此之前已经有一个空前强大足够用到人类灭亡的平台了叫 Emacs
Emacs 最开始是跑在一个叫 ITS 的古董系统上的
还有一个跟这个比就比较挫了，我小时候没啥钱，但是我听说当时的手机是能跑 Java 的
同时代的还有 BlackBerry OS
另外 WinCE 和 NT 不是一个内核，这个具体不清楚，只是当年 WP7 说用 CE 内核的时候这东西就死定了
Novell 的网络操作系统 Netease，哦不 NetWare
我这个列表里面还有个奇怪的名字叫 XTS-400，貌似是主打安全的，我也忘了是什么机缘碰到的了
现在搞 OS 的话，有那么几样挺有意思，一个是 L4 microkernel (seL4)，还有 Unikernel (MirageOS，很大部分是 OCaml 写的)
好的我以奇怪的 PL 打头，又成功地以奇怪的 PL 收尾了 ...