零 前期准备

0 FBI WARNING

文章异常啰嗦且绕弯。

1 版本

JDK 版本 : OpenJDK 11.0.1

IDE : idea 2018.3

2 ReentrantLock 简介

ReentrantLock 是 jdk 中经典的高性能重用锁，作为基础组件经常能在 jdk 的其它并发框架中看到。

笔者希望能够通过这次代码阅读弄懂 AbstractQueueSynchronizer 和 ReentrantLock 的基本构造。

本文特指非公平锁的代码实现，对于公平锁暂不做详解。

注意，ReentrantLock 在 jdk11 中相比 jdk8 (这样做比较是因为 jdk8 是目前工作中最常用的版本) 有了一些代码上的改变，笔者认为代码更加精简了，但是具体性能没有做过实战测试和系统比较。

3 Demo

import java.util.concurrent.TimeUnit;
import java.util.concurrent.locks.ReentrantLock;public class LockDemo {//创建一个 lockprivate ReentrantLock lock = new ReentrantLock();public void demo(){//上锁lock.lock();//打印当前线程的线程名System.out.println(Thread.currentThread().getName());//让线程休眠十秒，在此期间线程不会交出锁，所以其它调用该方法的线程都会阻塞try {TimeUnit.SECONDS.sleep(10);} catch (InterruptedException e) { }//释放锁lock.unlock();}//main 方法public static void main(String[] args) {LockDemo demo = new LockDemo();//创建两个线程来调用同一个 demo 实例对象，就能看出锁的作用了new Thread(new LockDemoRunner(demo)).start();new Thread(new LockDemoRunner(demo)).start();}
}//Runnable 实现类，用于创建线程对象
class LockDemoRunner implements Runnable{//多个线程对象公用一个 demo 的实例private LockDemo lockDemo;//构造器LockDemoRunner(LockDemo demo){ lockDemo = demo;}@Overridepublic void run() {lockDemo.demo();}
}

一 Sync

先来看一下 ReentrantLock 的默认构造器：

//ReentrantLock.class
public ReentrantLock() {sync = new NonfairSync();
}

再来看一下 ReentrantLock 的加锁和解锁方法：

//ReentrantLock.class
public void lock() {sync.acquire(1);
}//ReentrantLock.class
public void unlock() {sync.release(1);
}

可以发现，ReentrantLock 的逻辑主要由 sync 对象实现。

而 sync 则是一个 NonfairSync 类型的对象。NonfaireSync 是 ReentrantLock 的静态内部类：

//ReentrantLock.class
static final class NonfairSync extends Sync {private static final long serialVersionUID = 7316153563782823691L;//此方法用于尝试去获取锁//tryAcquire(...) 本来是 AbstractQueuedSynchronizer 中的方法，此处为重写protected final boolean tryAcquire(int acquires) {return nonfairTryAcquire(acquires);}
}

其实 NonfairSync 的主要逻辑在其父类 Sync 中实现。Sync 同样也是 ReentrantLock 的静态内部类。

Sync 中比较重要的是两个分别用于加解锁的方法：

//Sync.class
//此方法用于加锁
@ReservedStackAccess
final boolean nonfairTryAcquire(int acquires) {//获取当前线程的线程实例对象final Thread current = Thread.currentThread();//获取锁的状态//c 的初始状态值为 0，意思是还未上锁int c = getState();if (c == 0) {//compareAndSetState(...) 方法是 AbstractQueuedSynchronizer 中非常重要的方法//用以更新锁状态//此处的 acquires = 1if (compareAndSetState(0, acquires)) {//保存线程对象setExclusiveOwnerThread(current);return true;}} else if (current == getExclusiveOwnerThread()) {//如果当前线程就是正在执行的线程，则将目前的状态值 status 与 acquires 相加，保存为新的 statusint nextc = c + acquires;//逻辑上此处是不会为负数的，只用于严谨逻辑if (nextc < 0)throw new Error("Maximum lock count exceeded");setState(nextc);return true;}return false;
}

另一个方法：

