Singularity OSソースコード公開

http://research.microsoft.com/os/singularity/
(via http://www.shudo.net/diary/2008mar.html#20080310)

MS Researchで研究開発されている、C#で記述されたOSカーネルのソースコードが（アカデミックライセンスで）公開されたとのこと。前にManuel Faehndrich氏が研究室へ来たときの話によれば、言語ベースのメモリ保護（しばしばハードウェアベースのメモリ保護より高速）だけでなく、資源使用法解析的な型ベースのプログラム解析・検証などもしているそうです。一部の日本語版記事は「並行してエラーを探し出す機能」(finding errors in parallel and multicore programs)とか誤訳が…

P.S. TOSが追い越されつつあるような気がしなくもないので頑張ってください。:-) こちらの初出はPPL2002なのでSingularityより先だと思うのですが、やはりメジャーな国際学会で発表しないといけない？（それとも日本の企業であまりOSを研究開発していないせい？）