【面试：并发篇16：多线程：wait/notify详解】原理及错误用法(虚假唤醒等)
【面试：并发篇16：多线程：wait/notify详解】原理及错误用法(虚假唤醒等)
00.前言
如果有任何问题，请指出。
01.介绍
我们之前学习的过程中浅显的了解过wiat/notify，但是没有系统的介绍过wait/notify，wait是使线程陷入等待 notify是随机唤醒一个被wait的线程。
02.工作原理
当一个线程获取锁后 但是发现自己不满足某些条件 不能执行锁住部分的代码块时 需要进入等待列表 直到满足条件时才会重新竞争线程
上图为它的工作原理
注意
1.Owner发现条件某个线程不满足条件，调用wait方法，此时这个线程进入WaitSet，并且这个线程的状态变为WAITING状态
2.BLOCKED和WAITING状态的线程都不参与cpu调度，不占用cpu时间片
3.WAITING线程会在Owner线程调用notify或notifyAll时唤醒，但唤醒后仍然要进入EntryList重新竞争锁
03.API介绍
obj.wait()：wait方法让进入object监视器的线程到waitSet等待。wait后会释放对象锁，让其他线程竞争
obj.wait(Long timeout)：wait的有时限方法，如果在时限内没有其他线程唤醒，则自己直接唤醒自己，若期间有别的线程唤醒那就正常唤醒。wait后会释放对象锁，让其他线程竞争
obj.notify()：notify方法让正在waitSet等待的线程挑一个唤醒
obj.notifyAll()：notifyAll方法让正在waitSet等待的线程全部唤醒
它们都是线程之间进行协作的手段，都属于Object对象方法，必须获取此对象的锁，才能调用这几个方法，如果不加锁直接调用这些方法会报错
notify与notifyAll的对比
@Slf4j(topic = "c.TestWaitNotify")
public class TestWaitNotify {
final static Object obj = new Object();
public static void main(String[] args) {
new Thread(() -> {
synchronized (obj) {
log.debug("执行....");
try {
obj.wait(); // 让线程在obj上一直等待下去
} catch (InterruptedException e) {
e.printStackTrace();
}
log.debug("其它代码....");
}
},"t1").start();
new Thread(() -> {
synchronized (obj) {
log.debug("执行....");
try {
obj.wait(); // 让线程在obj上一直等待下去
} catch (InterruptedException e) {
e.printStackTrace();
}
log.debug("其它代码....");
}
},"t2").start();
// 主线程两秒后执行
sleep(0.5);
log.debug("唤醒 obj 上其它线程");
synchronized (obj) {
// obj.notify(); // 唤醒obj上一个线程
obj.notifyAll(); // 唤醒obj上所有等待线程
}
}
}
结果
调用notify时：
23:11:55.798 c.TestWaitNotify [t1] - 执行…
23:11:55.801 c.TestWaitNotify [t2] - 执行…
23:11:56.300 c.TestWaitNotify [main] - 唤醒 obj 上其它线程
23:11:56.300 c.TestWaitNotify [t1] - 其它代码…调用notifyAll时：
23:12:26.195 c.TestWaitNotify [t1] - 执行…
23:12:26.198 c.TestWaitNotify [t2] - 执行…
23:12:26.699 c.TestWaitNotify [main] - 唤醒 obj 上其它线程
23:12:26.699 c.TestWaitNotify [t2] - 其它代码…
23:12:26.699 c.TestWaitNotify [t1] - 其它代码…
解释
可以看出notify是随机唤醒一个线程，notifyAll则是唤醒全部线程
04.wait与sleep方法的区别
区别
1.sleep是Thread的类方法，而wait是Object的对象方法
2.sleep不需要强制和synchronized配合使用，但是wait需要和synchronized一起用
3.sleep在睡眠的同时，不会释放对象锁，但wait在等待时会释放对象锁
4.无时限wait方法执行后 线程变为WAITING状态，有时限的wait方法与sleep方法执行后变为TIMED_WAITING状态
分析下面代码
@Slf4j(topic = "c.Test19")
public class Test19 {
static final Object lock = new Object();
public static void main(String[] args) {
new Thread(() -> {
synchronized (lock) {
log.debug("获得锁");
try {
// Thread.sleep(2000);
lock.wait(2000);
} catch (InterruptedException e) {
e.printStackTrace();
}
}
}, "t1").start();
Sleeper.sleep(1);
synchronized (lock) {
log.debug("获得锁");
}
}
}
结果
当调用sleep时的情况：
23:20:48.788 c.Test19 [t1] - 获得锁
当调用wait时的情况：
23:21:27.759 c.Test19 [t1] - 获得锁
23:21:28.768 c.Test19 [main] - 获得锁
解释
上述结果说明sleep在暂停期间 不会释放锁 导致 这期间其他线程不能运行，而wait则可以释放锁
05.wait/notify的正确使用情况
既然是正确的使用情况，那就需要一步一步来，把不正确的部分逐渐优化。
例子说明
现在有一群人需要干活，其中一个人叫做小南 他必须吸烟时才能干活。现在就是针对这个问题进行模拟。
模拟一
import lombok.extern.slf4j.Slf4j;
@Slf4j(topic = "c.TestCorrectPosture")
public class TestCorrectPostureStep1 {
static final Object room = new Object();
static boolean hasCigarette = false; // 有没有烟
static boolean hasTakeout = false;
public static void main(String[] args) {
new Thread(() -> {
synchronized (room) {
log.debug("有烟没？[{}]", hasCigarette);
if (!hasCigarette) {
log.debug("没烟，先歇会！");
try {
Thread.sleep(2000);
} catch (InterruptedException e) {
e.printStackTrace();
}
}
log.debug("有烟没？[{}]", hasCigarette);
if (hasCigarette) {
log.debug("可以开始干活了");
}
}
}, "小南").start();
for (int i = 0; i < 5; i++) {
new Thread(() -> {
synchronized (room) {
log.debug("可以开始干活了");
}
}, "其它人").start();
}
try {
Thread.sleep(1000);
} catch (InterruptedException e) {
e.printStackTrace();
}
new Thread(() -> {
// 这里能不能加 synchronized (room)？
synchronized (room) { // 33行
hasCigarette = true;
log.debug("烟到了噢！");
}
}, "送烟的").start();
}
}
结果
33行加了synchronized：
23:2516.146 c.TestCorrectPosture [小南] - 有烟没？[false]
23:25:16.149 c.TestCorrectPosture [小南] - 没烟，先歇会！
23:25:18.157 c.TestCorrectPosture [小南] - 有烟没？[false]
23:25:18.157 c.TestCorrectPosture [送烟的] - 烟到了噢！
23:25:18.157 c.TestCorrectPosture [其它人] - 可以开始干活了
23:25:18.157 c.TestCorrectPosture [其它人] - 可以开始干活了
23:25:18.158 c.TestCorrectPosture [其它人] - 可以开始干活了
23:25:18.158 c.TestCorrectPosture [其它人] - 可以开始干活了
23:25:18.158 c.TestCorrectPosture [其它人] - 可以开始干活了33行不加synchronized：
23:26:19.464 c.TestCorrectPosture [小南] - 有烟没？[false]
23:26:19.468 c.TestCorrectPosture [小南] - 没烟，先歇会！
23:26:20.475 c.TestCorrectPosture [送烟的] - 烟到了噢！
23:26:21.470 c.TestCorrectPosture [小南] - 有烟没？[true]
23:26:21.470 c.TestCorrectPosture [小南] - 可以开始干活了
23:26:21.471 c.TestCorrectPosture [其它人] - 可以开始干活了
23:26:21.471 c.TestCorrectPosture [其它人] - 可以开始干活了
23:26:21.471 c.TestCorrectPosture [其它人] - 可以开始干活了
23:26:21.471 c.TestCorrectPosture [其它人] - 可以开始干活了
23:26:21.471 c.TestCorrectPosture [其它人] - 可以开始干活了
解释
我们来分析这个模拟的缺陷:
33行不加synchronized：
当我们不加synchronized时我们发现的问题是 由于小南调用了sleep 睡眠2s期间没有释放锁 所以此时其他线程加锁的代码块不能运行，导致其他人没有办法工作
33行加synchronized：
当加synchronize的时上述问题依旧没有解决，且出现一个新的问题，小南在sleep 2s期间 主线程的第33行因为加了synchronized导致hasCigarette并没有改变为true，所以此时小南在1s后没有收到烟 所以小南没有工作
模拟二
可以看出模拟一的主要问题是 小南不干活 其他人也要等，而且小南有可能会由于送烟代码块被加锁 导致收不到烟不干活
我们用wait/notify来优化
@Slf4j(topic = "c.TestCorrectPosture")
public class TestCorrectPostureStep2 {
static final Object room = new Object();
static boolean hasCigarette = false;
static boolean hasTakeout = false;
public static void main(String[] args) {
new Thread(() -> {
synchronized (room) {
log.debug("有烟没？[{}]", hasCigarette);
if (!hasCigarette) {
log.debug("没烟，先歇会！");
try {
room.wait(2000);
} catch (InterruptedException e) {
e.printStackTrace();
}
}
log.debug("有烟没？[{}]", hasCigarette);
if (hasCigarette) {
log.debug("可以开始干活了");
}
}
}, "小南").start();
for (int i = 0; i < 5; i++) {
new Thread(() -> {
synchronized (room) {
log.debug("可以开始干活了");
}
}, "其它人").start();
}
try {
Thread.sleep(1000);
} catch (InterruptedException e) {
e.printStackTrace();
}
new Thread(() -> {
synchronized (room) {
hasCigarette = true;
log.debug("烟到了噢！");
room.notify();
}
}, "送烟的").start();
}
}
结果
23:30:41.080 c.TestCorrectPosture [小南] - 有烟没？[false]
23:30:41.083 c.TestCorrectPosture [小南] - 没烟，先歇会！
23:30:41.084 c.TestCorrectPosture [其它人] - 可以开始干活了
23:30:41.084 c.TestCorrectPosture [其它人] - 可以开始干活了
23:30:41.084 c.TestCorrectPosture [其它人] - 可以开始干活了
23:30:41.085 c.TestCorrectPosture [其它人] - 可以开始干活了
23:30:41.085 c.TestCorrectPosture [其它人] - 可以开始干活了
23:30:42.085 c.TestCorrectPosture [送烟的] - 烟到了噢！
23:30:42.085 c.TestCorrectPosture [小南] - 有烟没？[true]
23:30:42.086 c.TestCorrectPosture [小南] - 可以开始干活了
看起来好像没有问题了，但是如果此时还有另外一个需要条件的才能工作的线程呢？
模拟三
我们在之前的题目上再加一个 人物 小女，小女需要外卖才能工作，此时我们再来用模拟二的方法进行模拟
@Slf4j(topic = "c.TestCorrectPosture")
public class TestCorrectPostureStep3 {
static final Object room = new Object();
static boolean hasCigarette = false;
static boolean hasTakeout = false;
// 虚假唤醒
public static void main(String[] args) {
new Thread(() -> {
synchronized (room) {
log.debug("有烟没？[{}]", hasCigarette);
if (!hasCigarette) {
log.debug("没烟，先歇会！");
try {
room.wait();
} catch (InterruptedException e) {
e.printStackTrace();
}
}
log.debug("有烟没？[{}]", hasCigarette);
if (hasCigarette) {
log.debug("可以开始干活了");
} else {
log.debug("没干成活...");
}
}
}, "小南").start();
new Thread(() -> {
synchronized (room) {
Thread thread = Thread.currentThread();
log.debug("外卖送到没？[{}]", hasTakeout);
if (!hasTakeout) {
log.debug("没外卖，先歇会！");
try {
room.wait();
} catch (InterruptedException e) {
e.printStackTrace();
}
}
log.debug("外卖送到没？[{}]", hasTakeout);
if (hasTakeout) {
log.debug("可以开始干活了");
} else {
log.debug("没干成活...");
}
}
}, "小女").start();
try {
Thread.sleep(1000);
} catch (InterruptedException e) {
e.printStackTrace();
}
new Thread(() -> {
synchronized (room) {
hasTakeout = true;
log.debug("外卖到了噢！");
room.notify();
}
}, "送外卖的").start();
}
}
结果
23:45:35.476 c.TestCorrectPosture [小南] - 有烟没？[false]
23:45:35.486 c.TestCorrectPosture [小南] - 没烟，先歇会！
23:45:35.486 c.TestCorrectPosture [小女] - 外卖送到没？[false]
23:45:35.486 c.TestCorrectPosture [小女] - 没外卖，先歇会！
23:45:36.483 c.TestCorrectPosture [送外卖的] - 外卖到了噢！
23:45:36.483 c.TestCorrectPosture [小南] - 有烟没？[false]
23:45:36.483 c.TestCorrectPosture [小南] - 没干成活…
解释
我们发现在新增一个小女 之后 这个代码又出现了问题，刚开始 小南 小女条件都不满足不能工作，但是因为notify是唤醒某一个线程，导致 本来应该唤醒小女的线程 把小南唤醒了 但是没有给小南需要的条件，而且小女也因此没有机会活动外卖，导致小女与小女都没有干活
这种把不该唤醒的线程唤醒的情况叫做虚假唤醒
模拟四
@Slf4j(topic = "c.TestCorrectPosture")
public class TestCorrectPostureStep4 {
static final Object room = new Object();
static boolean hasCigarette = false;
static boolean hasTakeout = false;
public static void main(String[] args) {
new Thread(() -> {
synchronized (room) {
log.debug("有烟没？[{}]", hasCigarette);
if (!hasCigarette) {
log.debug("没烟，先歇会！");
try {
room.wait();
} catch (InterruptedException e) {
e.printStackTrace();
}
}
log.debug("有烟没？[{}]", hasCigarette);
if (hasCigarette) {
log.debug("可以开始干活了");
} else {
log.debug("没干成活...");
}
}
}, "小南").start();
new Thread(() -> {
synchronized (room) {
Thread thread = Thread.currentThread();
log.debug("外卖送到没？[{}]", hasTakeout);
if (!hasTakeout) {
log.debug("没外卖，先歇会！");
try {
room.wait();
} catch (InterruptedException e) {
e.printStackTrace();
}
}
log.debug("外卖送到没？[{}]", hasTakeout);
if (hasTakeout) {
log.debug("可以开始干活了");
} else {
log.debug("没干成活...");
}
}
}, "小女").start();
try {
Thread.sleep(1000);
} catch (InterruptedException e) {
e.printStackTrace();
}
new Thread(() -> {
synchronized (room) {
hasTakeout = true;
log.debug("外卖到了噢！");
room.notifyAll();
}
}, "送外卖的").start();
}
}
结果
00:00:01.274 c.TestCorrectPosture [小南] - 有烟没？[false]
00:00:01.274 c.TestCorrectPosture [小南] - 没烟，先歇会！
00:00:01.274 c.TestCorrectPosture [小女] - 外卖送到没？[false]
00:00:01.274 c.TestCorrectPosture [小女] - 没外卖，先歇会！
00:00:02.284 c.TestCorrectPosture [送外卖的] - 外卖到了噢！
00:00:02.284 c.TestCorrectPosture [小女] - 外卖送到没？[true]
00:00:02.284 c.TestCorrectPosture [小女] - 可以开始干活了
00:00:02.284 c.TestCorrectPosture [小南] - 有烟没？[false]
00:00:02.284 c.TestCorrectPosture [小南] - 没干成活…
解释
我们这次把notify换成了notifyAll，使得小女一定可以被唤醒 并且收到外卖。事实也是如此，小女获得了外卖 并且开始工作，但是小南依旧被唤醒了 并且没有收到烟 导致小南没有干活。
现在的情况是 虽然唤醒了应该唤醒的 小女线程，但是小南线程还是被错误唤醒了，依旧是虚假唤醒
模拟五
@Slf4j(topic = "c.TestCorrectPosture")
public class TestCorrectPostureStep5 {
static final Object room = new Object();
static boolean hasCigarette = false;
static boolean hasTakeout = false;
public static void main(String[] args) {
new Thread(() -> {
synchronized (room) {
log.debug("有烟没？[{}]", hasCigarette);
while (!hasCigarette) {
log.debug("没烟，先歇会！");
try {
room.wait();
} catch (InterruptedException e) {
e.printStackTrace();
}
}
log.debug("有烟没？[{}]", hasCigarette);
if (hasCigarette) {
log.debug("可以开始干活了");
} else {
log.debug("没干成活...");
}
}
}, "小南").start();
new Thread(() -> {
synchronized (room) {
Thread thread = Thread.currentThread();
log.debug("外卖送到没？[{}]", hasTakeout);
while (!hasTakeout) {
log.debug("没外卖，先歇会！");
try {
room.wait();
} catch (InterruptedException e) {
e.printStackTrace();
}
}
log.debug("外卖送到没？[{}]", hasTakeout);
if (hasTakeout) {
log.debug("可以开始干活了");
} else {
log.debug("没干成活...");
}
}
}, "小女").start();
try {
Thread.sleep(1000);
} catch (InterruptedException e) {
e.printStackTrace();
}
new Thread(() -> {
synchronized (room) {
hasTakeout = true;
log.debug("外卖到了噢！");
room.notifyAll();
}
}, "送外卖的").start();
}
}
结果
00:10:36.991 c.TestCorrectPosture [小南] - 有烟没？[false]
00:10:36.991 c.TestCorrectPosture [小南] - 没烟，先歇会！
00:10:36.991 c.TestCorrectPosture [小女] - 外卖送到没？[false]
00:10:36.991 c.TestCorrectPosture [小女] - 没外卖，先歇会！
00:10:37.990 c.TestCorrectPosture [送外卖的] - 外卖到了噢！
00:10:37.990 c.TestCorrectPosture [小女] - 外卖送到没？[true]
00:10:37.990 c.TestCorrectPosture [小女] - 可以开始干活了
00:10:37.990 c.TestCorrectPosture [小南] - 没烟，先歇会！
解释
这里我们用了一个很巧妙的处理 解决了模拟四种小南被虚假唤醒的情况，我们这里把小南的if判断改为while，使得如果判断失败 会再次循环 执行wait 进入WaitSet
06.wait/notify建议使用的格式
synchronized(lock){
while(条件不成立){
lock.wait();
}
// 后续代码
}
// 另一个线程
synchronized(lock){
lock.notifyAll();
}
这样的写法避免了 虚假唤醒的情况 也保证了 唤醒的线程一定可以获得需要的条件 从而进行工作。