JUC——AQS实现原理

介绍

AQS的全称为AbstractQueuedSynchronizer，也就是抽象队列同步器，位于java.util.concurrent.locks包下

它是一个抽象类，本身已经提供了许多的基础功能，我们可以通过继承它来很方便的实现自定义的同步器

基本架构图

这是AQS基本的架构图，涵盖了AQS大部分基础的功能，并对各方法进行了大概的分类整理

下面来对AQS各个层级做一个简单的介绍:

1. Api层第一部分，该层主要定义了资源加锁及释放锁的入口，而且针对不同场景提供了不同的加锁方式，子类只需要在继承AQS后调用它提供好的方法，即可实现基本的同步功能。
2. Api层第二部分，具体的加锁释放锁逻辑，AQS定义方法，由子类去继承实现。AQS层面只需要关心加锁或释放锁是否成功，它会根据结果来执行后续操作，至于具体的加锁或释放锁的过程，AQS并不关心，这部分完全由实现者随意发挥。(注意：使用了模板方法设计模式，子类不实现该方法就使用AQS加锁会抛出异常)
3. 锁获取方法层，该层主要定义了获取锁失败后的操作，一般是会加入同步队列自旋获取锁，直到获取锁成功或者取消中断获取锁
4. 队列方法层，提供了队列的许多辅助判断方法
5. 排队方法层，该层只要提供了队列的操作方法，像节点入队，队列节点唤醒等等
6. 数据层，这里定义了AQS的几个属性，AQS通过这几个属性实现了资源加锁及同步队列的功能

原理概述

个人理解，简单来讲，AQS本质就是个用来实现资源同步器的基础组件。

在资源空闲时，允许线程去获取它，且在成功后将资源设置为被占用的状态；在资源被占用时，提供一定的阻塞等待唤醒机制来保证资源的后续分配。

其实也就是需要一个标识字段，用于判断当前资源是否已经被占用，未被占用时，线程可以去占用它。再加一个队列，用于在资源被占用时，可以让其他请求的线程进行排队获取。

下面列出了AQS源码中的关键属性

public abstract class AbstractQueuedSynchronizer extends AbstractOwnableSynchronizer implements Serializable {
    private static final long serialVersionUID = 7373984972572414691L;

    protected AbstractQueuedSynchronizer() {
    }

    //头节点指针
    private transient volatile Node head;
    //尾节点指针
    private transient volatile Node tail;
    //同步状态值
    private volatile int state;
    //自旋时间(单位:纳秒)
    static final long spinForTimeoutThreshold = 1000L;

    private static final Unsafe unsafe = Unsafe.getUnsafe();
    //状态值偏移量
    private static final long stateOffset;
    //头节点偏移量
    private static final long he