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

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

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

從這篇論文:

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

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

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

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

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

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

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

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

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