ニューサウスウェールズ大学とNICTA
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/03/21 10:04 UTC 版)
「L4マイクロカーネルファミリー」の記事における「ニューサウスウェールズ大学とNICTA」の解説
開発はニューサウスウェールズ大学（UNSW）でも続けられいくつかの64ビットプラットフォームでL4実装が行われた。この結果がL4/MIPSとL4/Alphaである。リートケのオリジナルは遡ってL4/x86と呼ばれる。UNSWのカーネル（アセンブリ言語とCで書かれている）はリートケのオリジナル同様ゼロから書き起こされたもので移植性が考慮されていなかった。高い移植性を持つL4Ka::PistachioのリリースによりUNSWのグループは自分たちのカーネルを放棄してL4Ka::Pistachioを高度に最適化する事を選んだ。その成果にはその時点での最高速のメッセージパッシングの報告（Itaniumアーキテクチャで36サイクル）もあった。また、ユーザーレベルデバイスドライバがカーネル内のドライバと同等に動作することを実証した。さらにx86、ARM、MIPSの各プロセッサで動くL4上の移植性の高いLinuxであるWombat（英語版）を開発した。XScaleプロセッサにおいてWombatは本来のLinuxに比較してコンテクストスイッチのコストが1/30となることを実証した。 UNSWグループは後に拠点をNICTA（英語版）（オーストラリアの公的情報通信分野研究機関）に移しL4Ka::Pistachioから分岐した新しいL4、NICTA::L4-embeddedを開発した。これは名前が示すように商用の組み込みシステム向けで、メモリの使用量を少なくすることを優先して実装され、複雑さを抑えることを目指した。プリエンプションポイントなしでも高いリアルタイム応答性を維持するため、ほとんど全てのシステムコールは十分短時間で終了するようにAPIは変更された。
※この「ニューサウスウェールズ大学とNICTA」の解説は、「L4マイクロカーネルファミリー」の解説の一部です。
「ニューサウスウェールズ大学とNICTA」を含む「L4マイクロカーネルファミリー」の記事については、「L4マイクロカーネルファミリー」の概要を参照ください。
- ニューサウスウェールズ大学とNICTAのページへのリンク
