リソーススタベーションを防ぐため、セマフォには実行単位のキュー(通常はfifo)が1つ付属している。