ReentrantLock获取锁失败线程入队阻塞与唤醒流程解析

ReentrantLock获取锁失败线程入队阻塞与唤醒流程解析

本次仅debug获取锁失败，将线程放入阻塞队列并挂起的流程，获取锁成功较为简单代码各位小伙伴自行debug

public class LockDebug {

    public static final ReentrantLock lock = new ReentrantLock();
    public static Integer count = 0;

    public static void main(String[] args) {
        for (int i = 0; i < 3; i++) {
            new Thread(() -> {
                lock.lock();
                try {
                    count++;
                } finally {
                    lock.unlock();
                }
            },"线程"+i).start();
        }
    }
}

此时线程0 已经获取锁成功，我们就暂不观察线程0的情况；
来看看线程1，和线程2的执行情况；
我们切到线程1：

线程1获取锁失败，来到入队的情况：

 final boolean nonfairTryAcquire(int acquires) {
            final Thread current = Thread.currentThread();
            int c = getState();
            if (c == 0) {
                if (compareAndSetState(0, acquires)) {
                    setExclusiveOwnerThread(current);
                    return true;
                }
            }
            else if (current == getExclusiveOwnerThread()) {
                int nextc = c + acquires;
                if (nextc < 0) // overflow
                    throw new Error("Maximum lock count exceeded");
                setState(nextc);
                return true;
            }
            return false;
        }

由于ReentrantLock默认是非公平锁的情况，我们来看非公平锁TryAcquire的实现逻辑；首先会判断state是否=0，在线程0获取到锁的时候，state值就已经被改为1，此处判断不成立，来到else逻辑，再判断独占线程是否是当前线程，如果是，则state+1此时便实现了可重入的逻辑；当然此时exclusiveOwnerThread是线程0，并不是当前线程(线程1)，所以此返回false，继续向后面执行，来到acquireQueued(addWaiter(Node.EXCLUSIVE), arg)方法；我们先到addWaiter方法中看看做了什么事情；

1.方法new了一个node对象，即当前线程(线程1)对应了node对象Node@688
2.tail为null，赋值给前驱节点pred，所以首尾节点都为null，
3.if条件不成立，进入enq方法

这个enq方法中完成队列的初始化与当前节点Node@688的入队，
1.第一次循环tail为null，进入if条件中，通过CAS把构建了一个头节点Node@698，同时把头节点赋值给了尾节点，即节点Node@698既是头节点也是尾节点；

此时情况如下：

2.第二次循环，tail节点已经有值了，来到else里的逻辑，把t节点赋值给了当前入参节点Node@688，的前驱节点，通过CAS把Node@688节点设置成t节点(Node@698)的tail节点，随后推出enq方法，此时情况如下:

addWaiter执行完成以后，来到acquireQueued方法，这也是个死循环，
1.先获取当前线程1对应的Node节点的前驱节点，也就是头节点；明显if中第一个条件满足，但是第二个方法会返回false，前面已经看过，这里就不再点进去看了，所以不满足第一个if，来到第二个if条件，进入shouldParkAfterFailedAcquire方法


不满足第一个if条件，会走到else中把当前node节点的waitStatus修改为-1；
2.随后第二次循环，就会满足条件返回true，表示当前线程应该被挂起

走到parkAndCheckInterrupt中后，线程1就被挂起

我们来看线程2的情况，线程2的执行逻辑与线程1大体相同，也会走到入对的逻辑中

会把线程2对应的节点加到线程1的节点后

情况如下：

随后走到此处。线程2也被挂起

我们回到线程0查看执行情况：获取到锁后应执行业务代码，随后释放锁，唤醒队列中的其他线程；

我们来看看释放锁与唤醒的逻辑：


此处释放锁的逻辑就不再赘述，代码也很简单；重要的是唤醒的逻辑：

最终会走到此处，把线程1唤醒

唤醒后，判断判断前驱节点是不是头节点，看我们上面的示例图，明显是满足的，随后重新获取锁成功：

线程获取到锁后1执行业务代码：

随后释放锁，唤醒线程2，获取锁执行业务代码，释放锁的逻辑也与前面一致，就不再展开；