共计 9395 个字符，预计需要花费 24 分钟才能阅读完成。
零 前期准备
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 {
// 创建一个 lock
private 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;}
@Override
public 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 = 1
if (compareAndSetState(0, acquires)) {
// 保存线程对象
setExclusiveOwnerThread(current);
return true;
}
} else if (current == getExclusiveOwnerThread()) {
// 如果当前线程就是正在执行的线程，则将目前的状态值 status 与 acquires 相加，保存为新的 status
int 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
// 如果不相等，就不进行替换，并返回 false
return 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，而不是下一个 Node
THREAD.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 = 1
boolean 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，在这里会将状态值修改成 SIGNAL
pred.compareAndSetWaitStatus(ws, Node.SIGNAL);
}
// 只要 pred 的状态值不为 SIGNAL，都会返回 false
return 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 的话就会转成 0
if (ws < 0)
node.compareAndSetWaitStatus(ws, 0);
// 获取 node 的下一节点 s
Node 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() 方法) 的时候，锁会去遍历内部的链表，唤醒下一个符合要求的线程(特指非公平锁)
本文仅为个人的学习笔记，可能存在错误或者表述不清的地方，有缘补充。
