セマフォ(せまふぉ)

詳細解説

タスクは共有資源を使用する前に獲得操作（P操作またはwait操作）を行い、セマフォの値が正であれば1減算して処理を進めますが、0以下の場合は資源が解放されるまで待ち状態へ遷移します。使用後に解放操作（V操作またはsignal操作）を行うと値が1増やされ、その資源を待っていたタスクがあれば実行可能状態に移ります。同じ種類の資源が複数あるときに0から資源数までの値をとるカウンティングセマフォ（計数セマフォ）と、0か1の2値だけをとって単一資源の排他制御に用いられるバイナリセマフォがあります。

タスク間でデータを送受信するキューとは役割が異なり、セマフォ自体はデータの受け渡しを行いません。また、P操作とV操作は、値の検査と更新の途中に別のタスクが割り込めない不可分な操作としてOSが実装します。複数のセマフォを組み合わせて使う場合は、すべてのタスクで獲得する順序をそろえておくことがデッドロックの予防になります。