等待线程和通知线程是同步在同一对象之上的两种线程
//等待
synchronized(object){
//保护条件不成立时,当前线程暂停,进入等待集
while(!保护条件){
object.wait();
}
doSomething();
}
//唤醒
synchronized(object){
//更新等待线程保护条件涉及的共享变量
updateSharedState();
object.notify();
}
Java虚拟机会给每个对象维护一个入口集EntrySet用于存储申请该对象内部锁的线程,和等待集WaitSet用于存储该对象上的等待线程;
线程B获取锁
保护条件不满足,线程B暂停,并释放锁(原子操作),将当前线程的引用存入该方法所属对象的等待集中
线程A申请锁
线程A获取锁
线程A更新保护条件
保护条件满足,唤醒等待集中任意线程
线程B被唤醒但仍留在等待集中,尝试获取锁,成功获取锁,等待集移除线程B,Object.wait()调用返回
//wait伪代码实现
pulic void wait(){
if(Thread.holdLock(this)){
throw new IllegalMonitorStateException();
}
if(waitSet.contains(Thread.currentThread())){
addToWaitSet(Thread.currentThread());
}
//原子操作
atomic {
releaseLock(this);
//暂停当前线程 等待唤醒
block(Thread.currentThread());
}
//被唤醒后
acquireLock(this);
removeFromWaitSet(Thread.currentThread());
return;
}
例子:监控服务/等待超时控制/Thread.join实现
问题
wait(long)不能区分其返回是否因等待超时而导致的问题
解决
juc包下的Condition类的awaitUtil(Date)方法(todo实现)
问题
因为一个对象只维护一个等待集,当在这个对象中的一个保护条件A被更新且成立时,调用notifyAll将会唤醒所有等待线程,这时使用其他保护条件B的等待线程甲也会被唤醒,发现自己保护条件不成立,只能继续等待。
解决
juc包下的Condition类的await方法
问题
保护条件成立判断和wait调用没有放在一个临界区内的循环里(todo)
问题
notify唤醒不考虑任何保护条件,即notify没有成功唤醒当前等待条件上的等待线程,可能唤醒了其他保护条件的线程或一个都没唤醒,需换成notifyAll
问题
等待线程没有在notify/notifyAll的情况下因操作系统导致被唤醒,导致过早唤醒,需要保护条件成立判断和wait调用放在一个临界区内的循环里
原因
解决
优点 | 缺点 | 适用 | |
---|---|---|---|
notify | 信号丢失 | 同质多等待线程 | |
notifyAll | 正确性 | 过早唤醒 |
Thread.join()是一个同步方法,其内部就是使用wait/notify来实现,等待目标线程执行结束后再继续执行;等待线程在目标线程未结束时调用wait来暂停自己,虚拟机会在目标线程的run方法运行结束后执行notifyAll。(同步的概念是什么todo)
是wait/notify的替代品,await方法类似于wait,signal方法类似于notify,signalAll类似于notifyAll;由显示锁Lock创建,并要求其执行线程持有创建该Condition实例的显式锁。可用于解决wait(long)无法区分是因为超时等待还是被通知而返回,及过早唤醒问题。 Condition实例也被称为条件变量,内部维护一个存储等待线程的队列。
class ConditionTest{
private final Lock lock = new ReentrantLock();
private final Condition condition = lock.newCondition();
public void awaitFunc() throws Exception{
lock.lock();
try{
while(!保护条件){
condition.await();
}
doSomething();
}finally{
lock.unlock();
}
}
public void signalFunc(){
lock.lock();
try{
updateState();
condition.signal();
}finally{
lock.unlock();
}
}
}
建立保护条件与条件变量之间的对应关系,让不同保护条件的等待线程调用对应条件变量的await方法实现等待,signal同理。
原文:https://www.cnblogs.com/hangzhi/p/11279522.html