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

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

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

從這篇論文:

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

“這個(gè)系統(tǒng)的一個(gè)源代碼級(jí)變體，作為c#的擴(kuò)展，被微軟的一個(gè)大型項(xiàng)目使用，作為他們的主要編程語言。”

這個(gè)“大項(xiàng)目”就是Midori項(xiàng)目。

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

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

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

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

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

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