在记录型信号量机制中，每次signal操作意味着（1），因此应将S.value（2），当S.value=0时，表示（3），此时应（4）。

在记录型信号量机制中，每次signal操作意味着（1），因此应将S.value（2），当S.value=0时，表示（3），此时应（4）。
正确答案：释放一个临界资源；加1；仍有请求该资源的进程被阻塞；唤醒相应阻塞队列中的首进程。