事務所

Microsoft Research Singularity - Windows以外のOS

Singularity RDK 2.0 non-Windows Microsoft OS

Singularity RDK 2.0 non-Windows Microsoft OS

目次:

Anonim

Singularityは、カーネル、デバイスドライバ、およびアプリケーションがすべてマネージコードで記述された、信頼性の高いマイクロカーネルオペレーティングシステムを構築するMicrosoft Researchプロジェクトです。

Microsoft Research Singularity

Singularityは、信頼性の高いシステムの構築に焦点を当てた研究プロジェクトです。システム、言語、ツールの分野研究のオペレーティングシステムのプロトタイプ(Singularityと呼ばれる)を構築し、プログラミング言語を拡張し、プログラムの動作を特定し、検証するための新しいテクニックとツールを開発しています。たとえば、Singularityは、タイプセーフな言語と抽象的な命令セットを使用して、ソフトウェア分離プロセス(SIP)と呼ばれるものを有効にします。 SIPは、ハードウェア強制保護ドメインのオーバーヘッドなしに、OSプロセス(独立したオブジェクトスペース、別個のGC、別々のランタイム)の強力な分離保証を提供します。現在のSingularityプロトタイプでは、SIPは非常に安価です。彼らはカーネルのアドレス空間でリング0で動作します。

Singularityはこれらの進歩を利用してより信頼性の高いシステムとアプリケーションを構築します。たとえば、SIPは作成するのに非常に安価であるため、Singularityは各プログラム、デバイスドライバ、またはシステム拡張を独自のSIPで実行します。 SIPはメモリを共有したり、独自のコードを変更することはできません。その結果、SIPで実行されているコードについて、信頼性の高い保証を行うことができます。従来のOSプロセスで実行されるコードよりも、コンパイル時またはインストール時にSIPに関する幅広いプロパティを検証できます。

Microsoft Researchは、

Singularity Research Development Kit(RDK) をダウンロードできるようになりました。 MicrosoftのオープンソースコードプロジェクトWebサイトであるCodePlexからダウンロードできます。 Singularity Projectの概要 は、ここをクリックしてダウンロードすることもできます。 Singularity、Galen Hunt、Jim Larusの主要開発者は、Windows、Linux、Mac OSなどの現在のオペレーティングシステムはすべて、 1960年代の起源を持つMulticsというオペレーティングシステムに遡ることができます。事実、現在のオペレーティングシステムは、40年前の思考と基準に一部でも基づいています。多重化された情報とコンピューティングサービス、またはMulticsは、1965年に開始され2000年まで使用されたメインフレームのタイムシェアリングオペレーティングシステムです。

Microsoft Research Singularityは、2003年にOS構築の全く新しいアプローチとして注目されました。