「L4マイクロカーネルファミリー」の版間の差分

削除された内容 追加された内容
Yoshuw (会話 | 投稿記録)
m →‎歴史: 語句の修正
Yoshuw (会話 | 投稿記録)
日本語表現の修正
13行目:
==設計理念==
リートケによる[[マイクロカーネル]]の一般的な設計指針は以下のようなものである
<blockquote>それを[[カーネル]]の外に移した場合、つまり競合する実装の存在を許した場合にシステム必須の機能を妨げてしまう場合だけ[[マイクロカーネル]]の中に入れても構わない</blockquote>
この考え方に基づいてL4マイクロカーネルはわずかな基本的機構を提供する
* アドレス空間(抽象化されたページテーブルとメモリ保護の提供)