//Sync.class
//此方法用于尝试解锁
@ReservedStackAccess
protected final boolean tryRelease(int releases) {int c = getState() - releases;//如果当前线程并不是正在执行的线程，则没有权限去解锁，会直接报错if (Thread.currentThread() != getExclusiveOwnerThread())throw new IllegalMonitorStateException();boolean free = false;if (c == 0) {free = true;//锁解开之后将保存的当前线程对象置空setExclusiveOwnerThread(null);}//此处更新状态值setState(c);return free;
}

Sync 中的其它方法主要用于状态判断，都比较简单，不再累述。

二 AbstractQueuedSynchronizer

AbstractQueuedSynchronizer 是 jdk 中用来构建同步组件的框架类，是 Sync 的父类。

之前解析 ThreadPoolExecutor 的内部类 Worker 的时候也初步了解过。

在上述探索 Sync 的过程中用到了很多此类中的方法。所以对用到的方法做一个追踪。

1 status

AbstractQueuedSynchronizer 中最重要的一个状态控制变量是 status，它代表锁目前是被使用还是空闲：

//AbstractQueuedSynchronizer.class
private volatile int state;

获取和存入 status 的值：

//AbstractQueuedSynchronizer.class
protected final int getState() {return state;
}
//AbstractQueuedSynchronizer.class
protected final void setState(int newState) {state = newState;
}

以上的 set/get 方法都很简单和常规，但是实际上 status 的存值主要使用该类中的另一个方法：

//AbstractQueuedSynchronizer.class
protected final boolean compareAndSetState(int expect, int update) {//compareAndSet(...) 这个方法在使用 AtomicInteger 的时候接触过，但是此处的 STATE 并不是 AtomicInteger//STATE 是一个定义在 AbstractQueuedSynchronizer 中的 VarHandle 类型的变量//VarHandle 是 jdk9 中新增的一个并发工具，目前网上对此工具的分析比较少//基本能判断的是，此工具的作用与 AtomicXXXX 工具类很类似，能提供原子化的操作，并在一定程度上替代 Unsafe//此方法用于先比较该实例对象中的 status 是否与第二个参数的值相等，如果是，则将 status 替换成第三个参数的值，返回 true//如果不相等，就不进行替换，并返回 falsereturn STATE.compareAndSet(this, expect, update);
}

VarHandler 的实例化也比较神奇，可以做一下了解：

