Singularity RDK 2.0 non-Windows Microsoft OS
目次:
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構築の全く新しいアプローチとして注目されました。
Microsoft Research Indiaは、非構造化アドレスデータを使用してマップ検索用に設計されたテクノロジを開発します。インドは、住所が構造化されていないことが多いインドのような国でも地図を検索できる技術を開発している。
研究プロジェクトはロバスト・ロケーション・サーチと呼ばれ、技術のプロトタイプは既に用意されているMicrosoft Research Indiaの高度な開発とプロトタイプ担当ディレクターのB. Ashok氏は、インドで開発されたものの、技術は一般的であり、構造化されていないアドレスを持つあらゆる国に配備されるように設計されている、と彼は付け加えた。
Digital Narratives、Microsoft Research Indiaの新しいインタラクティブマルチメディアプロジェクト
Digital Narrativesプロジェクトは、Microsoft Research Microsoft Research Redmondのインタラクティブ・ビジュアル・エクスペリエンス・グループとマイクロソフト・リサーチ・コネクションズとの共同制作
Microsoft Research、Windows 10/8/7向けクリップレットをリリース
Microsoft ResearchはClipletsというクールな新しいツールをリリースしました。