java线程打水问题_Java 多线程 wait() 虚假唤醒问题

本文分享 wait()  的虚假唤醒(Spurious Wakeups)问题，会说明什么是虚假唤醒，以及如何解决。

先看一下相关的 java doc:

java doc 说由于中断和虚假唤醒可能会发生，所以总是要在循环里面调用。由此可见解决办法其实很简单，只要放在循环里面就行了！

接下来我要写一段生产者消费者往仓库存取产品的相关代码，借着这个代码来说明为什么是虚假唤醒。

代码的逻辑也很简单，就是有一个仓库 Store 负责存放产品，每次只能放一个，一个 Producer 负责生产，一个 Consumer 负责消费。代码如下(为了便于浏览，所有类都写在了同一个文件中)：

public class TestProducerAndConsumer{public static void main(String[] args){Store store = new Store();Producer producer = new Producer(store);Consumer consumer = new Consumer(store);new Thread(consumer, "消费者A").start();new Thread(consumer, "消费者B").start();new Thread(producer,"生产者A").start();new Thread(producer,"生产者B").start();}}class Store{private int product = 0;public synchronized void put(){if(product >= 1) {System.out.println(Thread.currentThread().getName()+ "来了，但产品已满！");try{this.wait();} catch (InterruptedException e) {}}System.out.println(Thread.currentThread().getName()+ "操作后，库存为: " + ++product);this.notifyAll();}public synchronized void get(){if(product <= 0) {System.out.println(Thread.currentThread().getName()+ "来了，但缺货！");try{this.wait();}catch (InterruptedException e){}}System.out.println(Thread.currentThread().getName()+ "操作后，库存为: " + --product);this.notifyAll();}}class Consumer implements Runnable{private Store store;public Consumer(Store store){this.store = store;}public void run(){store.get();}}class Producer implements Runnable{private Store store;public Producer(Store store){this.store = store;}public void run(){store.put();}}

运行结果：

我们可以看到库存出现了一个 -1 的情况，这很显然不符合实际，因为库存不可能为负数。

为了避免库存出现负数，我已经在程序的第 42 行加了判断，如果产品的数量小于 0，那么消费者就会转为等待状态，那么这个 -1 是怎么出现的呢？

结合上下两张图我们来分析一下：

分析一下程序的运行情况：

1)消费者 A 抢到锁然后调用 get，产品数量为 0，则转为等待状态并释放锁；

2)消费者 B 抢到锁然后调用 get，产品数量为 0，则转为等待状态并释放锁；

3)生产者 A 抢到锁然后调用 put，将产品数量变为 1，并调用 notifyAll 方法将消费者 A 和消费者 B 唤醒转为就绪状态，并释放锁；

4)消费者 B 抢到锁然后从 wait 位置继续向下运行，将产品数量变为 0，方法执行完毕释放锁；

5)消费者 A 抢到锁然后从 wait 位置继续向下运行，将产品数量变为 -1，方法执行完毕释放锁；

以上就是 -1 产生的过程，我们可以看出第 5 步中消费者 A 这次被唤醒有点多余了，虽然它刚 "醒" 时产品数是大于 1，但被消费者 B 先行一步，把产品消费了，轮到它消费时已经不符合消费的条件了，所以再消费就造成了错误。

解决办法就像上面说的一样，需要把 wait 放到循环里面，所以我们将第 42 行的 if 改成 while. 这样当第 5 步中的消费者 A 从 wait 位置继续向下运行，会再进行一次产品数量的判断，会发现产品的数量已经不符合它消费的条件了，从而再次转为等待状态。

类似的第 22 行的 if 也应该改为 while。虽然当前程序它不会运行出问题，但将 product 初始值设为 1，在让两个生产者先启动，则很容易出现类似错误。

private int product = 1;

public static void main(String[] args) {Store store = new Store();Producer producer = new Producer(store);Consumer consumer = new Consumer(store);new Thread(producer,"生产者A").start();new Thread(producer,"生产者B").start();new Thread(consumer, "消费者A").start();new Thread(consumer, "消费者B").start();}

类似的库存为 2 在本程序中也不是我们期望出现的情况。

本次分享完毕，感谢阅读！