参考答案：B

解析： 对信号量的取值，S值的大小表示某类资源的数量。当S＞0时，表示尚有资源可分配；当S＜0，其绝对值表示S信号量等待队列进程的数目。每执行一次P操作，表示要求分配一个资源；每执行一次V操作，意味着释放一个资源。当S＜0时，使进程进入相应的等待队列。