之前写了一遍讲解ConditionObject如何实现条件队列的文章,有些拘泥实现细节、讲得不够清晰。本文再次把ConditionObject的主体实现逻辑讲解一遍,把关键的实现要点总结出来,形成要点。看完这篇文章可以保证你不必再去阅读ConditionObject的源码并且已经深度掌握其实现细节,保证你今后写代码、面试、分析问题够用了。
1. 首先,条件队列ConditionObject作为
AbstractQueuedSynchronized(以下简称AQS)的非静态内部类,通过AQS.this引用外部类实例(如图1)。为什么需要这种关联?因为多个线程可能会并发调用await(),而await()需要修改共享的条件队列(一个单链表和AQS上的同步队列,把线程结点在这两个队列之间移动。为了保证并发访问的线程安全性,需要锁来保护,而外部类AQS正是提供锁功能的,所以ConditionObject以这种方式关联AQS类。所以,ConditionObject需要AQS锁来以独占方式修改条件队列和同步队列,ConditionObject内部不再考虑如何修改共享数据,这就是为什么使用Condition前必须先持有锁的原因。
2. 其次,AQS提供一个同步队列(用于实现锁),而ConditionObject提供一个条件队列,且AQS可以关联多个条件队列,如下图所示。在同步队列中的线程结点处在对于锁的竞争中,而在条件队列中等待的线程并不竞争锁,而是在等待其他线程的信号,即调用signal()。
3. await操作:线程经过竞争得到了锁然后才会调用await(),所以此时同步队列上不会有对应当前线程的结点。在await()操作中,首先把当前线程结点放入等待队列,然后释放锁。在释放锁的时候,会将锁的状态保存到当前线程的栈中(局部变量),然后锁的占有状态释放以后,执行一个唤醒动作(通过LockSupport.unpark完成,唤醒同步队列中的一个线程),让其他线程有机会竞争AQS锁。而当前线程进入一个循环体,不断判断自己是否在同步队列上(刚调用的时候已经不在同步队列上了),如果不是,则阻塞自己;如果是,则跳出循环(因为其他线程调用signal,会把本线程重新放到同步队列上,设计很巧妙)。当跳出循环以后,去竞争AQS锁。当得到了AQS锁之后,await()才正常返回。注意,await()返回之后已经重新持有锁。流程如下:
4. signal操作: 唤醒线程首先必须已经持有AQS锁,然后调用signal(),这样才能放心地操作同步队列和条件队列。signal()首先找到条件队列的第一个结点a,把它从队列中取出来,状态改为条件等待(waitStatus=2),然后把它放入到AQS的同步队列,然后根据锁的等待情况(同步队列中,节点a之前的结点b)唤醒这个线程,或者让它保持阻塞状态。在以上操作过程中,如果结点a对应的线程执行了取消动作(例如通过中断、计时),那么在条件队列中找下一个结点,继续按上面的步骤操作。对于signal()操作而言,只转移成功一个线程结点就结束;而对于signalAll()而言,需要把所有线程结点全部转移到同步队列。这里需要注意,signal()和signalAll()执行完后,不会释放锁。
5. 其他await系列操作,例如awaitUninterruptibly、awaitNanos、awaitUntil等几乎与await一样,区别在于循环体中,阻塞操作临时返回的时候,分别如何处理中断、计时等问题。
Lock与Condition的不同点
Lock有自旋而Condition没有自旋。因为lock的加锁操作是无条件的,自旋可以减少线程上下文切换;而Condition是在检测到一个条件不满足时,主动进入阻塞。所以,自旋对于Condition意义不大,因为条件不满足时,很大概率在接下来一小段时间内依然不满足。
Lock中的队列操作需要大量谨慎的CAS操作,因为没有锁的保护;而Condition因为有锁的保护,所以在把结点在条件队列和锁队列之间移动时,无需考虑同步问题。只有在修改等待状态时,需要用到CAS操作,以应对突然发生的取消等待操作。
总结
这次看完ConditionObject的实现要点之后你是不是对Condition的运行和使用又有了更深入的体会呢。总结一下, CondtionObject与一个AQS对象建立了关联,并且内部有一个单链表,所有等待线程都在这个单链表里面等待。条件的等待和唤醒是通过把代表线程的结点在条件队列和锁队列之间移动来实现的。当有线程在这个Condition上调用await时,它就会把自身放入条件队列并且阻塞,而阻塞是通过一个循环来完成的,在这个循环中交替执行阻塞(LockSupport.park)、判断是否在锁队列上。当有线程在这个Condition上调用了signal时,就会把线程从条件队列转移到它锁关联的那个AQS的锁队列上,并且将它唤醒(此时,阻塞循环中的判断是否在锁队列的条件就会满足,导致跳出循环)。