(sはいくつかの値に初期化されている) if(s==0){ 自プロセスを待ちリストに入れる } else s = s-1;
if(待ちリストあり) 待ちプロセスのひとつを実行可能にする else s = s+1