一、背景

上一篇已经解释了ReentrantLock，AQS基本框架

AQS是JUC重要的同步器，所有的锁基于这个同步器实现，先温习下主要由以下几个重要部分组成

Node 节点
head 头节点
tail 尾节点
state 当前锁的状态
acquire(int arg) 获取锁
acquireQueued(final Node node, int arg) 获取锁队列
addWaiter(Node mode) 加入等待队列
release(int) 释放锁
unparkSuccessor(Node) 唤醒继任节点
ConditionObject 条件对象，功能类似wait/notify

那么今天就是重点介绍AQS中的ConditionObject 功能和实现。

二、什么是condition

在AQS中，Node节点通过nextWaiter指针串起来的就是条件队列，中有ConditionObject对象，实现接口Condition,由具体的lock，如ReentrantLock.newCondition创建和调用。

Condition主要接口有：

public interface Condition {  
    void await() throws InterruptedException;  
    void awaitUninterruptibly();  
    long awaitNanos(long nanosTimeout) throws InterruptedException;  
    boolean await(long time, TimeUnit unit) throws InterruptedException;  
    boolean awaitUntil(Date deadline) throws InterruptedException;  
    void signal();  
    void signalAll();  
}

相同点：

在Condition中，用await()替换wait()，用signal()替换notify()，用signalAll()替换notifyAll()，传统线程的通信方式，Condition都可以实现。

不同点：

**比如一个对象里面可以有多个Condition,可以注册在不同的condition，可以有选择性的调度线程，很灵活。而Synchronized只有一个condition（就是对象本身）,所有的线程都注册在这个conditon身上，线程调度不灵活。 ** Condition和传统的线程通信没什么区别，Condition的强大之处在于它可以为多个线程间建立不同的Condition，下面引入API中的一段代码（原文地址，http://docs.oracle.com/javase/7/docs/api/java/util/concurrent/locks/Condition.html），ArrayBlockingQueue 提供了类似的功能，实习原理类似。

class BoundedBuffer {  
   final Lock lock = new ReentrantLock();//锁对象  
   final Condition notFull  = lock.newCondition();//写线程条件   
   final Condition notEmpty = lock.newCondition();//读线程条件   
  
   final Object[] items = new Object[100];//缓存队列  
   int putptr/*写索引*/, takeptr/*读索引*/, count/*队列中存在的数据个数*/;  
  
   public void put(Object x) throws InterruptedException {  
     lock.lock();  
     try {  
       while (count == items.length)//如果队列满了   
         notFull.await();//阻塞写线程  
       items[putptr] = x;
       if (++putptr == items.length) putptr = 0;//如果写索引写到队列的最后一个位置了，那么置为0  
       ++count;//个数++  
       notEmpty.signal();//唤醒读线程  
     } finally {  
       lock.unlock();  
     }  
   }  
  
   public Object take() throws InterruptedException {  
     lock.lock();  
     try {  
       while (count == 0)//如果队列为空  
         notEmpty.await();//阻塞读线程  
       Object x = items[takeptr];//取值   
       if (++takeptr == items.length) takeptr = 0;//如果读索引读到队列的最后一个位置了，那么置为0  
       --count;//个数--  
       notFull.signal();//唤醒写线程  
       return x;  
     } finally {  
       lock.unlock();  
     }  
   }   
 }

在多线程环境下，缓存区提供了两个方法，put and take，put是存数据的，take是取数据的，items充当缓存队列，运行场景是有多个线程同时往调用put和take；这里的读和写共用的其实是一把锁lock，实际读写不能同时并行；当写入一个数据后，便通知读线程，写满后调用notFull.await()阻塞写；当读入一个数据后，便通知写线程，读空后调用notEmpty.await()阻塞读，等待写条件通知信号；

三、condition源码实现

接下来我们讲解AQS.ConditionObject 内部源码。主要分析以下几个方法：

await 阻塞线程，加入条件队列，等待条件信号释放

addConditionWaiter
fullyRelease
isOnSyncQueue

signal 释放条件信号，加入锁等待队列syc，等待获取锁

doSignal
transferForSignal

这里我先定义下两个概念：

锁等待队列（同步队列）即获取锁后等待解锁的队列,AQS中的syc (FIFO)
条件等待队列即调用await后进入条件队列，等待signal释放信号，进入锁等待队列(FIFO)，ConditionObject 中

await

public final void await() throws InterruptedException {
            if (Thread.interrupted())
                throw new InterruptedException();
            Node node = addConditionWaiter();  //添加到Condition自己维护的一个链表中，通过nextWaiter连接起来，即条件等待队列  
            int savedState = fullyRelease(node); //释当前节点的锁，并返回释放之前的锁状态,执行await一定是先拿到了当前锁的
            int interruptMode = 0;
            while (!isOnSyncQueue(node)) {  //判断该节点是否在锁等待队列中，当释放锁后就不在锁队列中了，等待条件队列的线程应当被继续阻塞，如果在锁等待队列中，则说明有资格获取锁，执行下一步，聪明的你发现是在signal时被再次加入锁等待队列
                LockSupport.park(this); //在条件队列中阻塞该线程
                if ((interruptMode = checkInterruptWhileWaiting(node)) != 0)
                    break;
            }
        // 被唤醒后，重新开始正式竞争锁，同样，如果竞争不到还是会将自己沉睡，等待唤醒重新开始竞争。
            if (acquireQueued(node, savedState) && interruptMode != THROW_IE)
                interruptMode = REINTERRUPT;
            if (node.nextWaiter != null) // 存在下一个节点，从条件队列中取消不是在CONDITION的线程节点
                unlinkCancelledWaiters();
            if (interruptMode != 0)
                reportInterruptAfterWait(interruptMode);
        }

