アーキテクチャーの特徴

ウィキペディア小見出し辞書

アーキテクチャーの特徴

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/03/26 09:29 UTC 版)

「Genode」の記事における「アーキテクチャーの特徴」の解説

Genodeは、より小さくシンプルなコードであれば、信頼性と正しさを検証するのはより容易になるというマイクロカーネルに一般的な哲学に基づいて構築されている。Genodeは、この哲学をユーザースペースへも拡張しており、小さなコンポーネントによって複雑なアプリケーションを構成している。それぞれのコンポーネントは、親子関係を持つ厳格な階層構造を持っている。親となっているコンポーネントは、リソースとプロセス間通信（UPC）を子に適用する階層構造は、直観的なパーティショニングの実現と特権の昇格を防ぐ仕組みを提供する。つまり、特定のサブシステムはより一般的なサブシステムの内側に配置され、中央集権的であったり、スーパーユーザーの存在するシステムポリシーに特有なconfused deputy problemを減少させる。 Genodeはマイクロカーネルによってホストされるように設計されている一定の機能セットを定め、モノリシックカーネルであってもこれらの機能以上を実装すれば良い。このように機能を抽象化することで、GenodeはL4マイクロカーネルやLinuxにとってのユーザーランドとして振る舞うことができる。