降低信号量值的影响及信号量为0时减1的进程状态问询

先给你把信号量的核心逻辑掰扯明白：它本质就是个「资源计数器+等待队列」的组合，咱们常说的“降低信号量值”，对应的就是wait()（或者叫P操作）原语——说白了就是进程在“申请共享资源”。

一、降低信号量值的具体影响 #

不同初始状态下，减操作的效果完全不同：

• 当信号量值 > 0时：这时候减1就相当于成功领到了一个可用资源，信号量的新值就是剩下的可用资源数量。比如初始值是5，减1后变4，发起操作的进程该干啥干啥，完全不会被卡住。如果是二进制信号量（初始值为1，用来做互斥锁的），减1后变0，就意味着进程拿到了锁，能安全进入临界区操作共享数据了。
• 当信号量值 = 0时：这时候再减1就会触发阻塞逻辑，后面咱们详细说。
• 额外提一句：信号量的值可以是负数，负数的绝对值其实就是正在等待这个资源的进程数量——比如值是-2，就说明有2个进程在排队等资源。

二、信号量为0时尝试减1的结果 #

直接给你明确结论：

1. 信号量的值会变成-1（不同操作系统的实现可能在数值细节上有差异，但核心逻辑完全一致）；
2. 发起这个操作的进程会被立即挂起，并被放到该信号量对应的等待队列里“排队等候”。

为啥会这样？你可以把这个过程类比成去食堂打饭：信号量就是窗口前的空位数量。当空位是0的时候（所有窗口都被占了），你过来排队（执行减1操作），就只能站到等候区等着，直到有人吃完走了（其他进程执行signal()/V操作释放资源，把信号量值加1），食堂阿姨才会喊你过去打饭（系统唤醒你的进程，让它重新尝试获取资源）。

用代码伪逻辑来表示的话，wait()操作的核心是这样的：

wait(S):
    S.value = S.value - 1
    if S.value < 0:
        挂起当前进程，将其加入S的等待队列

内容的提问来源于stack exchange，提问作者Goktug