居眠り床屋問題
以下の擬似コードは理容師と客との同期を保証しデッドロックも起こらないが、客のリソーススタベーションは起こるかもしれない。PとVはセマフォが提供する関数。
必要な変数(先述のとおり):
理容師のプロセス(またはスレッド):
客のプロセス(またはスレッド):