在记录型信号量机制中，S.value0时的值表示（1）；每次wait操作意味着（2），因此应将S.value（3），当S.value（4）时，进程应阻塞。

正确答案：可用临界资源数量；申请一个临界资源；减1；小于0。