wait 和 notify 有坑。。

简介: 也许我们只知道wait和notify是实现线程通信的,同时要使用synchronized包住,其实在开发中知道这个是远远不够的。接下来看看两个常见的问题。

也许我们只知道wait和notify是实现线程通信的,同时要使用synchronized包住,其实在开发中知道这个是远远不够的。接下来看看两个常见的问题。

问题一:通知丢失

创建2个线程,一个线程负责计算,一个线程负责获取计算结果。

public class Calculator extends Thread {
    int total;
    @Override
    public void run() {
        synchronized (this){
            for(int i = 0; i < 101; i++){
                total += i;
            }
            this.notify();
        }
    }
}
public class ReaderResult extends Thread {
    Calculator c;
    public ReaderResult(Calculator c) {
        this.c = c;
    }
    @Override
    public void run() {
        synchronized (c) {
            try {
                System.out.println(Thread.currentThread() + "等待计算结...");
                c.wait();
            } catch (InterruptedException e) {
                e.printStackTrace();
            }
            System.out.println(Thread.currentThread() + "计算结果为:" + c.total);
        }
    }
    public static void main(String[] args) {
        Calculator calculator = new Calculator();
        //先启动获取计算结果线程
        new ReaderResult(calculator).start();
        calculator.start();
    }
}

我们会获得预期的结果:

Thread[Thread-1,5,main]等待计算结...
Thread[Thread-1,5,main]计算结果为:5050

但是我们修改为先启动计算线程呢?

calculator.start();
new ReaderResult(calculator).start();

这是获取结算结果线程一直等待:

Thread[Thread-1,5,main]等待计算结...

问题分析

打印出线程堆栈:

"Thread-1" prio=5 tid=0x00007f983b87e000 nid=0x4d03 in Object.wait() [0x0000000118988000]
   java.lang.Thread.State: WAITING (on object monitor)
    at java.lang.Object.wait(Native Method)
    - waiting on <0x00000007d56fb4d0> (a com.concurrent.waitnotify.Calculator)
    at java.lang.Object.wait(Object.java:503)
    at com.concurrent.waitnotify.ReaderResult.run(ReaderResult.java:18)
    - locked <0x00000007d56fb4d0> (a com.concurrent.waitnotify.Calculator)

可以看出ReaderResult在Calculator上等待。发生这个现象就是常说的通知丢失,在获取通知前,通知提前到达,我们先计算结果,计算完后再通知,但是这个时候获取结果没有在等待通知,等到获取结果的线程想获取结果时,这个通知已经通知过了,所以就发生丢失,那我们该如何避免?可以设置变量表示是否被通知过,修改代码如下:

public class Calculator extends Thread {
    int total;
    boolean isSignalled = false;
    @Override
    public void run() {
        synchronized (this) {
            isSignalled = true;//已经通知过
                for (int i = 0; i < 101; i++) {
                    total += i;
                }
                this.notify();
            }
    }
}
public class ReaderResult extends Thread {
    Calculator c;
    public ReaderResult(Calculator c) {
        this.c = c;
    }
    @Override
    public void run() {
        synchronized (c) {
            if (!c.isSignalled) {//判断是否被通知过
                try {
                    System.out.println(Thread.currentThread() + "等待计算结...");
                    c.wait();
                } catch (InterruptedException e) {
                    e.printStackTrace();
                }
                System.out.println(Thread.currentThread() + "计算结果为:" + c.total);
            }
        }
    }
    public static void main(String[] args) {
        Calculator calculator = new Calculator();
        new ReaderResult(calculator).start();
        calculator.start();
    }
}

问题二:假唤醒

两个线程去删除数组的元素,当没有元素的时候等待,另一个线程添加一个元素,添加完后通知删除数据的线程。

public class EarlyNotify{
    private List list;
    public EarlyNotify() {
        list = Collections.synchronizedList(new LinkedList());
    }
    public String removeItem() throws InterruptedException {
        synchronized ( list ) {
            if ( list.isEmpty() ) {  //问题在这
                list.wait();
            }
            //删除元素
            String item = (String) list.remove(0);
            return item;
        }
    }
    public void addItem(String item) {
        synchronized ( list ) {
            //添加元素
            list.add(item);
            //添加后,通知所有线程
            list.notifyAll();
        }
    }
    private static void print(String msg) {
        String name = Thread.currentThread().getName();
        System.out.println(name + ": " + msg);
    }
    public static void main(String[] args) {
        final EarlyNotify en = new EarlyNotify();
        Runnable runA = new Runnable() {
            public void run() {
                try {
                    String item = en.removeItem();
                } catch ( InterruptedException ix ) {
                    print("interrupted!");
                } catch ( Exception x ) {
                    print("threw an Exception!!!\n" + x);
                }
            }
        };
        Runnable runB = new Runnable() {
            public void run() {
                en.addItem("Hello!");
            }
        };
        try {
            //启动第一个删除元素的线程
            Thread threadA1 = new Thread(runA, "threadA1");
            threadA1.start();
            Thread.sleep(500);
            //启动第二个删除元素的线程
            Thread threadA2 = new Thread(runA, "threadA2");
            threadA2.start();
            Thread.sleep(500);
            //启动增加元素的线程
            Thread threadB = new Thread(runB, "threadB");
            threadB.start();
            Thread.sleep(1000); // wait 10 seconds
            threadA1.interrupt();
            threadA2.interrupt();
        } catch ( InterruptedException x ) {}
    }
}

