A.为什么会出现虚假唤醒?
虚假唤醒的出现在于生产者的notify并不在临界区内,也就是说,生产者使用临界区保护了修改流水线的这个操作,然后解锁,解锁完毕后才notify。而在这之间是非原子的。
在以下情况:
1).生产者对临界区加锁
2).修改流水线状态
3).生产者解锁
4).notify通知消费者线程
在3)与4)间是有空隙的,如果在3)进行后突然此刻加入了一个新的消费者,这个消费者察觉到流水线的变化,对他进行了消费,然后生产者才notify唤醒了原有的消费者, 但流水线已经为空了,实际上这就是一个虚假唤醒,唤醒后并无工作可做。
B.为什么要用while来避免虚假唤醒?
1)if判断流水线状态为空时,线程被阻塞,这时if判断就完成了,线程被唤醒后直接执行线程剩余操作
2)while判断流水线状态为空时,线程被阻塞,这时的while循环没有完成,线程被唤醒后会先进行while判断
重点是线程被唤醒并不是线程主动检测到流水线不为空,而是被动被唤醒,所以线程会先去检测流水线是否为空