//定义的是 static 对象，可以被反复利用，而不是 AtomicXXXX 的模式了
private static final VarHandle STATE;
private static final VarHandle HEAD;
private static final VarHandle TAIL;static {try {//VarHandler 的实例化工厂MethodHandles.Lookup l = MethodHandles.lookup();//实例化的时候将类 class、参数的名称、参数的类型 传入，就可以创建一个指向此参数的 VarHandler 实例对象了STATE = l.findVarHandle(AbstractQueuedSynchronizer.class, "state", int.class);HEAD = l.findVarHandle(AbstractQueuedSynchronizer.class, "head", Node.class);TAIL = l.findVarHandle(AbstractQueuedSynchronizer.class, "tail", Node.class);} catch (ReflectiveOperationException e) {throw new ExceptionInInitializerError(e);}//LockSupport 是一个服务于锁的静态工具类Class<?> ensureLoaded = LockSupport.class;
}

2 Node

AbstractQueuedSynchronizer 有一个静态内部类 Node，本质上是一个双向链表的节点对象。

同时 AbstractQueuedSynchronizer 还有两个 Node 节点对象：

//双向链表的头结点
private transient volatile Node head;
//双向链表的尾节点
private transient volatile Node tail;

每个 Node 节点对象的内部储存有一个 Thread 对象，即为等待执行的线程的实例化对象：

//Node.class
//此为 Node 的构造方法，传入的 nextWaiter 即为该节点的后一个节点
Node(Node nextWaiter) {this.nextWaiter = nextWaiter;//THREAD 是一个 VarHandler 对象，用于将线程对象存入当前节点中//注意，当前线程被存入了当前的 Node，而不是下一个 NodeTHREAD.set(this, Thread.currentThread());
}

再来看一个增加 Node 的方法：

//AbstractQueuedSynchronizer.class
private Node addWaiter(Node mode) {//此时当前线程对象已经被存入 node 对象中Node node = new Node(mode);//比较见名知意，所以不展开细讲了，只稍微提及//这个 for 循环用于将 node 对象添加到链表的尾部，代替掉之前的 tail 对象//有一种特殊情况，即 oldTail 是 null，则代表着该链表其实是空的，没有任何节点//这种情况下调用 initializeSyncQueue() 方法初始化链表，即此时 node 对象既是头节点也是尾节点for (;;) {Node oldTail = tail;if (oldTail != null) {node.setPrevRelaxed(oldTail);if (compareAndSetTail(oldTail, node)) {oldTail.next = node;return node;}} else {initializeSyncQueue();}}
}

3 lock

来看 ReentrantLock 的加锁方法：

//ReentrantLock.class
public void lock() {sync.acquire(1);
}

acquire(...) 方法在 AbstractQueuedSynchronizer 中实现：

//AbstractQueuedSynchronizer.class
public final void acquire(int arg) {//此处的判断条件处，会先调用 tryAcquire(...) 方法去尝试获取锁的使用权//如果获取成功，此处 tryAcquire(...) 方法会返回 true，那么 !tryAcquire(...) = false，此方法会直接结束//如果获取失败，此时 !tryAcquire(...) = true，进入 acquireQueued(...) 方法//在执行 acquireQueued(...) 方法之前，会先执行 addWaiter(...) 方法，此时当前线程已经被存入尾部节点中//Node.EXCLUSIVE 是一个 null 对象if (!tryAcquire(arg) &&acquireQueued(addWaiter(Node.EXCLUSIVE), arg))//selfInterrupt() 会中断当前线程，使得线程处于等待被唤醒的状态selfInterrupt();
}

再来追踪一下 acquireQueued(...) 方法：

//AbstractQueuedSynchronizer.class
final boolean acquireQueued(final Node node, int arg) {//在本例中此时传入的 node 是链表的尾节点，且是存储了当前线程的节点对象//arg = 1boolean interrupted = false;try {for (;;) {//获取当前节点的前一个节点final Node p = node.predecessor();//如果 p 节点是头节点，且当前线程尝试获取锁的使用权成功//则让当前节点成为头节点，并删去原先的头节点(即 p 节点)if (p == head && tryAcquire(arg)) {setHead(node);p.next = null;return interrupted;}//shouldParkAfterFailedAcquire(...) 方法会根据 node 的前一节点的状态来判断该节点是否要被挂起或者唤醒//parkAndCheckInterrupt(...) 内部会调用 unsafe 的相关方法挂起节点if (shouldParkAfterFailedAcquire(p, node))interrupted |= parkAndCheckInterrupt();}} catch (Throwable t) {cancelAcquire(node);if (interrupted)selfInterrupt();throw t;}
}

由此可见，当前节点 node 的最终处理方式是由其的前一节点的状态来确定的。Node 内置了几种状态值：

//CANCELLED 代表该节点处于取消状态，该节点不会执行了
static final int CANCELLED =  1;
//SIGNAL 代表该节点的下一节点处于阻塞状态，会之后被执行
static final int SIGNAL    = -1;
//CONDITION 代表该节点处于阻塞状态
static final int CONDITION = -2;
//PROPAGATE 代表共享状态
static final int PROPAGATE = -3;
//还有一种状态 0，即为节点的初始状态

了解了状态之后再来看 shouldParkAfterFailedAcquire(...) 方法：

//AbstractQueuedSynchronizer.class
private static boolean shouldParkAfterFailedAcquire(Node pred, Node node) {//获取 node 节点的前节点的状态int ws = pred.waitStatus;//如果是 SIGNAL，直接返回 true，然后 node 节点会进入被挂起if (ws == Node.SIGNAL)return true;//状态值大于 0，只可能是 CANCELLED 状态，即此节点已经被废弃了if (ws > 0) {//不断往前遍历，将中间被废弃的节点全部剔除出链表中do {node.prev = pred = pred.prev;} while (pred.waitStatus > 0);pred.next = node;} else {//如果状态值并非 CANCELLED 或者 SIGNAL，在这里会将状态值修改成 SIGNALpred.compareAndSetWaitStatus(ws, Node.SIGNAL);}//只要 pred 的状态值不为 SIGNAL，都会返回 falsereturn false;
}

shouldParkAfterFailedAcquire(...) 方法和 parkAndCheckInterrupt(...) 方法共同作用，对不符合的节点进行剔除，对符合要求的节点进行挂起操作。

这样一来节点所封装的线程也就进入了阻塞队列中，等待被锁唤醒。

4 unlock

回到 ReentrantLock 的解锁代码：

//ReentrantLock.class
public void unlock() {sync.release(1);
}

release(...) 在 AbstractQueuedSynchronizer 中实现：

//AbstractQueuedSynchronizer.class
public final boolean release(int arg) {//此处的 tryRelease(...) 是 Sync 中重写之后的方法，具体看上述 Sync 的实现//此方法修改了当前锁的状态值if (tryRelease(arg)) {Node h = head;if (h != null && h.waitStatus != 0)unparkSuccessor(h);return true;}return false;
}

代码和上一 part 的比较类似，重点来看一下 unparkSuccessor(...) 方法：

//AbstractQueuedSynchronizer.class
private void unparkSuccessor(Node node) {//获取 node 的状态值int ws = node.waitStatus;//如果状态值为 SIGNAL、CONDITION、PROPAGATE 的话就会转成 0if (ws < 0)node.compareAndSetWaitStatus(ws, 0);//获取 node 的下一节点 sNode s = node.next;//如果 s 节点不存在，或者已经被废弃了，就会一直轮询，找到一个符合条件的if (s == null || s.waitStatus > 0) {s = null;for (Node p = tail; p != node && p != null; p = p.prev)if (p.waitStatus <= 0)s = p;}//将 s 节点激活//注意此处的 s 节点为 node 的下一个能够被使用的节点if (s != null)LockSupport.unpark(s.thread);
}

unparkSuccessor(...) 方法的核心是选择符合要求的下一节点，并将其所代表的线程对象从挂起状态唤醒。

注意，此处展示的是非公平锁的逻辑。非公平锁讲求先到先得，会依次唤醒线程并执行代码块。公平锁则一次性唤醒所以线程并进行一次公平争夺。

三 LockSupport

1 park

LockSupport 的 park(...) 方法用于挂起线程：

//LockSupport.class
public static void park(Object blocker) {//获取当前线程对象Thread t = Thread.currentThread();//blocker 在本例中即为锁对象本身，setBlocker(...) 方法主要是做一下记录，此线程是被谁阻塞了setBlocker(t, blocker);//挂起线程U.park(false, 0L);//当线程执行到这句代码的时候，说明线程已经从挂起状态被唤醒了//所以这里可以清空掉记录setBlocker(t, null);
}

继续追踪 setBlocker(...) 方法：

//LockSupport.class
private static void setBlocker(Thread t, Object arg) {//putObject(...) 方法会把一个对象存到指定的地址处//此例的 t 是当前的线程对象，PARKBLOCKER 是一个 long 类型的内存地址，arg 是锁对象本身U.putObject(t, PARKBLOCKER, arg);
}

可以看到，park(...) 方法和 setBlocker(...) 方法都是调用了 U 对象的相关方法。

U 对象是一个 Unsafe 实例：

//LockSupport.class
private static final Unsafe U = Unsafe.getUnsafe();

Unsafe 的 park(...) 方法用于挂起线程，putObject(...) 方法用于存入对象。

2 unpark

//LockSupport.class
public static void unpark(Thread thread) {//唤醒线程if (thread != null)U.unpark(thread);
}

四 一点唠叨

总结一下重入锁的业务逻辑：

1 当第一个线程进入到锁区域(即调用 lock() 方法)的时候，会被锁记录为当前线程，并且修改锁的状态值2 当有其它线程进入到该代码块，但是锁的状态值并不是初始值(即之前的线程未释放锁资源)的时候，线程会被封装成节点并存入到链表的末尾，然后被挂起3 之前的线程释放锁资源(即调用 unlock() 方法)的时候，锁会去遍历内部的链表，唤醒下一个符合要求的线程(特指非公平锁)

---

本文仅为个人的学习笔记，可能存在错误或者表述不清的地方，有缘补充。