为何在条件变量同步线程时使用while而非if？（生产者消费者场景）

我遇到一个简单的生产者-消费者问题：生产者线程向全局money变量添加10美元，消费者线程进行消费（每次减20美元），要求money不能低于0。我编写的示例代码如下：

from threading import Thread, Condition

condition = Condition()
money = 0

def producer():
    global money
    for _ in range(1000000):
        condition.acquire()
        money += 10
        condition.notify()
        condition.release()

def consumer():
    global money
    for _ in range(500000):
        condition.acquire()
        if money < 0:
        # while money < 0: why it's needed ? 
            condition.wait()
        money -= 20
        print("money in the bank after spend => ", money)
        condition.release()
        

if __name__ == "__main__":
 
    t1 = Thread(target=producer, args=())
    t2 = Thread(target=consumer, args=())

    t1.start()
    t2.start()

    t1.join()
    t2.join()

但我看到很多示例中使用while money < 20:而非我的if判断，对此感到困惑。我认为当线程调用condition.wait()时会释放锁，收到notify后会重新获取锁并继续执行，无需用循环检查money的状态，只要程序正常运行就能控制money变量。请问我的理解是否正确？还是忽略了某些要点？

首先要指出，你的代码里判断条件本身就存在错误：消费者每次要扣除20美元，要保证操作后money不低于0，应该判断money < 20时等待，而不是money < 0——否则初始money=0时，if money<0不成立，直接执行money -=20会得到-20，直接违反了“money不能低于0”的要求。

接下来解释为什么必须用while而非if，核心有两个关键原因：

1. 虚假唤醒（Spurious Wakeup）
   操作系统的线程调度机制允许“虚假唤醒”：线程调用wait()后，没有收到notify()/notify_all()的通知也可能被唤醒。如果用if判断，唤醒后会直接执行后续的消费逻辑，此时money可能仍然不满足消费条件（比如还是小于20），导致money变成负数。用while循环的话，唤醒后会再次检查条件，不满足就继续等待，能有效规避这种系统层面的异常情况。

2. 多线程场景下的条件变化
   哪怕你当前是单生产者单消费者的场景，一旦扩展为多消费者，if判断的问题就会立刻暴露：
   比如有两个消费者线程，当生产者添加10美元后调用notify_all()，两个消费者都会被唤醒。第一个消费者获取锁后，若此时money是20，扣除20后变成0并释放锁；第二个消费者醒来后获取锁，此时money是0，若用if判断会直接执行扣除操作，导致money变为-20。但用while循环的话，第二个消费者会再次检查money < 20，条件成立就继续等待，不会出现违规操作。

总结：

• 先修正判断条件为while money < 20，这是满足业务要求的前提。
• 必须用while循环而非if判断，这是编写线程安全代码的标准做法，用来处理虚假唤醒和多线程场景下的条件变更问题，确保线程只有在条件真正满足时才执行后续逻辑。

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