结果:

threadA1: threw an Exception!!!
java.lang.IndexOutOfBoundsException: Index: 0, Size: 0

这里发生了假唤醒,当添加完一个元素然后唤醒两个线程去删除,这个只有一个元素,所以会抛出数组越界,这时我们需要唤醒的时候在判断一次是否还有元素。

修改代码:

public String removeItem() throws InterruptedException {
      synchronized ( list ) {
          while ( list.isEmpty() ) {  //问题在这
              list.wait();
          }
          //删除元素
          String item = (String) list.remove(0);
          return item;
      }
}

等待/通知的典型范式

从上面的问题我们可归纳出等待/通知的典型范式。


该范式分为两部分,分别针对等待方(消费者)和通知方(生产者)。


等待方遵循原则如下:

获取对象的锁

如果条件不满足,那么调用对象的wait()方法,被通知后仍要检查条件

条件满足则执行对应的逻辑

对应伪代码如下:

synchronized(对象){
    while(条件不满足){
        对象.wait();
    }
    对应的处理逻辑
}

通知方遵循原则如下:

  1. 获得对象的锁
  2. 改变条件
  3. 通知所以等待在对象上的线程

对应伪代码如下:

synchronized(对象){
    改变条件
    对象.notifyAll();
}
相关文章
|
Linux Shell 网络安全
【Shell 命令集合 网络通讯 】Linux 与SMB服务器进行交互 smbclient命令 使用指南
【Shell 命令集合 网络通讯 】Linux 与SMB服务器进行交互 smbclient命令 使用指南
576 1
nfs之mount.nfs: Stale file handle
nfs之mount.nfs: Stale file handle
519 0
|
机器学习/深度学习 算法 数据可视化
基于Google Earth Engine云平台构建的多源遥感数据森林地上生物量AGB估算模型含生物量模型应用APP
基于Google Earth Engine云平台构建的多源遥感数据森林地上生物量AGB估算模型含生物量模型应用APP
560 0
|
缓存 JavaScript Java
SpringBoot集成onlyoffice实现word文档编辑保存
SpringBoot集成onlyoffice实现word文档编辑保存
2323 0
|
11月前
|
存储 API 文件存储
招行面试:万亿GB网盘, 从0到1设计,如何实现?
本文由40岁老架构师尼恩撰写,针对一线互联网企业如得物、阿里、滴滴等的面试场景,特别是招商银行Java后端面试中的绝命12题,进行了深度解析。尼恩通过系统化、体系化的梳理,帮助读者提升技术肌肉,让面试官爱到“不能自已”。文章详细分析了如何设计一个支持万亿GB网盘实现秒传与限速的系统,涵盖了高并发处理、秒传实现、限速设计等核心技术挑战,并提供了完整的架构设计和代码示例。此外,还介绍了《尼恩Java面试宝典PDF》V171版本,帮助读者更好地准备面试。关注公众号【技术自由圈】,回复“领电子书”,获取更多资源。
|
JavaScript 前端开发 算法
|
并行计算 固态存储 Ubuntu
基因组大数据计算: CPU和GPU加速方案深度评测
基因组大数据计算: CPU和GPU加速方案深度评测
539 0
基因组大数据计算: CPU和GPU加速方案深度评测
|
网络协议 Unix Linux
Linux 多种方式实现文件共享(三)NFS 6
【8月更文挑战第6天】NFS 即网络文件系统,是一种使用于分布式文件系统的协议,NFS 功能是通过网络让不同的机器,不同的操作系统能够彼此分享各自的数据,让应用程序在客户端通过网络访问位于服务器磁盘中的数据
379 13
|
JavaScript 前端开发 UED
JavaScript中重排与重绘的区别及触发条件
JavaScript中重排与重绘的区别及触发条件
282 1
|
SQL IDE 算法
手撕代码是程序员的基本功吗?
现在众多企业都要求在面试中用“手撕代码”来考验应聘者的代码能力,你觉得手敲代码是否可以体现真实的基础实力? 本期话题: 1、你觉得手撕代码是程序员的基本功吗? 2、为什么会用“手撕代码”来考验程序员能力
417 1