先看到了一个解释说的是
在单消费者和单生产者的模式中,因为只有两个线程,消费者pop方法notify通知到的一定是生产者线程,使其执行push操作。 2.
在多消费者模式中,消费者pop方法notify随机通知一个SysStack对象等待池中的线程,使其进入SysStack对象的锁池中竞争获取该对象的锁。产生错误的关键原因在于notify通知到的线程既可能是生产者线程有可能是消费者线程。
若仅剩一个元素时,某消费者线程执行pop方法,判断if条件不成立,执行notify唤醒了另外的消费者线程,并消费了当前的最后一个元素。被唤醒的消费者线程由于已经在if方法中,不需要再判断剩余的元素数量,又紧接着执行了消费一个元素的操作,此时无元素可消费,程序就异常了。
3. 再补充下多消费者模式代码中如果换成while,但使用notify仍存在导致程序挂起的风险。 这里先说一下对象的锁池和等待池。 执行wait方法会使线程释放锁进入锁对象的等待池。 notify和notifyAll通知等待池中的线程,使其进入锁池竞争锁资源。
notify仅仅通知等待池中的一个线程,使其进入锁池竞争锁资源,若竞争到了锁,线程就running;notifyAll会通知锁对象的等待池中的所有线程进入锁池竞争锁,尽管最后只能有一个线程得到锁,剩下的都还等着锁资源再释放去竞争。
还是举多消费者的例子,若仅剩一个元素时,某消费者线程执行pop方法,判断if条件不成立,执行notify唤醒了另外的消费者线程,并消费了当前的最后一个元素。被唤醒的消费者线程由于已经使用了while进行优化,会执行wait操作释放锁并加入等待池。此时,若前面全部使用notify,就会出现锁池中没有线程(都在等待池等着notify/notifyAll),无人竞争已被释放的锁的情况,这样所有线程都无法running,程序就被挂起了。
还有一种解释:
用if判断的话,唤醒后的线程是会从wait之后的代码开始运行,但是不会重新进行if判断,直接运行if后面的代码,但如果使用while的话
,是会从wait之后的代码运行,但唤醒之后会重新判断循环条件,如果不成立的话再执行while代码块后面的代码块,成立的话就wait,用来确保每一次notify之后,都还可以用while来进行一次检查条件
也去看了 《effective java》这本书: