AQS实现原理
在java.util.concurrent包中,我们经常会使用ReentrantLock,CyclicBarrier等工具类,但是我们往往对其内部的实现原理却并不知晓。
本篇文章主要对上述工具类的核心实现AQS进行剖析,分析原理可以让我们学习到大神的代码设计思维。
文章将从一下几个方面分析:
1.AQS是什么?
AbstractQueuedSynchronizer类就是我们通常说的AQS,抽象的队列同步器。
其实我们学过操作系统原理都知道,所谓的同步,指的是多线程场景下通过某种机制,保证某段代码执行是线程独享的,
我们把这段代码叫同步块,而把这种机制叫同步。
在JAVA中,传统的方式是使用synchronized关键字来实现同步,那么其底层是基于C++实现的ObjectMonitor。
今天我们讨论的AQS是JDK1.5之后,提供的一个能实现同步功能的抽象类。
通过该类的注释,我们可以了解到其内部采用了FIFO队列的数据结构来实现,互斥场景的资源申请和释放的实现如下所示:
Acquire: while (!tryAcquire(arg)) { enqueue thread if it is not already queued; possibly block current thread; } Release: if (tryRelease(arg)) unblock the first queued thread;
而tryAquire()和tryRelease()方法都是需要子类去实现的。
换句话说,如果要使用AQS,那么只需要继承,然后实现如下方法来自定义资源获取和释放的逻辑就行了。
FIFO队列的节点使用内部类Node来描述:
static final class Node { // 节点状态 volatile int waitStatus; // 上一个节点 volatile Node prev; // 下一节点 volatile Node next; // 需要排队的线程 volatile Thread thread; }
其他代码我先省略。
public abstract class AbstractQueuedSynchronizer extends AbstractOwnableSynchronizer implements java.io.Serializable { // 双向链表头节点 private transient volatile Node head; // 双向链表为节点 private transient volatile Node tail; // 资源 private volatile int state; }
2.申请互斥资源的源码分析。
2.1 分析acquire()方法的逻辑
public final void acquire(int arg) { if (!tryAcquire(arg) && acquireQueued(addWaiter(Node.EXCLUSIVE), arg)) selfInterrupt(); }
tryAcuire()方法可以理解成获取资源,由子类实现,我们不关注。
我把代码写成下面这样,可能好理解一些:
public final void acquire(int arg) { if(tryAcquire(arg)) { return; } Node n = addWaiter(Node.EXCLUSIVE); if(acquireQueued(n, arg)) selfInterrupt(); }
public final void acquire(int arg) { // 如果获取资源成功,直接返回 if(tryAcquire(arg)) { return true; } // 未获取到资源,将自己封装成一个node添加到队列尾部 Node n = addWaiter(Node.EXCLUSIVE); // 有点复杂,下面慢慢分析 if(acquireQueued(n, arg)) { // 自我中断 先不关注。 selfInterrupt(); } }
起码,我们应该知道一点,该方法一旦返回了,那么就意味着可以进入同步块代码执行了。
2.2 分析addWaiter()方法
private Node addWaiter(Node mode) { // 以互斥模式创建一个node,waitStatus是0 Node node = new Node(Thread.currentThread(), mode); // 其实该段代码跟下面的enq方法差不多 Node pred = tail; // 如果该队列已经有为节点 if (pred != null) { // 当前node上一个node指向为尾节点 node.prev = pred; // cas修改尾节点 if (compareAndSetTail(pred, node)) { pred.next = node; return node; } } // 死循环保证添加成功 enq(node); return node; } private Node enq(final Node node) { for (;;) { Node t = tail; if (t == null) { // Must initialize // 如果当前队列没有节点,创建一个虚拟节点作为头和尾,该节点的thread == null, waitStatus是0 // 通过cas操作保证只有一个线程修改成功 if (compareAndSetHead(new Node())) tail = head; } else { node.prev = t; if (compareAndSetTail(t, node)) { t.next = node; return t; } } } }
其实上述方法就是保证了并发情况下node一定能正确加入到node中,而且如果是空链表,会增加一个虚拟的head节点。
图解一下:
(创建head虚拟节点)
将新节点指向tail
通过cas操作修改tail指向新节点
如果修改成功,将修改前的tail的next指向新节点
2.3 分析aquireQueued方法
// 看这个方法的时候我建议不要关注其中的临时变量 // 我们只要知道,这个方法里面有个死循环,不管怎样,只有return了,才能执行业务中定义的同步代码块。 final boolean acquireQueued(final Node node, int arg) { boolean failed = true; try { boolean interrupted = false; for (;;) { final Node p = node.predecessor(); if (p == head && tryAcquire(arg)) { setHead(node); p.next = null; // help GC failed = false; // 唯一的返回点 return interrupted; } if (shouldParkAfterFailedAcquire(p, node) && parkAndCheckInterrupt()) interrupted = true; } } finally { if (failed) cancelAcquire(node); } } // 我把代码改写成下面这样 可能会好理解一些 final boolean acquireQueued(final Node node, int arg) { boolean failed = true; try { boolean interrupted = false; for (;;) { final Node p = node.predecessor(); // 只有前继节点是head的时候具有获取资源的资格,如果获取成功则直接将当前node设置成head if (p == head && tryAcquire(arg)) { // 可能在排队后未阻塞前执行,也可能在阻塞被唤醒后执行 setHead(node); p.next = null; // help GC failed = false; // 唯一的返回点 return interrupted; } // 判断是否该阻塞自己 if (!shouldParkAfterFailedAcquire(p, node)){ continue; } // 进行阻塞,并且在被唤醒之后返回线程的中断状态 if(!parkAndCheckInterrupt()) { continue; } interrupted = true; } } finally { // 先别关注。 if (failed) cancelAcquire(node); } }
总之,一旦该方法返回了,就意味着线程获取资源成功了。
下面图解获取资源成功后,做的修改:
当然这里的waitStatus不一定是0。
2.4 分析shouldParkAfterFailedAcquire()方法
private static boolean shouldParkAfterFailedAcquire(Node pred, Node node) { int ws = pred.waitStatus; // 如果上一节点状态是-1,直接返回true if (ws == Node.SIGNAL) // 返回,并触发外层阻塞线程 return true; if (ws > 0) { // 如果上一个节点状态大于0,其实就是1表示被取消了 // 往前找waitStatus正常的节点 do { node.prev = pred = pred.prev; } while (pred.waitStatus > 0); pred.next = node; } else { // cas修改上一个节点为状态为-1 compareAndSetWaitStatus(pred, ws, Node.SIGNAL); } // 返回进入下一个循环 return false; }
其实逻辑很简单,就是修改自己的prev指向往前寻找的有效节点,并在阻塞前,将prev指向的有效节点waitStatus设置为-1。
问题来了?这个代码没有并发问题吗?
do { node.prev = pred = pred.prev; } while (pred.waitStatus > 0); pred.next = node;
答案是没有并发问题,因为每个节点都是往前寻找,理论上讲每个线程遍历的节点不一样。
我们来图解一下这个循环修改的过程:
假设线程A(waitStatus = 0),线程B(waitStatus = 1),线程C(waitStatus = 0 为当前线程)
下图标识了循环往前探测并修改引用关系
下图就是修改了pred节点的waitStatus = -1 (下一次循环到来的时候)
此时中间线程B的节点其实没有引用再指向他了。
如果成功修改线程A的waitStatus为-1之后,下一次循环到来,该方法就返回了true,线程就阻塞了。
其实看到这里,我们可以将虚拟的head节点就当做是正在使用资源的线程表示(个人观点哈)。
互斥资源申请的源码分析就结束了。
做一个小总结:
public final void acquire(int arg) { // 如果争抢资源成功直接返回直接业务的同步代码块 if (tryAcquire(arg)) { return; } // 循环+cas保证向队列中添加当前线程的node成功 Node n = addWaiter(Node.EXCLUSIVE); // 死循环,争抢资源,或者阻塞,或者唤醒之后继续争抢资源,直到抢资源成功后返回。 if(acquireQueued(n, arg)) { selfInterrupt(); } // 未被中断的抢到资源 }
3.释放互斥资源的源码分析。
我们直接分析release()方法:
public final boolean release(int arg) { if (tryRelease(arg)) { // 一旦释放资源,此处就需要考虑并发问题了 Node h = head; // head节点是虚拟节点,不可能是取消状态所以这里的判断可以理解为 // 头结点不为空而且头结点的waitStatus = -1执行unparkSuccessor方法 if (h != null && h.waitStatus != 0) unparkSuccessor(h); // h == null 或者 h.waitStatus = 0说明没有后继节点需要唤醒, // 如果此时正好head后面一个node正在试图修改head的状态改成-1是能改成功的 // 但是由于之前分析的acquireQueued方法是一个死循环,哪怕head被修改成-1, // 但是由于该循环会先抢锁所以也就不存在线程改了状态会park的问题。 // h == null说明并无线程参与竞争 return true; } return false; }
其实关键就是unparkSuccessor()方法
private void unparkSuccessor(Node node) { // 进入该方法说明资源已经被释放了。 int ws = node.waitStatus; // 如果ws小于0,修改为0 if (ws < 0) compareAndSetWaitStatus(node, ws, 0); // 传入node就是head // s指向head下一节点 Node s = node.next; // 如果没有后继节点说明有线程已经抢到资源 // 如果后继节点被取消了 if (s == null || s.waitStatus > 0) { // 假设没有节点需要唤醒 s = null; // 从后往前找,找到距离head最近的节点唤醒 for (Node t = tail; t != null && t != node; t = t.prev) if (t.waitStatus <= 0) s = t; } if (s != null) LockSupport.unpark(s.thread); }
其实执行该方法的时候是存在并发的情况的。
我理解这个地方从后往前找是为啥呢?能不能从前往后找?
这个问题,我也不知道。。。。