極端可靠的作業系統 EROS GPL了！ (轉)

極端可靠的作業系統 EROS GPL了！ (轉)[@more@]

 
ERGPL了！(及主要特色介紹)
(Watson，99/10/28 5:52pm 於 202.96.19.50)
如果說將會被取代，沒準新的明星就是它！它叫Extremely Reliable Operating System，意即“極端可靠的操作”。
我對其中的理論所知非常有限，所以難以把關於它的論文介紹給大家，我可以大致列出幾條它的特性，但無力仔細解釋。如果你感興趣，可以自己到他們那裡去看。
它是賓西法尼亞大學的專家開發出來的，它結合了一些古老的理論和現代關於和資源管理的理論，可以成為一個很小的、的和實時的作業系統。它的1.1版現在GPL了(其實在4月23日就公佈在他們的主頁上，LinuxToday和我都失職了)。

原文在LinuxToday

EROS 的關鍵特色：

品味EROS的特色需要先暫時忘記你所知道的、的系統工作方式和核心模型，準備好接受一些對我們普通人來說是完全嶄新的東西。:)
EROS 具有以下的關鍵特色：

純粹基於能力限度的體系。能力(Capabilities)是這樣一個概念，它是指系統中的每個程式都必須先擁有一定的訪問能力，然後才能訪問其它(如其它程式、系統中的各個、甚至於每一塊)。能力就象汽車鑰匙一樣，必須而且只要擁有了鑰匙，你就能開動一輛特定的汽車。它是相對ACL(Access Control List)訪問控制清單方式而言的。在ACL系統(如Unix)裡面，訪問控制透過的設定來完成。儘管能滿足一定程度的需要，但這樣仍然有很多問題，比如普通程式只有透過某些特權程式才能訪問和修改關鍵性的系統檔案，如passwd，卻無法令這些特權程式將訪問侷限在特定的檔案上，所有身份的程式都可以任意訪問系統中的所有檔案。而且程式間彼此的通訊也沒有足夠的安全保障。同時，ACL系統的許可權設定不可能象能力系統那樣複雜和全面。
能力其實不是一個很新的概念，早在Unix出現之前它就是存在於電腦科學中了。但一直到現在也沒有人很高效地實現它，這就是EROS的功勞之所在。

由於可以有效地限定一個程式的能力，程式間通訊的介面可以規定得非常明確，而且EROS系統的程式間通訊是最高的，因此係統可以實現為許多相互作用的模組或者物件，每個物件都是獨立可可跟蹤的，極大地方便了系統錯誤的檢查和排除。
 
永續性：EROS採取了不同尋常的設計，它每5分鐘就在後臺將系統的所有記憶體資料、核心狀態在上儲存一次！所以你的機器幾乎可以隨時關閉，不需要退出任何，不需要儲存任何資料，下次開機時數十秒內系統就可以恢復到關機前的狀態，幾乎不丟失任何東西。一個字或許不再需要開啟檔案、讀檔案、寫檔案、再關上檔案等等繁瑣的操作，它只需將使用者輸入的東西放在記憶體裡永不退出，在使用者需要的時候儲存一個副本供使用者攜帶就可以了。
這幾乎是一個會令很多人都感到驚訝的特色。EROS的前身是一個類似的KeyKos系統，據稱在一次展覽會上它和Novell的展臺正好挨著，於是兩方的工作人員打了個賭，突然斷電關機，看哪個系統重起得快。結果KeyKos每次都在30秒後恢復到正常狀態，而Novell的系統過了40多分鐘還在作意外掉電後的磁碟例行檢查。
而且由於EROS獨到的設計，這樣的後臺儲存工作僅僅增加系統0.3%的負擔！
 
執行緒化核心：EROS的核心是高度執行緒化的，它不僅可以簡化的設計、減少不必要的程式碼，而且很多核心執行緒還是可以被搶佔的，以便實現對響應時間的要求比較高的多等應用。它還採用了獨特的設計，降低了程式切換的時間消耗。

安全性：由於其基於能力的系統設計，很容易就能達到相當高的安全性，保護關鍵的資訊不洩露到未經授權的使用者。而且EROS不需要象Unix裡面的root那樣的超級使用者，管理上更加方便和可靠。如果說Unix系統是為一群彼此熟悉、相互合作的使用者開發的，一個EROS系統甚至可以服務於一群彼此敵對的使用者，而不至於產生安全上的。
另外，在擁有這麼多優良特性的情況下，其效能卻毫不遜色於當今的主流Unix系統。在Pentium機器上和Linux 2.0.30核心的對比試驗表明它僅僅在一、兩項核心效能指標上略為落後於Linux！

關於能力、永續性等特色，有時間會專門進行介紹。