微软的Midori操作系统skunkworks项目仍在继续

微软skunkworks操作系统项目“Midori”仍然存在，而且正在向前发展。Midori是一个由全明星微软程序员团队开发的新操作系统。Midori不是基于当前的NT内核;相反，它的起源可以追溯到Singularity，一个微软研究开发的微内核操作系统。Midori被认为是一个分布式并发操作系统，由技术战略高级副总裁Eric Rudder领导(至少有一次)。产品和相关的可交付成果(相关的编程语言/框架等)处于技术孵化阶段。

在上个月举行的OOPSLA 2012大会上，米多里最近一次公开提到了它。在那次活动中，几名微软员工提交了一篇题为“安全并行的惟一性和参考不变性”的论文。本文概述了c#的原型扩展，它扩展了c#，从而支持安全任务和数据并行。

从这篇论文:

我们的类型系统为c#的原型扩展建模，微软团队正在积极使用它。我们描述了他们使用这种扩展构建大型系统的经验…

“这个系统的一个源代码级变体，作为c#的扩展，被微软的一个大型项目使用，作为他们的主要编程语言。”

这个“大项目”就是Midori项目。

软件架构师帮助Midori团队“领导安全并发编程模型的开发”的Microsoft工作描述参考了OOPSLA文件中概述的一些相同的工作:

这个编程模型是一个新的、新颖的操作系统的核心组件，其中99%是用类型和内存安全的c#编写的。我们向托管代码添加的一个核心原则是，一级静态强制并发安全性必须成为类型和内存安全性的对等项。这个角色要求创新软件栈的每一层:编程模型抽象,调度(内核和用户模式/运行时),异步消息传递和更普遍的是,共享内存,数据和任务并行、分布式并行性、异质性(包括向量化和GPGPU),与处理器架构,反馈指导优化,甚至语言设计和编译器实现。”

我是通过罗布·杰林豪斯(Rob Jellinghaus)和乔·达菲(Joe Duffy)博客上的帖子找到了OOPSLA论文的链接(多亏了一位不愿透露姓名的举报人)。大家都知道杰灵豪斯和达菲都在研究米多里。

说到现在谁在开发Midori，多亏了微软9频道著名的“Felix9”的一些调查，我们知道前Midori团队成员Rick Ledoux已经放弃了努力，现在在Buzzhorn工作。Matthew Moore是一个温和的人，他一直致力于由微软研究院和微软产品编译团队开发的“凤凰”编译器框架，最近他离开微软加入了谷歌。(Phoenix被吹捧为“面向未来微软语言和开发工具的通用编译器后端”。)

与此同时，在目前的Midori团队名册上增加的另一个名字是Shon Katzenberger，他是微软的合作软件架构师，曾参与另一个微软孵化项目(Tangram)，以及微软解决方案基金会、c#编译器和语言设计。

并不是每个微软孵化项目最终都能看到曙光。但是考虑到Softies公司在Midori上工作的时间，我认为这款游戏最终会在某个时候商业化。