Java——显示条件
2026/5/17 4:49:16 网站建设 项目流程

显示条件

    • 1、用法
    • 2、生产者/消费者模式
    • 3、实现原理

1、用法

锁用于解决竞态条件问题,条件是线程间的协作机制。显式锁与synchronized相对应,而显式条件与wait/notify相对应。wait/notify与synchronized配合使用,显式条件与显式锁配合使用。条件与锁相关联,创建条件变量需要通过显式锁,Lock接口定义了创建方法:

ConditionnewCondition();

Condition表示条件变量,是一个接口,它的定义为:

publicinterfaceCondition{voidawait()throwsInterruptedException;voidawaitUninterruptibly();longawaitNanos(longnanosTimeout)throwsInterruptedException;booleanawait(longtime,TimeUnitunit)throwsInterruptedException;booleanawaitUntil(Datedeadline)throwsInterruptedException;voidsignal();voidsignalAll();}

await对应于Object的wait, signal对应于notify,signalAll对应于notifyAll,语义也是一样的。

与Object的wait方法类似,await也有几个限定等待时间的方法,但功能更多一些:

//等待时间是相对时间,如果由于等待超时返回,返回值为false,否则为truebooleanawait(longtime,TimeUnitunit)throwsInterruptedException;//等待时间也是相对时间,但参数单位是纳秒,返回值是nanosTimeout减去实际等待的时间longawaitNanos(longnanosTimeout)throwsInterruptedException;//等待时间是绝对时间,如果由于等待超时返回,返回值为false,否则为truebooleanawaitUntil(Datedeadline)throwsInterruptedException;

这些await方法都是响应中断的,如果发生了中断,会抛出InterruptedException,但中断标志位会被清空。Condition还定义了一个不响应中断的等待方法:

voidawaitUninterruptibly();

该方法不会由于中断结束,但当它返回时,如果等待过程中发生了中断,中断标志位会被设置。

一般而言,与Object的wait方法一样,调用await方法前需要先获取锁,如果没有锁,会抛出异常IllegalMonitorStateException。

await在进入等待队列后,会释放锁,释放CPU,当其他线程将它唤醒后,或等待超时后,或发生中断异常后,它都需要重新获取锁,获取锁后,才会从await方法中退出。

另外,与Object的wait方法一样,await返回后,不代表其等待的条件就一定满足了,通常要将await的调用放到一个循环内,只有条件满足后才退出。

一般而言,signal/signalAll与notify/notifyAll一样,调用它们需要先获取锁,如果没有锁,会抛出异常IllegalMonitorStateException。signal与notify一样,挑选一个线程进行唤醒,signalAll与notifyAll一样,唤醒所有等待的线程,但这些线程被唤醒后都需要重新竞争锁,获取锁后才会从await调用中返回。

ReentrantLock实现了newCondition方法,通过它,我们来看下条件的基本用法。我们实现与15.3节类似的例子WaitThread,一个线程启动后,在执行一项操作前,等待主线程给它指令,收到指令后才执行,示例代码如代码所示。

publicclassWaitThreadextendsThread{privatevolatilebooleanfire=false;privateLocklock=newReentrantLock();privateConditioncondition=lock.newCondition();@Overridepublicvoidrun(){try{lock.lock();try{while(!fire){condition.await();}}finally{lock.unlock();}System.out.println("fired");}catch(InterruptedExceptione){Thread.interrupted();}}publicvoidfire(){lock.lock();try{this.fire=true;condition.signal();}finally{lock.unlock();}}publicstaticvoidmain(String[]args)throwsInterruptedException{WaitThreadwaitThread=newWaitThread();waitThread.start();Thread.sleep(1000);System.out.println("fire");waitThread.fire();}}

需要特别注意的是,不要将signal/signalAll与notify/notifyAll混淆,notify/notifyAll是Object中定义的方法,Condition对象也有,稍不注意就会误用。比如,对上面例子中的fire方法,可能会写为:

publicvoidfire(){lock.lock();try{this.fire=true;condition.notify();}finally{lock.unlock();}}

写成这样,编译器不会报错,但运行时会抛出IllegalMonitorStateException,因为notify的调用不在synchronized语句内。同样,避免将锁与synchronized混用,那样非常令人混淆,比如:

publicvoidfire(){synchronized(lock){this.fire=true;condition.signal();}}

