探索JAVA并发 - 终于搞懂了sleep/wait/notify/notifyAll

> sleep/wait/notify/notifyAll分别有什么作用?它们的区别是什么?wait时为什么要放在循环里而不能直接用if? ## 简介 首先对几个相关的方法做个简单解释,Object中有几个用于线程同步的方法:wait、notify、notifyAll。 ```java public class Object { public final native void wait(long timeout) throws InterruptedException; public final native void notify(); public final native void notifyAll(); } ``` + wait: 释放当前锁,阻塞直到被notify或notifyAll唤醒,或者超时,或者线程被中断(InterruptedException) + notify: 任意选择一个(无法控制选哪个)正在这个对象上等待的线程把它唤醒,其它线程依然在等待被唤醒 + notifyAll: 唤醒所有线程,让它们去竞争,不过也只有一个能抢到锁 + sleep: 不是Object中的方法,而是Thread类的静态方法,让当前线程持有锁阻塞指定时间 ## sleep和wait sleep和wait都可以让线程阻塞,也都可以指定超时时间,甚至还都会抛出中断异常InterruptedException。 而它们最大的区别就在于,sleep时线程依然持有锁,别人无法进当前同步方法;wait时放弃了持有的锁,其它线程有机会进入该同步方法。多次提到同步方法,因为wait必须在synchronized同步代码块中,否则会抛出异常IllegalMonitorStateException,notify也是如此,可以说wait和notify是就是为了在同步代码中做线程调度而生的。 下面一个简单的例子展现sleep和wait的区别: ```java import java.util.Date; import java.util.concurrent.atomic.AtomicInteger; public class Main { // 日志行号记录 private AtomicInteger count = new AtomicInteger(); public static void main(String[] args) throws InterruptedException { Main main = new Main(); // 开启两个线程去执行test方法 new Thread(main::test).start(); new Thread(main::test).start(); } private synchronized void test() { try { log("进入了同步方法,并开始睡觉,1s"); // sleep不会释放锁,因此其他线程不能进入这个方法 Thread.sleep(1000); log("睡好了,但没事做,有事叫我,等待2s"); //阻塞在此,并且释放锁,其它线程可以进入这个方法 //当其它线程调用此对象的notify或者notifyAll时才有机会停止阻塞 //就算没有人notify,如果超时了也会停止阻塞 wait(2000); log("我要走了,但我要再睡一觉,10s"); //这里睡的时间很长,因为没有释放锁,其它线程就算wait超时了也无法继续执行 Thread.sleep(10000); log("走了"); notify(); } catch (InterruptedException e) { e.printStackTrace(); } } // 打印日志 private void log(String s) { System.out.println(count.incrementAndGet() + " " + new Date().toString().split(" ")[3] + "\t" + Thread.currentThread().getName() + " " + s); } } /* 输出: 1 00:13:23 Thread-0 进入了同步方法,并开始睡觉,1s 2 00:13:24 Thread-0 睡好了,但没事做,有事叫我,等待2s 3 00:13:24 Thread-1 进入了同步方法,并开始睡觉,1s 4 00:13:25 Thread-1 睡好了,但没事做,有事叫我,等待2s 5 00:13:26 Thread-0 我要走了,但我要再睡一觉,10s 6 00:13:36 Thread-0 走了 7 00:13:36 Thread-1 我要走了,但我要再睡一觉,10s 8 00:13:46 Thread-1 走了 */ ``` 对输出做个简单解释(已经看懂代码的童鞋可以跳过): ``` 1 00:13:23 Thread-0 进入了同步方法,并开始睡觉,1s // Thread-0首先进入同步方法,Thread-1只能门外候着 2 00:13:24 Thread-0 睡好了,但没事做,有事叫我,等待2s // Thread-0 sleep 1秒这段时间,Thread-1没进来,证明sleep没有释放锁 3 00:13:24 Thread-1 进入了同步方法,并开始睡觉,1s // Thread-0开始wait后Thread-1马上就进来了,证明wait释放了锁 4 00:13:25 Thread-1 睡好了,但没事做,有事叫我,等待2s // Thread-1也打算wait 2秒(2秒后真的能醒来吗?) 5 00:13:26 Thread-0 我要走了,但我要再睡一觉,10s // Thread-0已经wait超时醒来了,这次准备sleep 10s 6 00:13:36 Thread-0 走了 // 10s过去了Thread-0都sleep结束了,那个说要wait 2s的Thread-1还没动静,证明超时也没用,还得抢到锁 7 00:13:36 Thread-1 我要走了,但我要再睡一觉,10s // Thread-0退出同步代码后,Thread-1才终于得到了锁,能行动了 8 00:13:46 Thread-1 走了 ``` ## notify和notifyAll 同样是唤醒等待的线程,同样最多只有一个线程能获得锁,同样不能控制哪个线程获得锁。 区别在于: + notify:唤醒一个线程,其他线程依然处于wait的等待唤醒状态,如果被唤醒的线程结束时没调用notify,其他线程就永远没人去唤醒,只能等待超时,或者被中断 + notifyAll:所有线程退出wait的状态,开始竞争锁,但只有一个线程能抢到,这个线程执行完后,其他线程又会有一个幸运儿脱颖而出得到锁 如果觉得解释的不够明白,代码来一波: ```java import java.util.Date; import java.util.concurrent.ArrayBlockingQueue; import java.util.concurrent.atomic.AtomicInteger; public class Main { private AtomicInteger count = new AtomicInteger(); public static void main(String[] args) throws InterruptedException { Main main = new Main(); // 开启两个线程去执行test方法 for (int i = 0; i < 10; i++) { new Thread(main::testWait).start(); } Thread.sleep(1000); for (int i = 0; i < 5; i++) { main.testNotify(); } } private synchronized void testWait() { try { log("进入了同步方法,开始wait"); wait(); log("wait结束"); } catch (InterruptedException e) { e.printStackTrace(); } } private synchronized void testNotify() { notify(); } private void log(String s) { System.out.println(count.incrementAndGet() + " " + new Date().toString().split(" ")[3] + "\t" + Thread.currentThread().getName() + " " + s); } } /* 输出: 1 00:59:32 Thread-0 进入了同步方法,开始wait 2 00:59:32 Thread-9 进入了同步方法,开始wait 3 00:59:32 Thread-8 进入了同步方法,开始wait 4 00:59:32 Thread-7 进入了同步方法,开始wait 5 00:59:32 Thread-6 进入了同步方法,开始wait 6 00:59:32 Thread-5 进入了同步方法,开始wait 7 00:59:32 Thread-4 进入了同步方法,开始wait 8 00:59:32 Thread-3 进入了同步方法,开始wait 9 00:59:32 Thread-2 进入了同步方法,开始wait 10 00:59:32 Thread-1 进入了同步方法,开始wait 11 00:59:33 Thread-0 wait结束 12 00:59:33 Thread-6 wait结束 13 00:59:33 Thread-7 wait结束 14 00:59:33 Thread-8 wait结束 15 00:59:33 Thread-9 wait结束 */ ``` 例子中有10个线程在wait,但notify了5次,然后其它线程一直阻塞,这也就说明使用notify时如果不能准确控制和wait的线程数对应,可能会导致某些线程永远阻塞。 使用notifyAll唤醒所有等待的线程: ```java import java.util.Date; import java.util.concurrent.ArrayBlockingQueue; import java.util.concurrent.atomic.AtomicInteger; public class Main { private AtomicInteger count = new AtomicInteger(); public static void main(String[] args) throws InterruptedException { Main main = new Main(); // 开启两个线程去执行test方法 for (int i = 0; i < 5; i++) { new Thread(main::testWait).start(); } Thread.sleep(1000); main.testNotifyAll(); } private synchronized void testWait() { try { log("进入了同步方法,开始wait"); wait(); log("wait结束"); } catch (InterruptedException e) { e.printStackTrace(); } } private synchronized void testNotifyAll() { notifyAll(); } private void log(String s) { System.out.println(count.incrementAndGet() + " " + new Date().toString().split(" ")[3] + "\t" + Thread.currentThread().getName() + " " + s); } } /* 输出: 1 01:03:24 Thread-0 进入了同步方法,开始wait 2 01:03:24 Thread-4 进入了同步方法,开始wait 3 01:03:24 Thread-3 进入了同步方法,开始wait 4 01:03:24 Thread-2 进入了同步方法,开始wait 5 01:03:24 Thread-1 进入了同步方法,开始wait 6 01:03:25 Thread-1 wait结束 7 01:03:25 Thread-2 wait结束 8 01:03:25 Thread-3 wait结束 9 01:03:25 Thread-4 wait结束 10 01:03:25 Thread-0 wait结束 */ ``` 只需要调用一次notifyAll,所有的等待线程都被唤醒,并且去竞争锁,然后依次(无序)获取锁完成了后续任务。 ## 为什么wait要放到循环中使用 一些源码中出现wait时,往往都是伴随着一个循环语句出现的,比如: ```java private synchronized void f() throws InterruptedException { while (!isOk()) { wait(); } System.out.println("I'm ok"); } ``` 既然wait会被阻塞直到被唤醒,那么用if+wait不就可以了吗?其他线程发现条件达到时notify一下不就行了? 理想情况确实如此,但实际开发中我们往往不能保证这个线程被notify时条件已经满足了,因为很可能有某个无关(和这个条件的逻辑无关)的线程因为需要线程调度而调用了notify或者notifyAll。此时如果样例中位置等待的线程不巧被唤醒,它就会继续往下执行,但因为用的if,这次被唤醒就不会再判断条件是否满足,最终程序按照我们不期望的方式执行下去。 ![微信公众号“一杯82年的JAVA”](https://img2018.cnblogs.com/blog/1031208/201909/1031208-20190906011558358-1333917397.png)

猜你喜欢

转载自www.cnblogs.com/acupt/p/11470702.html