セマフォ(Semaphore)とは排他制御を行う上で用いられる概念のひとつ。セマフォは、セマフォ(=排他区間)へ入ることを要求するP操作、セマフォから出ることを通知するV操作、現在セマフォ内にある処理を計上するカウンタの三つの要素から構成される。セマフォの動作は次のとおり。