记住,显式条件与显式锁配合,wait/notify与synchronized配合。

2、生产者/消费者模式

用wait/notify实现了生产者/消费者模式,我们提到了wait/notify的一个局限,它只能有一个条件等待队列,分析等待条件也很复杂。在生产者/消费者模式中,其实有两个条件,一个与队列满有关,一个与队列空有关。使用显式锁,可以创建多个条件等待队列。下面,我们用显式锁/条件重新实现下其中的阻塞队列,如代码所示。

staticclassMyBlockingQueue<E>{privateQueue<E>queue=null;privateintlimit;privateLocklock=newReentrantLock();privateConditionnotFull=lock.newCondition();privateConditionnotEmpty=lock.newCondition();publicMyBlockingQueue(intlimit){this.limit=limit;queue=newArrayDeque<>(limit);}publicvoidput(Ee)throwsInterruptedException{lock.lockInterruptibly();try{while(queue.size()==limit){notFull.await();}queue.add(e);notEmpty.signal();}finally{lock.unlock();}}publicEtake()throwsInterruptedException{lock.lockInterruptibly();try{while(queue.isEmpty()){notEmpty.await();}Ee=queue.poll();notFull.signal();returne;}finally{lock.unlock();}}}

上述代码定义了两个等待条件:不满(notFull)​、不空(notEmpty)​。在put方法中,如果队列满,则在notFull上等待;在take方法中,如果队列空,则在notEmpty上等待。put操作后通知notEmpty, take操作后通知notFull。这样,代码更为清晰易读,同时避免了不必要的唤醒和检查,提高了效率。Java并发包中的类ArrayBlockingQueue就采用了类似的方式实现。

3、实现原理

理解了显式条件的概念和用法,我们来看下ReentrantLock是如何实现它的,其new-Condition()的代码为:

publicConditionnewCondition(){returnsync.newCondition();}

sync是ReentrantLock的内部类对象,其newCondition()代码为:

finalConditionObjectnewCondition(){returnnewConditionObject();}

ConditionObject是AQS中定义的一个内部类,它的实现也比较复杂,我们通过一些主要代码来简要探讨其实现原理。ConditionObject内部也有一个队列,表示条件等待队列,其成员声明为:

//条件队列的头节点privatetransientNodefirstWaiter;//条件队列的尾节点privatetransientNodelastWaiter;

ConditionObject是AQS的成员内部类,它可以直接访问AQS中的数据,比如AQS中定义的锁等待队列。我们看下主要方法的实现。先看await方法,如代码所示。我们通过添加注释解释其基本思路。

publicfinalvoidawait()throwsInterruptedException{//如果等待前中断标志位已被设置,直接抛出异常if(Thread.interrupted())thrownewInterruptedException();//1.为当前线程创建节点,加入条件等待队列Nodenode=addConditionWaiter();//2.释放持有的锁intsavedState=fullyRelease(node);intinterruptMode=0;//3.放弃CPU,进行等待,直到被中断或isOnSyncQueue变为true//isOnSyncQueue为true,表示节点被其他线程从条件等待队列//移到了外部的锁等待队列,等待的条件已满足while(!isOnSyncQueue(node)){LockSupport.park(this);if((interruptMode=checkInterruptWhileWaiting(node))!=0)break;}//4.重新获取锁if(acquireQueued(node,savedState)&&interruptMode!=THROW_IE)interruptMode=REINTERRUPT;if(node.nextWaiter!=null)// clean up if cancelledunlinkCancelledWaiters();//5.处理中断,抛出异常或设置中断标志位if(interruptMode!=0)reportInterruptAfterWait(interruptMode);}

awaitNanos与await的实现是基本类似的,区别主要是会限定等待的时间,具体就不列举了。

signal方法代码为:

publicfinalvoidsignal(){//验证当前线程持有锁if(!isHeldExclusively())thrownewIllegalMonitorStateException();//调用doSignal唤醒等待队列中第一个线程Nodefirst=firstWaiter;if(first!=null)doSignal(first);}

doSignal的代码就不列举了,其基本逻辑是:

  1. 将节点从条件等待队列移到锁等待队列
  2. 调用LockSupport.unpark将线程唤醒。

需要专业的网站建设服务?

联系我们获取免费的网站建设咨询和方案报价,让我们帮助您实现业务目标

立即咨询