JUC Condition 源码分析

前言

之前我已经分析了 AQS 的部分源码，那么在学习 Condition 原理之前，建议先去了解一下 AQS 的工作原理，可以参考：
JUC AQS源码分析（上） – AQS原理分析
JUC AQS源码分析（中） – ReentrantLock上锁源码解析

一、Condition 概括

Java并发编程实战（进阶篇上）中分析 ArrayBlockingQueue 的阻塞入队和出队方法时使用到了 Condition 的await（等待）和signal（唤醒）方法来阻塞生产者或消费者线程，这也是 Condition 的简单使用。

Condition 究竟是如何将这些线程进行等待或者唤醒的呢？

同步队列和等待队列

我们在学习 AQS 时，会将 CAS 获取锁失败的线程加入到同步队列（CLH）当中；同样地，在 Condition 中，会将调用await方法的线程加入到等待队列中。

那么同步队列和等待队列有什么异同？

• 异：同步队列的实现是采用双向链表，并且后一个结点的线程状态由前一个结点保存；等待队列的实现是采用单链表，结点保存各自的线程状态（waitStatus）
• 同：Condition 只是一个接口，主要实现类 ConditionObject 在 AQS 类中，所以同步队列和等待队列封装线程状态都是用Node结点

接下来主要从 Condition 最常用的两个方法await和signal来逐步分析源码。

二、ConditionObject#await()

调用Condition的await()方法会使当前线程进入等待状态，同时会加入到Condition等待队列同时释放锁。

public final void await() throws InterruptedException {
   
	// 当前线程被中断直接抛出异常
    if (Thread.interrupted())
        throw new InterruptedException();
    // 1.将当前线程加入到等待队列    
    Node node = addConditionWaiter();
    // 2.释放当前线程持有的锁
    int savedState = fullyRelease(node);
    int interruptMode = 0;
    // 3.直到当前线程在同步队列(被唤醒了),否则一直循环
    // 	在循环中也就是处于等待状态
    while (!isOnSyncQueue(node)) {
   
    	// 4.将线程挂起
        LockSupport.park(this);
        // 等待状态响应中断,直接break
        if ((interruptMode = checkInterruptWhileWaiting(node)) != 0)
            break;
    }
    // 5.当前线程被唤醒之后,竞争同步状态
    // acquireQueued在AQS源码中已经分析,这里就不在赘述
    if (