排他制御
コンピュータの動作において、複数のプロセスを同時に実行して 資源が競合しうる場合に、あるプロセスに資源を占有させ、 他のプロセスが利用できないようにすることで整合性を保つ処理を排他制御(はいたせいぎょ)という。排他制御を行う場合にはアトミック性が重要となる。 プロセスがある資源を占有しようとする時には、以下の操作を行う必要があるが、 これらの途中で他のプロセスに実行が移行すると整合性を保つことができない。 資源が他のプロセスによって占有されていないことを確認する。 資源を占有する。
排他制御の実装方式としては、以下のようなものが利用される。
セマフォ モニタ