相互に排他的な定義の最初に、プロセス
システムリソースであると、いわゆる相互排除は、言及両方ではなく、プロセスは、それを使用しており、他は待つ必要があり、そのプロセスを使用したいと思います。
相互排他は、既存のプロセスリソース共有関係のうち、マルチチャンネルプログラミングシステムはまた、間接的な制約関係として知られている制約に起因し、それは主に、共有リソースの使用の性質によって決定されます。
排他的アクセスの第二に、除算
第三に、相互排除の原則に従ってください
その後、空気中にしましょう:排他的なゾーンにはプロセスがない場合、相互排他ゾーンを使用する権利を入力することができます。
ビジーウェイト:既存のプロセスがクリティカルセクションに入るときに、同時に上記の2つのプロセスが別のを待たなければならないプロセスのクリティカルセクションを入力しようとすると、排他的なゾーンに入ることを許されていません。
などが制限されています:アクセスが限られた時間のために(空腹ではないことが保証)クリティカルセクションに入ることが保証されなければならない要求を処理します。
:そのようにする権利などのプロセスがクリティカルセクションに入ることができないときは、すぐにビジーウェイト・プロセスを避けるため、プロセッサを解放する必要があります。
第四に、相互に排他的なプロセスを実現するためのソフトウェア方法
シングル表記:
ダブルチェックマーク法:
ダブルチェックマーク法後:
ピーターソンのアルゴリズム