参考答案：B

解析：
信号量机制是一种解决进程同步和互斥的有效工具。信号量是表示资源的物理量，其值仅能由P、V操作原语来改变。信号量s≥0时的数值表示某类资源的可用数量，S＜O时的绝对值表示阻塞队列中等待该资源的进程数。执行P操作意味着申请分配一个单位的资源，故执行S减1操作；执行一次V操作则意味着释放一个单位的资源，故执行S增1操作。