微軟的Midori操作系統(tǒng)skunkworks項目仍在繼續(xù)

微軟skunkworks操作系統(tǒng)項目“Midori”仍然存在，而且正在向前發(fā)展。Midori是一個由全明星微軟程序員團隊開發(fā)的新操作系統(tǒng)。Midori不是基于當前的NT內核;相反，它的起源可以追溯到Singularity，一個微軟研究開發(fā)的微內核操作系統(tǒng)。Midori被認為是一個分布式并發(fā)操作系統(tǒng)，由技術戰(zhàn)略高級副總裁Eric Rudder領導(至少有一次)。產品和相關的可交付成果(相關的編程語言/框架等)處于技術孵化階段。

在上個月舉行的OOPSLA 2012大會上，米多里最近一次公開提到了它。在那次活動中，幾名微軟員工提交了一篇題為“安全并行的惟一性和參考不變性”的論文。本文概述了c#的原型擴展，它擴展了c#，從而支持安全任務和數據并行。

從這篇論文:

我們的類型系統(tǒng)為c#的原型擴展建模，微軟團隊正在積極使用它。我們描述了他們使用這種擴展構建大型系統(tǒng)的經驗…

“這個系統(tǒng)的一個源代碼級變體，作為c#的擴展，被微軟的一個大型項目使用，作為他們的主要編程語言?！?/p>

這個“大項目”就是Midori項目。

軟件架構師幫助Midori團隊“領導安全并發(fā)編程模型的開發(fā)”的Microsoft工作描述參考了OOPSLA文件中概述的一些相同的工作:

這個編程模型是一個新的、新穎的操作系統(tǒng)的核心組件，其中99%是用類型和內存安全的c#編寫的。我們向托管代碼添加的一個核心原則是，一級靜態(tài)強制并發(fā)安全性必須成為類型和內存安全性的對等項。這個角色要求創(chuàng)新軟件棧的每一層:編程模型抽象,調度(內核和用戶模式/運行時),異步消息傳遞和更普遍的是,共享內存,數據和任務并行、分布式并行性、異質性(包括向量化和GPGPU),與處理器架構,反饋指導優(yōu)化,甚至語言設計和編譯器實現?！?/p>

我是通過羅布·杰林豪斯(Rob Jellinghaus)和喬·達菲(Joe Duffy)博客上的帖子找到了OOPSLA論文的鏈接(多虧了一位不愿透露姓名的舉報人)。大家都知道杰靈豪斯和達菲都在研究米多里。

說到現在誰在開發(fā)Midori，多虧了微軟9頻道著名的“Felix9”的一些調查，我們知道前Midori團隊成員Rick Ledoux已經放棄了努力，現在在Buzzhorn工作。Matthew Moore是一個溫和的人，他一直致力于由微軟研究院和微軟產品編譯團隊開發(fā)的“鳳凰”編譯器框架，最近他離開微軟加入了谷歌。(Phoenix被吹捧為“面向未來微軟語言和開發(fā)工具的通用編譯器后端”。)

與此同時，在目前的Midori團隊名冊上增加的另一個名字是Shon Katzenberger，他是微軟的合作軟件架構師，曾參與另一個微軟孵化項目(Tangram)，以及微軟解決方案基金會、c#編譯器和語言設計。

并不是每個微軟孵化項目最終都能看到曙光。但是考慮到Softies公司在Midori上工作的時間，我認為這款游戲最終會在某個時候商業(yè)化。