addConditionWaiter

当前waiter线程加入条件等待队列里，从队尾入队，并将节点线程状态设置为CONDITION

 /**
         *当前waiter线程加入条件等待队列里，从队尾入队，并将节点线程状态设置为CONDITION
         * [@return](https://my.oschina.net/u/556800) 返回新的节点
         */
        private Node addConditionWaiter() {
            Node t = lastWaiter;
            // If lastWaiter is cancelled, clean out.
            if (t != null && t.waitStatus != Node.CONDITION) {
                unlinkCancelledWaiters();
                t = lastWaiter;
            }
            Node node = new Node(Thread.currentThread(), Node.CONDITION);
            if (t == null)
                firstWaiter = node;
            else
                t.nextWaiter = node;
            lastWaiter = node;
            return node;
        }

fullyRelease：

释当前节点的锁，并返回释放之前的锁状态,执行await一定是先拿到了当前锁的

 /**
     * Invokes release with current state value; returns saved state.
     * Cancels node and throws exception on failure.
     * @param node the condition node for this wait
     * @return previous sync state
     */

//释当前节点的锁，并返回释放之前的锁状态,执行await一定是先拿到了当前锁的

final int fullyRelease(Node node) {
    boolean failed = true;
    try {
        int savedState = getState();
        if (release(savedState)) {
            failed = false;
            return savedState;
        } else {
            throw new IllegalMonitorStateException();
        }
    } finally {
        if (failed)
            node.waitStatus = Node.CANCELLED;
    }
}

isOnSyncQueue

判断这个节点是否在锁等待队列中，显然waitStatus为CONDITION这种结点，只属于条件队列，不在锁等待队列中。


判断这个节点是否在锁等待队列中，显然waitStatus为CONDITION这种结点，只属于条件队列，不在锁等待队列中。
   
    final boolean isOnSyncQueue(Node node) {
        if (node.waitStatus == Node.CONDITION || node.prev == null)
            return false;
        if (node.next != null) // If has successor, it must be on queue
            return true;
        return findNodeFromTail(node);
    }

signal

从条件队列中的头节点开始，释放第一个节点线程，加入到锁等待队列


//从条件队列中的头节点开始，释放第一个节点线程，加入到锁等待队列
        public final void signal() {
            //当前线程不是拥有锁线程这抛出异常
            if (!isHeldExclusively())
                throw new IllegalMonitorStateException();
            Node first = firstWaiter;//条件队列中第一个节点
         
            if (first != null)
                doSignal(first);
        }

doSignal

doSignal()方法是一个while循环，直到transferForSignal成功为止，不断地完成这样一个transfer（条件队列--->锁同步等待队列）操作，直到有一个成功为止。

 /**
         * Removes and transfers nodes until hit non-cancelled one or
         * null. Split out from signal in part to encourage compilers
         * to inline the case of no waiters.
         * @param first (non-null) the first node on condition queue
         */

        private void doSignal(Node first) {
            do {
                if ( (firstWaiter = first.nextWaiter) == null)
                    lastWaiter = null;
                //将第一个节点的继任变量设置空，意义是first与next节点断掉，便于gc
                first.nextWaiter = null;
              //  将节点从条件队列转移到锁等待队列，如果成功则返回true,while循环终止，如果转移失败，则从first往后找，聪明的你肯定就知道，如果是doSignalAll，这从first一直往后执行transferForSignal
            } while (!transferForSignal(first) &&
                     (first = firstWaiter) != null);
        }

transferForSignal

将节点从条件队列转移到锁等待队列，如果成功则返回true transferForSignal做了两件事

将结点从条件队列移到锁同步等待队列中
设置同步中它的前趋结点的waitStatus为SIGNAL,并挂起当前线程。

 /**
     * Transfers a node from a condition queue onto sync queue.
     * Returns true if successful.
     * @param node the node
     * @return true if successfully transferred (else the node was
     * cancelled before signal).
     */
    final boolean transferForSignal(Node node) {
        /*
         * If cannot change waitStatus, the node has been cancelled.
         */
 //假设在条件队列中，将node状态设置0，如果waitStatus不能被更改，则该节点已经被取消
        if (!compareAndSetWaitStatus(node, Node.CONDITION, 0))
            return false;

        /*
         * Splice onto queue and try to set waitStatus of predecessor to
         * indicate that thread is (probably) waiting. If cancelled or
         * attempt to set waitStatus fails, wake up to resync (in which
         * case the waitStatus can be transiently and harmlessly wrong).
         */
       //通过enq将节点加入到锁等待队列，从队尾插入，并返回前驱节点。
        Node p = enq(node);
        int ws = p.waitStatus;
      //如果该前驱节点被取消或者更改waitStatus状态为SIGNAL失败，说明前驱失效，则唤醒在锁同步等待队列当前节点
        if (ws > 0 || !compareAndSetWaitStatus(p, ws, Node.SIGNAL))
            LockSupport.unpark(node.thread);
        return true;
    }

四、总结

。。。待续

java并发系列-lock-AQS-condition