【多线程】源码级理解AQS（长文预警）

想要深入了解ReentrantLock、CountDownLatch、Semaphore等并发包中的各种锁机制么？那么少不了理解AQS这个抽象类，一句话来说，AQS就是通过维护一个volatile的state变量以及一个FIFO等待队列来实现

前提预警

1.本文基于ReentrantLock的非公平锁实现机制，公平锁和非公平锁的区别并不大，会在稍后的博客中介绍

2.本文并不分析共享模式和Condition条件

3.AQS的实现十分巧妙，值得打开源码深深品味一番

AQS的整体结构

public abstract class AbstractQueuedSynchronizer
  extends AbstractOwnableSynchronizer
    implements java.io.Serializable {
   
    //将线程包装成一个个Node加入等待队列
    static final class Node {
   
		。。。。//
	}
    // 以下为双向链表的首尾结点，代表入口等待队列，所以FIFO是一个双向链表
    private transient volatile Node head;
    private transient volatile Node tail;
    // 共享变量 state，核心属性，关于它的枚举值下文分析
    private volatile int state;
    // 对state进行CAS操作，确保线性安全
    protected final boolean compareAndSetState(int expect, int update) {
   
        // See below for intrinsics setup to support this
        return unsafe.compareAndSwapInt(this, stateOffset, expect, update);
    }
    // ...
 }

其实也就这么多东西嘛！？看样子也不是很多（doge，那么它的原理结构图如下

谈谈Node的结构

想要进一步了解线程是如何争锁，如何释放锁，就必须要先了解Node的结构，让我们打开源码一看究竟

static final class Node {
   
    //标志当前节点是在共享模式下，本文阐述独占锁，所以暂时用不到
    static final Node SHARED = new Node();
   //标志当前节点是独占模式
    static final Node EXCLUSIVE = null;
    //由于超时或中断，节点已被取消，不在参与争锁
    static final int CANCELLED =  1;
     //其表示SIGNAL的后继节点对应的线程需要被唤醒，
     //如果结点为 SIGNAL,则其释放锁或取消后，可以通过 unpark 唤醒下一个节点
     //同时节点阻塞（park）必须在其前驱结点为 SIGNAL 的状态下才能进行
    static final int SIGNAL    = -1;
    //条件变量，本文不详细阐述
    static final int CONDITION = -2;
     //表示后续结点会传播唤醒的操作，共享模式下起作用
    static final int PROPAGATE = -3;

     //等待状态：对于condition节点，初始化为CONDITION；
     //其它情况，默认为0，通过CAS操作原子更新
    volatile int waitStatus;
    //前驱节点
    volatile Node prev;
    //后继节点
    volatile Node next;
    //当前Node包装的线程
    volatile Thread thread;
    
    Node nextWaiter;

    final boolean isShared() {
   
        return nextWaiter == SHARED;
    }
    //这些方法会在下文中用到再讲到
    final Node predecessor() throws NullPointerException {
   
        Node p = prev;
        if (p == null)
            throw new NullPointerException();
        else
            return p;
    }

    Node() {
       // Used to establish initial head or SHARED marker
    }

    Node(Thread thread, Node mode) {
        // Used by addWaiter
        this.nextWaiter = mode;
        this.thread = thread;
    }
    Node(Thread thread, int waitStatus) {
    // Used by Condition
        this.waitStatus = waitStatus;
        this.thread = thread;
    }
}