Barrelfish

Barrelfish是微軟劍橋研究院等開發的作業系統。

基本介紹

• 中文名：Barrelfish
• 開發單位：微軟劍橋研究院等
• 類型：作業系統
• 處理器環境：多核心(Multi-Core)

介紹

由微軟劍橋研究院和蘇黎世理工學院聯合全新開發，專為現在和未來的多核心(Multi-Core)、眾核心(Many-Core)處理器環境而設計下一代作業系統，通過在各個核心之間建立一條網路匯流排來從根本上提升系統效率和性能。和很多媒體的誤傳不同，Barrelfish跟Windows 8並沒有什麼直接關係，二者屬於不同的項目。

Windows 7完成之後，很多人開始把目光投向微軟的下一代伺服器和客戶端作業系統Windows 8，不過今天微軟放出了一套全新作業系統的原型，開發代號“Barrelfish”。

該系統由微軟劍橋研究院和蘇黎世理工學院聯合全新開發，專為現在和未來的多核心(Multi-Core)、眾核心(Many-Core)處理器環境而設計，通過在各個核心之間建立一條網路匯流排來從根本上提升系統效率和性能。和很多媒體的誤傳不同，Barrelfish跟Windows 8並沒有什麼直接關係，二者屬於不同的項目。

在硬體水平飛速發展和性能需求不斷提升的同時，現有作業系統的核心架構已經無法很好地高效利用相應資源，特別是存在資源共享機制的局限。Barrelfish則通過自己的匯流排在處理器核心之間傳遞信息，並採用 類似資料庫的方式來跟蹤可用硬體資源。

多核心架構示意圖

Barrelfish其實並非什麼秘密研究項目，相關開發人員已經在全球奔波了一年時間，進行宣傳講解，不過直到本月中旬，第一批代碼才公布出來。

據一位聽過演講的相關人士解釋，Barrelfish不再通過驅動程式將套用軟體與硬體設備完全隔離，而是存在一個某種資料庫，其中可以找到大量有關硬體的低級信息。系統核心則是單執行緒和非搶占的。調度和信息傳遞相結合，信息到達後就直接激活等待中的執行緒。它還用到了一些微核(microkernel)概念，在保護空間內運行驅動程式。 有訊息稱這套系統會是完全免費、開源的，因為據開發人員說，它包含了一些“遵從不同BSD類開源協定”的BSD第三方庫，但考慮到微軟和開源社區的長期對立關係，這一點還有待觀察，而且現在發布的原型是有微軟和蘇黎世理工學院的著作權的。

Barrelfish系統架構示意圖

據一位自稱參加過有關培訓課程的部落格作者Advogato表示：“Barrelfish中驅動程式和應用程式的關係並不是完全分離的，系統中內建有資料庫，資料庫中儲存有硬體的底層信息。核心部分採用單執行緒設計，沒有採用基於優先權的設計。各任務的調度部分則由系統信息傳送的方式來進行統籌管理，處在等待狀態的執行緒收到調度信息之後便可被激活。此外，這套系統還使用了不少基於微核心的技術。”

-----------2009-09-26

開發人員

From the ETH Zurich Systems Group:

Zachary AndersonDominik Menzi Simon Peter Jan Rellermeyer Timothy Roscoe Adrian Schüpbach Pravin Shinde Akhilesh Singhania

開發人員及朋友

From Microsoft Research, Redmond:

Andrew Baumann

From Microsoft Research, Silicon Valley:

Paul Barham Rebecca Isaacs Vijayan Prabhakaran

From Microsoft Research, Cambridge:

Richard Black Tim Harris Orion Hodson Ross McIlroy

Past interns, students, and contributors:

Pierre-Evariste Dagand Ankush Gupta Amar Phanishayee Raffaele Sandrini Dario Simone Animesh Trivedi

Friends and collaborators:

Gustavo Alonso Tom Anderson Matthias Gries Ihor Kuz

刊物

Adrian Schüpbach, Andrew Baumann, Timothy Roscoe, Simon Peter:《A declarative language approach to device configuration 》。 在第16對程式語言和作業系統 ，新港灘，CA，USA，2011年3月建築支持國際研討會論文集 。

Simon Peter, Adrian Schüpbach, Paul Barham, Andrew Baumann, Rebecca Isaacs, Tim Harris, and Timothy Roscoe，《 Design principles for end-to-end multicore schedulers》

。 在對並行 ，伯克利，CA，USA，2010年6月第2次研討會熱門話題 。

Andrew Baumann, Paul Barham, Pierre-Evariste Dagand, Tim Harris, Rebecca Isaacs, Simon Peter, Timothy Roscoe, Adrian Schüpbach, and Akhilesh Singhania：《The Multikernel: A new OS architecture for scalable multicore systems.》

。 在第22屆ACM研討會論文集OS原則 ，大天空，MT，美國，2009年10月。

Pierre-Evariste Dagand, Andrew Baumann, and Timothy Roscoe：《Filet-o-Fish: practical and dependable domain-specific languages for OS development》

。 在對程式語言和作業系統第五屆研討會（PLOS），大天空，MT，美國2009年10月。

Andrew Baumann, Simon Peter, Adrian Schüpbach, Akhilesh Singhania, Timothy Roscoe, Paul Barham, and Rebecca Isaacs：《 你的電腦已經是一個分散式系統。 為什麼不是你的作業系統？》在作業系統上的熱門話題研討會12日 ，蒙地Verità，瑞士，2009年5月提起訴訟 。

Adrian Schüpbach, Simon Peter, Andrew Baumann, Timothy Roscoe, Paul Barham, Tim Harris, and Rebecca Isaacs：《 擁抱在Barrelfish多核作業系統的多樣性 》 在管理上的許多核心系統講習班 ，麻薩諸塞州的波士頓，美國，2008年6月提起訴訟 。

論文，報告

Raffaele Sandrini VMkit：《A lightweight hypervisor library for Barrelfish》。 碩士論文，蘇黎世聯邦理工學院，2009年9月。 Dario Simone《電源在多核作業系統管理》 。 碩士論文，蘇黎世聯邦理工學院，2009年8月。Animesh Trivedi 《熱插拔在multikernel作業系統》 。 碩士論文，蘇黎世聯邦理工學院，2009年8月。Pierre-Evariste Dagand《 可靠的作業系統的語言支持 》 碩士論文，ENS卡尚 - 布列塔尼 - 雷恩大學，法國，2009年6月。