ConditionObject

Condition在ReentrantLock中,实际上是创建AQS的ConditionObject对象,主要的成员变量有Node类型的firstWaiter和lastWaiter,作为头节点和尾节点,是单向链表。当调用await时,加入队列,signal时,加入到AQS的阻塞队列。

await方法

把节点移到Condition队列后挂起

public final void await() throws InterruptedException {    if (Thread.interrupted())        throw new InterruptedException();    Node node = addConditionWaiter();//添加一个节点成为尾节点    int savedState = fullyRelease(node);//释放所有持有的锁    int interruptMode = 0;    while (!isOnSyncQueue(node)) {//要么中断,要么进入阻塞队列,退出while循环        LockSupport.park(this);//挂起        if ((interruptMode = checkInterruptWhileWaiting(node)) != 0)//中断过,就跳出循环            break;    }    if (acquireQueued(node, savedState) && interruptMode != THROW_IE)//是否被中断。acquireQueued之前讲过        interruptMode = REINTERRUPT;    if (node.nextWaiter != null) // clean up if cancelled如果尾节点不为空        unlinkCancelledWaiters();//将不是CONDITION状态的移除出去    if (interruptMode != 0)        reportInterruptAfterWait(interruptMode);//重新中断}

addConditionWaiter,如果尾节点不在队列里,先移除已取消的节点,添加一个节点成为尾节点

private Node addConditionWaiter() {    Node t = lastWaiter;    // If lastWaiter is cancelled, clean out.如果尾节点不为空,但是状态不是CONDITION,说明已取消,不想在Condition的队列里,就移除    if (t != null && t.waitStatus != Node.CONDITION) {        unlinkCancelledWaiters();//将不是CONDITION状态的移除出去        t = lastWaiter;    }    Node node = new Node(Thread.currentThread(), Node.CONDITION);//创建状态是CONDITION的节点    if (t == null)        firstWaiter = node;    else        t.nextWaiter = node;    lastWaiter = node;//加入到尾节点    return node;}

fullyRelease方法

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)//如果释放失败,状态就变成CANCELLED,而不是CONDITION,所以会在addConditionWaiter方法中被移除            node.waitStatus = Node.CANCELLED;    }}

isOnSyncQueue方法

final boolean isOnSyncQueue(Node node) {    if (node.waitStatus == Node.CONDITION || node.prev == null)//如果状态是CONDITION或者前置节点为空,说明还在Condition队列里        return false;    if (node.next != null) // If has successor, it must be on queue如果有后续节点了,肯定是在阻塞队列里        return true;    /*     * node.prev can be non-null, but not yet on queue because     * the CAS to place it on queue can fail. So we have to     * traverse from tail to make sure it actually made it.  It     * will always be near the tail in calls to this method, and     * unless the CAS failed (which is unlikely), it will be     * there, so we hardly ever traverse much.     */    return findNodeFromTail(node);//从阻塞队列的尾节点遍历,如果找到当前node,说明在阻塞队列里返回true}

checkInterruptWhileWaiting方法,唤醒前已经中断,返回THROW_IE,唤醒后中断,返回REINTERRUPT,没有中断,返回0

private int checkInterruptWhileWaiting(Node node) {    return Thread.interrupted() ?        (transferAfterCancelledWait(node) ? THROW_IE : REINTERRUPT) :        0;}final boolean transferAfterCancelledWait(Node node) {    //如果cas操作成功,且预期值是CONDITION状态,说明在唤醒前就中断了,并加入阻塞队列    if (compareAndSetWaitStatus(node, Node.CONDITION, 0)) {        enq(node);        return true;    }        while (!isOnSyncQueue(node))//一直到阻塞队列里,在唤醒后才中断        Thread.yield();    return false;}

signal方法

唤醒Condition队列的节点

public final void signal() {    if (!isHeldExclusively())//非独占抛异常        throw new IllegalMonitorStateException();    Node first = firstWaiter;//获取头结点    if (first != null)        doSignal(first);//唤醒头节点}//如果头结点已经取消,就继续往下个节点寻找private void doSignal(Node first) {    do {        if ( (firstWaiter = first.nextWaiter) == null)//把下一个节点移到头结点            lastWaiter = null;        first.nextWaiter = null;//help gc    } while (!transferForSignal(first) &&             (first = firstWaiter) != null);}final boolean transferForSignal(Node node) {    /*     * 如果cas操作没成功,说明已经取消了,就继续下一个节点     */    if (!compareAndSetWaitStatus(node, Node.CONDITION, 0))        return false;    /*     * 没有取消,就加入阻塞队列,这个方法在aqs讲过了     *      */    Node p = enq(node);    int ws = p.waitStatus;//前置节点的状态    //大于0,说明前置节点已取消,就轮到当前节点,可以唤醒    //小于等于哦,把前置节点的状态设置为-1,如果失败了,唤醒    if (ws > 0 || !compareAndSetWaitStatus(p, ws, Node.SIGNAL))        LockSupport.unpark(node.thread);//唤醒    return true;}