Minix 操作系統有什麼發展潛力嗎？

01-03

Minix 的發展走入了一條死胡同。

Minix 的設計初衷是教學工具。從 3.0 開始提倡利用微內核的隔離性來達到可靠性。但是用這個方法獲得的「可靠性」很值得懷疑。Minix 的設計者最愛舉的例子是 driver 崩潰可以直接重啟 driver 進程。但是問題在於，我們到底要不要搞清楚從一開始 driver 為什麼崩潰這個原因。

Minix 的假定是軟體一定有 bug，所以我們應該用隔離性這種 defensive 機制來防止，而不是窮追源頭。這種方法有一定道理，特別是最上層的大型應用（請 Google crash-only software）。但是 OS kernel 並不是一個複雜度很高的系統，而 driver 的規範雖然瑣碎，其實複雜度也並不高。所以 OS 發展的早期，人們更關心找到崩潰的原因，解決它，提高代碼本身的質量。而不是通過莫名其妙的重啟來保證某一次系統的運行。

後來你說：我現在就是要很高的可靠性。怎麼辦？好辦，一方面，VxWorks 之類的系統經過幾十年的改進，複雜度沒有增加，但是可靠度不斷上升，已經基本 bug-free 了。可以說，VxWorks 有 bug 的幾率可能比 Minix 的 defensive 機制本身有 bug 的幾率還低。另一方面，各種混合內核甚至 monolithic 內核也不斷把 policy 代碼分離出來作為用戶態進程。而 Minix 因為許可證和代碼分發機制，一直沒有什麼成熟度的進步。

minix很可能已經是世界上最流行的操作系統了，因為所有的intel cpu上都搭載了minix。

Minix目前還是一個教學玩具，沒有得到產業界的支持。但也很難說，未來會不會有什麼轉機。

轉機來了：http://www.cs.vu.nl/~ast/intel/

Intel CPU"s are running MINIX in addition to your OS of choice

Intel給了所有人致命一擊

Linux、Mac、Windows用戶吵了這麼多年。

結果Minix一下子就跑到了終點(誤)。

世界上最流行的操作系統 MINIX 暗藏著最大的威脅？

老老實實做一個面向教學的系統也沒什麼不好。

有，作為英特爾的後門出現在這裡

Frequently Asked Questions

Intel

設備驅動太少，不支持USB設備；還不支持其他文件系統，傳個文件還得搭建FTP，感覺太麻煩了，可玩性太差。雖然minix3換了BSD License，引入NetBSD的userland和pkgsrc。

早知今日，何必當初～