セマフォ方式

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

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

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

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

共有資源へのアクセスを、セマフォと呼ぶ整数の変数とP操作・V操作によって制御する排他制御の方式で、E.W.ダイクストラが考案した。P操作でセマフォの値を減らし、値が負になれば待ち状態に入り、V操作で値を増やして待っているプロセスを起こす。値が0と1だけの2値セマフォは相互排除に、計数セマフォは台数に限りのある資源の割当てに使う。

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

複数のトランザクションが同じデータに同時にアクセスしても、データの整合性が保たれるように実行を制御すること。ロック方式のほか、時刻印方式や多版同時実行制御（MVCC）などの方式があり、結果が何らかの順序で1つずつ実行した場合と同じになること（直列可能性）を目指す。

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

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

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

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

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