InfoQ

News

MicrosoftリサーチがSingularity RDKをリリース

作者 Steven Robbins, 翻訳者 佐野 徹郎 投稿日 2008年4月21日 午前12時8分

コミュニティ
Architecture
トピック
OS,
リサーチ,
プログラミング,
オープンソース
タグ
Microsoft,
Announcements,
Reference Architectures
3月4日に、Singularity Research Development Kit(RDK)が、CodePlexのオープンソースプロジェクトとしてリリースされた(source)。RDKはGalen Hunt、Jim Larus等による、MicrosoftリサーチのSingularityプロジェクト(source)を基にしている。プロジェクトのWebサイトによると、Singularity自体は主に「システム、言語、およびツールの領域における革新を通じて信頼できるシステムを構築する」ものだと言う。


Singularity RDKには、Singularityの調査と実行を開始するために利用できる「ソースコード、ビルドツール、テストスイート、デザインノート、およびその他のバックグラウンドマテリアル」が含まれる。リソースには、Singularityの入手からRDKのセットアップまでの手順を説明する「Singularityの構築と実行」と呼ばれる17ページのドキュメントが含まれる。完全なテストスイートとベンチマークのセットを含む、ビルドおよびデプロイ可能な、50以上の個別のアプリケーションやプロジェクトもダウンロードできる。


またRDKには、Singularityの機能がどれくらい信頼できるかや、プロジェクトの一つがどのような働きを期待して設計されたかを記述した、数十のSingularityデザインノート(SDN)も付属している。たとえば「SDN 0: Singularityの設計の動機」には、いわゆる重心(Centers of Gravity)に関する話が含まれる。

将来の調査とシステムの信頼性を革新するアジャイルなOSを提供するために、4つの設計ポイントを組み合わせます。これらの設計ポイントは、システムのバイナリインタフェースとしてのタイプセーフな抽象命令セット、アプリケーションとOSのための統一的な拡張メカニズム強固なプロセス隔離アーキテクチャ、およびコードとデータを記述するユビキタスなメタデータ基盤です。


MicrosoftリサーチのサイトとRDKのサイトに、Singularityプロジェクト自体の概説がある。

言語、コンパイラ、およびツールの発展は、ソフトウェアの大きな改善の可能性を開きます。たとえばSingularityは、私たちがSIPs(Software Isolated Processes)と呼ぶものを可能にするために、タイプセーフな言語と抽象命令セットを利用します。SIPsは、ハードウェアに強制される保護ドメインのオーバーヘッドなしで、OSプロセスの強固な隔離(オブジェクト空間の隔離、GCの分離、ランタイムの分離)の保障を提供します。現在のSingularityプロトタイプでは、SIPsは極めて安価です。それらは、カーネルのアドレス空間のリング0で実行されます。


Singularityはより信頼性のあるシステムやアプリケーションを構築するために、それらの発展を利用します。たとえば、SIPsの作成や強制はとても安価なので、Singularityはそれ自身のSIPで、それぞれのプログラム、デバイスドライバ、あるいはシステム拡張を実行します。SIPsはメモリの共有やそれら自身のコードの変更を許可しません。結果として、私たちはSIPで実行されるコードの強固な信頼性を保障することができます。私たちはコンパイル時あるいはインストール時に、従来のOSプロセスで実行されるコードに対して行える以上に、SIPに関するとても広範なプロパティを検証することができます。静的な検証の広範な適用は、システムの振る舞いを予測したり、信頼性に関する強固な保障をユーザに提供するために重要です。

Singularityプロジェクトのサイトには、SingularityとRDKに関するいくつかの記事、インタビュー、およびMSDNのリンク(リンク・英語)がある。始めるのにとても役立つものとして、Galen HuntとJames Larusによる「Singularity: ソフトウェアスタックを再考する(PDF・英語)」およびSingularity RDKチュートリアルのPDF版(PDF・英語)がある。



RDKのサイトには、SingularityとRDKの利用について、多くのコミュニティのメンバーが質問、解決方法、およびアイデアを投稿する、とても活発な議論のリスト(source)がある。


Singularity RDKは現在、非商用の研究目的のためにだけ利用(source)できる。

原文はこちらです:http://www.infoq.com/news/2008/04/singularity-rdk
ブックマーク
digg+,
reddit+,
del.icio.us+,
dzone+,
Hatena

No comments

返信

ジャンル別一覧

BlazeDSとAMFでWebとデスクトップのアプリケーションを構築する

現在のRIAアーキテクチャにおいて、クライアント/サーバーの通信は重要な位置を占めています。本稿では、James WardとShashank TiwariがアドビによるオープンソースのBlazeDSメッセージングサーバーの世界へ飛び込みます。

業務ソフトに手を加えずに暗号化を実現する~秘文の挑戦~

hibun

ウィルス対策ソフトや情報漏えい防止用のソフトは、いわば影の存在です。ユーザの操作性やGUIを工夫する以上に、いかに目立たない存在となるかにその技術を注ぎ込んでいます。ここでは日立ソフトが開発した「秘文」の事例を紹介します。

Google Chartとgchartrbの紹介

Google Chartは、チャートを作成するためのWebサービスです。本稿では、Google Chartのインターフェースと、Rubyコードから簡単にチャートを生成することができるgchartrbライブラリの説明をします。

SOAを超えて: 動的な業務アプリケーションのための新しいエンタープライズアーキテクチャフレームワーク

全二回からなるこの記事では、ダイナミックビジネスアプリケーション(Dynamic Business Applications:DBAs)の開発についての全体的な眺望を、アーキテクチャと方法論の観点から見ていくことになります。我々のゴールは、「ビジネスの変化や、その他に必要とされる変更に対して、いかにして容易に適応できるアプリケーションを構築していくか」を導きだすことです。

ESB接続形態のオルタナティブ

本稿では、Adrien Louis氏がESBベースのSOAに対する2つの接続形態についての賛否について説明しています。その2つとは、会社での単一のESB対「部門毎」に相互接続するESBによるシステムです。

AjaxプログラマのためのJavaOne2008 -GrizzlyでComet!-

誕生から2年を経てCometは「何が出来るのか」という議論から、「いかに実現するか」という議論に関心が移ってきたように見えます。そこで本稿では同じくJavaOneで数多く取り上げられたNetBeans 6.1とGlassFish v3を使いながら、サンプルを交えてCometを解説していく事にします。

SharePoint Webサービスを始めましょう

この記事では、WSS3とMOSS 2007に難しい設定など一切せず、すぐに利用可能なWebサービスと、Javaと.NETからそのWebサービスを消費する方法に目を向けます。

レトロスペクティブのプライムディレクティブに対する問い

この記事の始まりは、知的で思慮深い人たちの魅力的なグループが食事会を終えて話をしているところです。話はレトロスペクティブ(振り返り)プロセスの要であるプライムディレクティブ(最初の指示)に及んでいます。