出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2025/04/20 15:22 UTC 版)
| 開発者 | マイクロソフト |
|---|---|
| OSの系統 | 言語ベース |
| 開発状況 | Microsoft Research により開発中 |
| ソースモデル | シェアードソース |
| 最新安定版 | 2.0 / 2008年11月14日 |
| アップデート方式 | N/A |
| パッケージ管理 | N/A |
| プラットフォーム | x86 |
| カーネル種別 | マイクロカーネル、言語ベース |
| 既定のUI | コマンド行インタフェース |
| ライセンス | Microsoft Research License |
| ウェブサイト | Microsoft Research Singularity Project |
Singularity は マイクロソフトリサーチ が2003年から実験的に開発しているオペレーティングシステム (OS)。高度なディペンダブルOSとすることを目標とし、カーネルやデバイスドライバ、アプリケーションも全てマネージコードで書かれている。
x86の割り込みディスパッチ部分のコードはアセンブリ言語とC言語で書かれている。カーネル本体とガベージコレクタはSing#で書かれている。Sing#は、Spec#を拡張した言語で、Spec#自体はC#を拡張した言語である。HALはC++で書かれている。他にもデバッグ関連でC言語を使っている。ブート時の16ビットリアルモードではBIOSを呼び出すが、32ビットモードになるとBIOSは使わず、Sing#で書かれたデバイスドライバを使う。インストール時にBartokコンパイラを使って共通中間言語 (CIL) をx86の機械語にコンパイルする。
Singularity はマイクロカーネル型のOSである。それまでのマイクロカーネルとは異なり、各コンポーネントは同じアドレス空間(プロセス)内で、"software-isolated process" (SIP) として動作する。SIPにはそれぞれ自前のデータとコードがあり、他のSIPとは独立している。SIPはプロセスのように振舞うが、仮想記憶の切り替えが不要でコンテキストスイッチのコストが低い。
システムの保護は、不変条件と呼ばれる一連の規則が提供し、それらは静的コード解析で検証される。例えば、メモリ不変条件は2つのSIP間で相互参照(ポインタの受け渡し)はしない、としている。SIP間の通信は高度に抽象化された通信路経由で行われ、OSの管理下にある。不変条件はアプリケーションのインストール時にもチェックされる。Singularityでは、インストールはOSが管理している。
不変条件の多くは、より安全にメモリを管理する言語に依存している。例えば、Sing#にはガベージコレクション機能があり、ポインタを自由に使えない。また、コードが特定のコンピュータセキュリティポリシーに適合するか検証できる。
Singularity 1.0は2007年に完成した。Singularity Research Development Kit (RDK) は、学術的な非商用目的に限ってシェアードソースライセンスでリリースされており、CodePlexで公開している。バージョン1.1は2007年3月、バージョン2.0は2008年11月14日にリリースされ、開発は現在[いつ?]も進行中である[1]。
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2025/03/02 14:26 UTC 版)
|
|
| 『SINGularity』 | |
|---|---|
| 西川貴教 の スタジオ・アルバム | |
| リリース | |
| ジャンル | J-POP |
| 時間 | |
| レーベル | エピックレコード |
| チャート最高順位 | |
| 『SINGularity』収録のシングル | |
『SINGularity』(シンギュラリティ)は、2019年3月6日にエピックレコードから発売された西川貴教名義1枚目のオリジナル・アルバム。
2018年3月に発売されたファースト・シングルであるTVアニメ『Fate/EXTRA Last encore』オープニングテーマ「Bright Burning Shout」、Fear, and Loathing in Las Vegasとのコラボレーションが話題となったTVアニメ『学園BASARA』テーマソング「Be Affected」、澤野弘之との初作品『Thunderbolt Fantasy2 東離劍遊紀2』オープニングテーマとエンディングテーマ「His/Story」「Roll The Dice」、布袋寅泰が西川に初楽曲提供した映画『刀剣乱舞-継承-』の主題歌「UNBROKEN」などタイアップ曲を多く収録している。
リリースイベントとして、東京と大阪にて、本人がCDを手渡して販売した[2]。
販売形態は、ボーナス・トラックに「ever free」のカバーバージョンを収録した通常盤(ESCL-5202)[3]と「UNBROKEN (feat. 布袋寅泰)」Music Videoなど収録したDVDが同梱された初回生産限定盤(ESCL-5200/1)[4]の2形態[5]。
固有名詞の分類
| オペレーティングシステム |
NEXTSTEP Unix系 Singularity Mona Multics |