「カーネル」の版間の差分

[[プリエンプション|プリエンプティブ・マルチタスク]]システムでは、カーネルは各プログラムにタイムスライス（そのプログラムがCPU上で実行される連続時間）を与え、プロセスからプロセスへと高速に切り換えていくので、ユーザーから見ればそれらのプロセスが同時並行して実行されているように見えるのである。カーネルは次に実行すべきプロセスを決定し、タイムスライスの長さを決定する[[スケジューリング]]アルゴリズムを持つ。一般にプロセスには優先度が設定される。カーネルはそれらのプロセス間の通信手段も提供する。これは[[プロセス間通信]] (IPC) と呼ばれ、[[パイプ (コンピュータ)|パイプ]]、[[共有メモリ]]、[[メッセージ (コンピュータ)|メッセージ]]、[[遠隔手続き呼出し|RPC]]、[[割り込み (コンピュータ)|ソフトウェア割り込み]]などがある。

[[エドガー・ダイクストラ]]は論理的観点から、[[セマフォ|バイナリセマフォ]]における[[不可分操作|不可分]]な[[ロック (情報工学)|ロック]]とアンロック操作だけで、プロセス間の任意の協調作動を実現できることを証明した<ref name="Dijkstra65">Dijkstra, E. W. ''Cooperating Sequential Processes''. Math. Dep., Technological U., Eindhoven, Sept. 1965.</ref>。しかしそのような方式は一般に安全性や効率性が欠如しており、[[メッセージ (コンピュータ)|メッセージパッシング]]方式の方が柔軟性が高い<ref name="Hansen70">{{Harvnb|Hansen|1970|pp=238–241}}</ref>。他の方式もいくつかあり、現代のカーネルでは[[共有メモリ]]や[[遠隔手続き呼出し|RPC]]などのシステムをサポートしていることが多い。