Java中wait()方法为什么要放在同步块中?,数据结构常见面试题总结

@Test
public void test() {
    try {
        new Object().wait();
    } catch (InterruptedException e) {
        e.printStackTrace();
    }
}

![](https://upload-images.jianshu.io/upload_images/15590149-a35fb5ea3eb6890c.png?imageMogr2/auto-orient/strip%7CimageView2/2/w/1240)


但是,为毛呢??为毛呢?我也不知道啊,经过一番查阅,我找到了答案。

## Lost Wake-Up Problem

事情得从一个多线程编程里面臭名昭著的问题"Lost wake-up problem"说起。

这个问题并不是说只在Java语言中会出现,而是会在所有的多线程环境下出现。

假如我们有两个线程,一个消费者线程,一个生产者线程。生产者线程的任务可以简化成先将count加一,而后唤醒消费者;消费者则是先将count减一,而后在减到0的时候陷入睡眠:

生产者伪代码:

```swift
count+1;
notify();

消费者伪代码:

while(count<=0)
   wait()

count--

这里面有问题。什么问题呢?

生产者是两个步骤:

  1. count+1;
  2. notify();

消费者也是两个步骤:

  1. 检查count值;
  2. 睡眠或者减一;

如果这些步骤混在一起会怎样呢?

比如说,初始的时候count等于0,这个时候消费者检查count的值,发现count小于等于0的条件成立;就在这个时候,发生了上下文切换,生产者进来了,噼噼啪啪一顿操作,把两个步骤都执行完了,也就是发出了通知,准备唤醒一个线程。这个时候消费者刚决定睡觉,还没睡呢,所以这个通知就会被丢掉。紧接着,消费者就睡过去了,消费者成睡美人了。

Java中wait()方法为什么要放在同步块中?,数据结构常见面试题总结

这就是所谓的lost wake up问题。

尝试解决

问题的根源在于,消费者在检查count到调用wait()之间,count就可能被改掉了。

常见的解决方式是加锁,让消费者和生产者竞争一把锁,竞争到了的,才能够修改count的值。

我这里将两者的两个操作都放进去了同步块中,于是生产者的代码是:

tryLock()

count+1

notify()

releaseLock()

消费者的代码是:

tryLock()

while(count <= 0)
  wait()
  
count-1

releaseLock()

但是这样改后依旧会出现lost wake up问题,而且和无锁的表现是一样的。

感受:

其实我投简历的时候,都不太敢投递阿里。因为在阿里一面前已经过了字节的三次面试,投阿里的简历一直没被捞,所以以为简历就挂了。

特别感谢一面的面试官捞了我,给了我机会,同时也认可我的努力和态度。对比我的面经和其他大佬的面经,自己真的是运气好。别人8成实力,我可能8成运气。所以对我而言,我要继续加倍努力,弥补自己技术上的不足,以及与科班大佬们基础上的差距。希望自己能继续保持学习的热情,继续努力走下去。

也祝愿各位同学,都能找到自己心动的offer。

分享我在这次面试前所做的准备(刷题复习资料以及一些大佬们的学习笔记和学习路线),都已经整理成了电子文档,需要的朋友可以【点赞+关注】戳这里即可免费获取

备(刷题复习资料以及一些大佬们的学习笔记和学习路线),都已经整理成了电子文档,需要的朋友可以【点赞+关注】戳这里即可免费获取

Java中wait()方法为什么要放在同步块中?,数据结构常见面试题总结

上一篇:with语句在多线程编程中遇到的问题


下一篇:a