セマフォ方式

共有する資源の使用の可否を表す変数（セマフォ）を使って、複数の処理の排他制御や同期をとる方式。資源を使う前にセマフォの値を減らすP操作を行い、値が0なら空くまで待つ。使い終わったら値を増やすV操作を行い、待っている処理を再開させる。

共有資源を同時に使えるプロセス数を計数値で管理し、排他制御や同期を実現する仕組み。P操作で獲得、V操作で解放を行い、値が0のときは待ち行列に入る。使い方を誤るとデッドロックの原因となる。

並行処理における排他制御と同期の仕組み。カウンティングセマフォとバイナリセマフォがある。P操作（取得）とV操作（解放）で共有資源へのアクセスを制御する。優先度逆転問題が生じる場合は優先度継承プロトコルで対処する。

共有資源へのアクセスを制御するための同期機構。カウンティングセマフォ（カウンタで管理）とバイナリセマフォ（0/1で管理）がある。P操作（取得/Wait）とV操作（解放/Signal）で資源の排他制御を行う。

並行処理における排他制御と同期の仕組み。カウンティングセマフォとバイナリセマフォがある。P操作（取得）とV操作（解放）で共有資源へのアクセスを制御する。優先度逆転問題が生じる場合は優先度継承プロトコルで対処する。

共有資源の利用を、セマフォと呼ぶ整数の変数で管理して排他制御や同期を行う方式。資源を使う前にP操作で値を減らし（0なら待つ）、使い終えたらV操作で値を増やして待っている処理を再開させる。値が0と1だけのバイナリセマフォは相互排除に使われる。

複数のトランザクションが同じデータに同時にアクセスしても、1つずつ順に実行した場合と同じ結果になる（直列化可能性）ように制御すること。制御しないと、変更の消失（ロストアップデート）、ダーティリード、ノンリピータブルリードなどの不整合が起きる。実現方式には、ロック方式、時刻印（タイムスタンプ）方式、楽観的方式、多版同時実行制御（MVCC）がある。

ロックをかける対象の大きさ。表単位、ページ単位、行単位などがある。粒度を細かくすると同時に実行できる処理は増えるが、管理するロックの数が増えて処理の負担が大きくなる。

相互排他（Mutual Exclusion）を実現する同期機構。バイナリセマフォと似ているが、ロックを獲得したスレッドのみがロックを解放できる所有権の概念を持つ。優先度継承プロトコルをサポートし、優先度逆転の問題を緩和する。

複数のタスクが共有資源へ同時にアクセスすると不整合を起こすため、同時に1つのタスクしか実行してはならない処理区間。セマフォやミューテックスで排他制御する。区間を長く取りすぎると応答性が下がる。

共有資源に複数のタスクが同時にアクセスしないよう、一度に1つのタスクだけに使用を許す制御。セマフォやミューテックスで実現する。優先度逆転やデッドロックを招かないよう、獲得順序と優先度継承の設計が要る。

2つ以上のトランザクションやプロセスが、互いに相手が確保している資源の解放を待ち続け、どれも処理を先に進められなくなる状態。DBMSは待ちグラフなどで検出し、いずれかのトランザクションをロールバックして解消する。資源を確保する順序を統一することで発生を防げる。