对于AQS的理解

1、JUC包中的 CountDownLatch、CyclicBarrier、ReentrantLock和Semaphore都是基于AQS(AbstractQuenedSynchronizer)实现的

在ReentrantLoc这个组件里，state表示获取锁的线程数，假如state=0，表示还没有线程获取锁，1表示有线程获取了锁。大于1表示重入锁的数量。

继承：子类通过继承并通过实现它的方法管理其状态（acquire和release方法操纵状态）。

可以同时实现排它锁和共享锁模式（独占、共享），站在一个使用者的角度，AQS的功能主要分为两类：独占和共享。它的所有子类中，要么实现并使用了它的独占功能的api，要么使用了共享锁的功能，而不会同时使用两套api，即便是最有名的子类ReentrantReadWriteLock也是通过两个内部类读锁和写锁分别实现了两套api来实现的

 

2、AQS底层实现了一个FIFO的队列。底层的数据结构是一个双向链表;

 

3、AQS核心思想

如果被请求的共享资源空闲，则将当前请求资源的线程设置为有效的工作线程，并且将共享资源设置为锁定状态。如果被请求的共享资源被占用，那么就需要一套线程阻塞等待以及被唤醒时锁分配的机制，这个机制AQS是用CLH队列锁实现的，即将暂时获取不到锁的线程加入到队列中。

4、CLH队列(FIFO)

                                          

 

 

CLH队列是一个虚拟队列，没有队列实例只有节点与节点之间的关系。

 

AQS使用一个int成员变量来表示同步状态，通过内置的FIFO队列来完成获取资源线程的排队工作。AQS使用CAS对该同步状态进行原子操作实现对其值的修改。

 

当一个线程尝试获取锁失败后，就会把失败信息封装成一个node节点尝试加入这个同步队列。因为可能有多个线程都想加入队列尾部，所以加入队列是采用了cas + volatile。

加入队列后获取锁的操作：队列里面的节点会观察pre节点即前置节点的状态，如果是不是头结点就会阻塞，如果前面一个节点是头结点就会被唤醒一直循环尝试获取锁。

 

5、VarHandle

 

varHandle是jdk9之后加入的，handle的意思是句柄，VARHandle指的就是引用变量指向具体对象的那个引用

                                                               

varHandle可以直接给变量赋值，并且做一些原子操作

public class Demo {
    int x = 10;
    private static VarHandle varHandle;

    static {
        try {
            varHandle = MethodHandles.lookup().findVarHandle(Demo.class, "x", int.class);
        } catch (NoSuchFieldException e) {
            e.printStackTrace();
        } catch (IllegalAccessException e) {
            e.printStackTrace();
        }
    }

    public static void main(String[] args) {
        Demo demo = new Demo();

        //获取变量值
        System.out.println((int)varHandle.get(demo));

        //为变量赋值
        varHandle.set(demo, 1);
        System.out.println(demo.x);

        //进行原子操作
        varHandle.getAndAdd(demo,3);
        System.out.println(demo.x);
    }
}