Java生产者-消费者模型中，线程阻塞与唤醒机制失效原因分析？

本文共计1418个文字，预计阅读时间需要6分钟。

原文：

在 Java 多线程编程中，生产者-消费者模式是经典的线程协作案例，但若对 Object.wait() 和 notify() 的使用机制理解不足，极易陷入虚假唤醒（spurious wakeup）未处理、唤醒丢失（lost notification） 或锁竞争逻辑错位等陷阱——正如示例代码所示：两个线程均成功执行一次生产与消费后，便双双卡在 WAITING (on object monitor) 状态，再无响应。

? 根本原因分析

原始代码存在多个关键性错误：

1. notify() 调用位置错误且对象不匹配
   在 produce 线程中，notify() 写在 synchronized (Shop.LL) 块内部但位于 wait() 之后，而此时线程已释放锁并进入等待态，notify() 实际由当前持有锁的线程（即自己）调用，但此时另一线程（consumer）尚未进入 wait()，或已在不同时间点等待，导致唤醒信号被忽略。更严重的是，notify() 未指定唤醒目标，且未使用 notifyAll() —— 在多线程场景下，仅 notify() 可能唤醒错误线程甚至无可用等待者。

2. wait() 前缺乏循环条件检查（Missing Loop Idiom）
   正确模式应为 while (conditionNotMet) { obj.wait(); }，而非 if。JVM 允许线程在未被显式唤醒时“自发”返回（虚假唤醒），if 判断无法防御该情况，易导致逻辑错乱或空指针。