如何介绍AQS

AQS是抽象队列同步器，我们可以通过继承AQS抽象类，然后实现一个自己的多线程同步的工具，然后去替代synchronized，或者说实现一些自己的同步需求。

AQS是多线程同步器，它是JUC包中多个组件的底层实现，比如说像lock、countdownlatch、Semaphore都用到了AQS， 从本质上来说AQS提供了两种锁的机制，分别是排他锁和共享锁。

排他锁：存在多个线程去竞争同一共享资源的时候，同一个时刻只允许一个线程去访问这样一个共享资源，也就是说多个线程中只能有一个线程去获得这样一个锁的资源，比如lock中的ReentrantLock重入锁，它的一个实现就是用到了AQS中的一个排他锁的功能。

共享锁：也称为读锁，就是在同一个时刻允许多个线程同时获得一个锁的资源，比如CountDownLatch、Semaphore，都用到了AQS中共享锁的功能。

AQS作为互斥锁需要解决三个核心的问题：

1.互斥变量的设计，以及如何保证多线程同时更新互斥变量的时候，线程的安全性。

2.未竞争到锁资源的线程的等待以及竞争到锁的资源释放锁之后的唤醒

3.锁竞争的非公平性和公平性，

问题1解决：AQS采用了一个int类型的互斥变量state用来记录锁竞争的一个状态，0表示当前没有任何线程竞争到锁资源，而大于等于1表示已经有线程正在持有锁资源，一个线程来获取锁资源的时候，首先会判断state是否等于0，也就是锁他是否是无锁状态，如果是则把这个state更新为1，表示占用到锁，而这个过程中，如果多个线程同时去做这样一个操作，就会导致线程安全性问题，因此AQS采用了CAS机制，去保证AQS互斥变量更新的一个原子性。

问题2解决：未获得到锁的线程，通过Unsafe类中的park方法去进行阻塞，把阻塞的线程按照先进先出的原则，去加入到一个双向链表的一个结构中，当获得锁资源的线程释放锁之后，会从双向链表的头部，去唤醒下一个等待的线程，再去竞争锁。

问题3解决：公平锁的处理方式：在竞争锁资源的时候，公平锁需要去判断双向链表中是否有阻塞的线程，如果有需要去排队等待。非公平锁的处理方式：不管双向链表是否存在等待竞争锁的线程，他都会直接去尝试更改互斥变量state去竞争锁，假设在一个临界点，获得锁的线程释放锁，此时state为0，而当前的线程去抢占锁的时候，正好可以把state修改成1，那么这个时候就表示它可以拿到锁，而这个过程是非公平的。