【正确答案】 A

【答案解析】参见记录型信号量的解析。此处极易出S.vakle物理概念题，现总结如下：
S.value＞0，表示某类可用资源的数量。每次P操作，意味着请求分配一个单位的资源。
S.value＜=0，表示某类资源已经没有了，或者说还有因请求该资源而被阻塞的进程。
S.value＜=0时的绝对值，表示等待进程数目。
切记看清题目中陈述，是执行P操作前还是P操作后。