[填空题]procedure wait(S)
{
S->value=S->value-[填空1]; //资源数目-1
if (S->value[填空2]0 )   //资源数目小于0就阻塞
[填空3](S->list)
}