本文由 ImportNew - 踏雁寻花 翻译自 stackoverflow。欢迎加入Java小组。转载请参见文章末尾的要求。 【本文已经根据网友的意见,进行了修改,考虑到网友会看不懂评论内容,我将本文的第一版发布到了博客中,点击这里 踏雁寻花 可以阅读。 】 根据网友的意见,修改版如下: 当你Google”notify()和notifyAll()的区别”时,会有大片的结果弹出来,(这里先把jdk的javadoc文档那一段撇开不说),所有这些搜索结果归结为等待的线程被唤醒的数量:notify()是唤醒一个, 而notifyall()是唤醒全部.那他们的真正区别是什么呢? 让我们来看看个生产者/消费者的案例(假设生产者/消费者这个类中有两个方法put和get),它是有问题的(因为这里用到了notify方法),是的,这段代码也许会执行,甚至大部分情况下能够正常运行,但是它也是有可能会出发生死锁,我们来看一看原因:
首先 我们为什么在wait方法外面加上while循环?我们需要使用while循环来实现下面的情景,情景分析:消费者1(C1)进入同步块中,此时buf是空的,所以C1被放入wait 队列中(因为执行了wait方法,译者注:此时C2是恰好到方法处,而不是因为有线程在方法中运行才被阻挡在方法外的),当消费者2(C2)正要进入同步方法的时候(此时在Y的上面),生产者P1将一个对象放入到buf中,随后又调用notify方法。此时wait 队列中唯一的线程是C1(译者注:C2不在waiting 队列中,也不在blocked队列中),所以C1被唤醒,C1被唤醒之后又开始试图重新获得对象锁,此时C1还在X的上面。现在的情况是,C1和C2都在试图去获取同步锁,这两个线程只能有一个被选择进入方法,另一个则会被堵塞(不是waiting,而是blocked 。译者注:虽然C1已经在方法中,不过还是会和C2竞争锁,如果C2获得锁,则C2进入方法执行接下来的操作,而C1还是继续等待锁(处于blocked状态);如果C1获得锁,则C1往下执行,而C2还是会被挡在方法外面(处于blocked状态))。假如C2先获得了对象锁,C1仍然被阻挡着(此时C1还试图在X处获得锁),C2完成了方法,并释放了锁。现在C1获得了锁。假设这里没有while循环,那么C1就会往下执行,从buf中删除一个对象,但是此时buf中已经没有对象了,因为刚刚C2已经取走了一个对象,如果此时C1执行buf.remove(0),则会报IndexArrayOutOfBoundsException异常。为了防止这样的异常发生,我们在上面用到了while循环,在往下执行之前,判断此时buf的大小是否为0,如果不是0,则往下执行,如果是0,则继续wait()。那么我们这里引出问题:为什么需要notifyAll? 在上面生产者-消费者这个例子中,看起来我们用notify也能够侥幸成功,因为等待循环的哨兵对于消费者和生产者来说是互斥的。我们不能同时在put方法和get方法都有一个线程wait,如果这种情况允许的话,那么下面的事情就会发生:
然而,这样并不好,我们需要使用notifyAll。让我们来看一看原因: 假设 buffer=1(为了更加容易理解),按照下面的步骤执行将会发生死锁。要注意的是:notify可以唤醒任何一个线程,不过JVM不能确定是哪个线程被唤醒,所以,任何一个线程都有被唤醒的可能。另外要注意的是,当多个线程被阻塞在方法外的时候(在试图获得锁),获得锁的顺序也是不确定的。要记住,在任何时候,方法中只能有一个线程存在-在类中任何同步的方法只允许一个线程执行(这个线程要持有对象锁才可以执行)。如果下面的执行顺序发生了的话,就会导致死锁: 第一步:P1放入一个对象到buffer中;
第五步:
第六步:
第七步:
下面是译者分析: 那么如果使用notifyAll方法唤醒线程,又会怎样呢?在执行第五步时,即C1执行完get方法后,又执行了notifyAll方法,此时,notifyAll方法会唤醒所有正在等待该锁的线程,那么所有的线程都会处于运行前的准备状态(此时不是wait状态),此时,即使C2在P2(此时P2已经被唤醒,P3也被唤醒,处于准备状态,而不是wait状态)之前先进入了get方法,C2循环检查buf大小,在buf中没有对象,所以进入wait状态;C3在C2之后,P2之前进入方法,由于buf中没有对象,所以也wait;(这里重新分析了一下步骤五发生的情景) 第六步:现在,有C2,C3在waiting,P3在第五步已经被唤醒了,处于准备状态,此时,如果P2获得锁,在buf中放入一个对象,执行notifyAll,又将C2、C3唤醒了; 第七步:此时,P3检查循环条件,在buf中已经有了一个对象,所以wait,不过此时并不会发生死锁,因为C2和C3还会继续执行。 总结:notify方法很容易引起死锁,除非你根据自己的程序设计,确定不会发生死锁,notifyAll方法则是线程的安全唤醒方法。附: notifyAll使所有原来在该对象上等待被notify的线程统统退出wait的状态,变成等待该对象上的锁,一旦该对象被解锁,他们就会去竞争。 以前大伙看到这两个区别的时候可能感觉到很懵,相信现在应该有些明白了吧,如果还没有搞清楚可以看一下我这里案例的分析:notify发生死锁的情景
根据网友的评论补充: 解释下前三步: 第五步:
网友补充: C2,C3在C1进入get方法后会被jvm放入对象的锁池中,而P2,P3是被放入对象的等待池中,等待池的线程只有通过notify、notifyAll或者interrupt才能进入锁池中,而锁池的线程只有拿到锁标识后才进入runnable状态等待cpu时间片。 原文链接: stackoverflow 翻译: ImportNew.com - 踏雁寻花 |