【并发与多线程】AQS

【并发与多线程】synchronized

---

AQS介绍

AQS，即Abstract Queued Synchronizer（队列同步器），它是Java并发用来构建锁和其他同步组件的基础框架（如ReentrantLock、ReentrantReadWriteLock、Semaphore等）。
AQS是一个抽象类，主是是以继承的方式使用。AQS本身是没有实现任何同步接口的，它仅仅只是定义了同步状态的获取和释放的方法来供自定义的同步组件的使用。

AQS实现原理

如果被请求的共享资源未被占用，将当前请求资源的线程设置为独占线程，并将共享资源设置为锁定状态，AQS 使用一个 Volatile 修饰的 int 类型的成员变量 State 来表示同步状态，修改同步状态成功即为获得锁。Volatile 保证了变量在多线程之间的可见性，修改 State 值时通过 CAS 机制来保证修改的原子性。如果共享资源被占用，需要一定的阻塞等待唤醒机制来保证锁的分配，AQS 中会将竞争共享资源失败的线程添加到一个FIFO先进先出的队列中。

AQS 中的队列是虚拟双向队列，通过将每条请求共享资源的线程封装成一个节点来实现锁的分配

AQS中的等待队列拥有以下特性：
1.AQS 中队列是个双向链表，也是 FIFO 先进先出的特性；
2.通过 Head、Tail 头尾两个节点来组成队列结构，通过 volatile 修饰保证可见性；
3.Head 指向节点为已获得锁的节点，是一个虚拟节点，节点本身不持有具体线程；
4.获取不到同步状态，会将节点进行自旋获取锁，自旋一定次数失败后会将线程阻塞，相对于 CLH 队列性能较好。

AQS内部执行流程：

（1）公平锁 FairSync：
1.公平锁是指多个线程按照申请锁的顺序来获取锁，线程直接进入队列中排队，队列中的第一个线程才能获得锁；
2.公平锁的优点是等待锁的线程不会饿死。缺点是整体吞吐效率相对非公平锁要低，等待队列中除第一个线程以外的所有线程都会阻塞，CPU 唤醒阻塞线程的开销比非公平锁大。

（2）非公平锁 NonfairSync：
1.非公平锁是多个线程加锁时直接尝试获取锁，获取不到才会到等待队列的队尾等待。但如果此时锁刚好可用，那么这个线程可以无需阻塞直接获取到锁；
2.非公平锁的优点是可以减少唤起线程的开销，整体的吞吐效率高，因为线程有几率不阻塞直接获得锁，CPU 不必唤醒所有线程。缺点是处于等待队列中的线程可能会饿死，或者等很久才会获得锁。

AQS应用

（1）countDownLatch
同步辅助器，允许一个或多个线程一直等待，直到一组在其他线程执行的操作全部完成。

public CountDownLatch(int count) {
	if (count < 0) throw new IllegalArgumentException("count < 0");
	this.sync = new Sync(count);
}

每次子线程执行完毕之后调用countDown()方法给计数器-1，主线程调用await()方法后会被阻塞，直到最后计数器变为0，await()方法返回，执行完毕。他和join()方法的区别就是join会阻塞子线程直到运行结束，而CountDownLatch可以在任何时候让await()返回，而且用ExecutorService没法用join了，相比起来，CountDownLatch更灵活。
CountDownLatch基于AQS实现，volatile变量state维持倒数状态，多线程共享变量可见。
CountDownLatch通过构造函数初始化传入参数实际为AQS的state变量赋值，维持计数器倒数状态
当主线程调用await()方法时，当前线程会被阻塞，当state不为0时进入AQS阻塞队列等待。
其他线程调用countDown()时，state值原子性递减，当state值为0的时候，唤醒所有调用await()方法阻塞的线程

（2）cyclicBarrier（回环屏障）
一组线程会互相等待，直到所有线程都到达同一个同步点。（就像一群人被困到了一个栅栏前面，只有等最后一个人到达之后，他们才可以合力把栅栏（屏障）突破。）

public CyclicBarrier(int parties) {
    this(parties, null);
}
public CyclicBarrier(int parties, Runnable barrierAction) {
    if (parties <= 0) throw new IllegalArgumentException();
    this.parties = parties;
    this.count = parties;
    this.barrierCommand = barrierAction;
}

第一个构造的参数，指的是需要几个线程一起到达，才可以使所有线程取消等待。第二个构造，额外指定了一个参数，用于在所有线程达到屏障时，优先执行 barrierAction。

（3）semaphore（信号量）
Semaphore 信号量，用来控制同一时间，资源可被访问的线程数量，一般可用于流量的控制。（打个比方，现在有一段公路交通比较拥堵，那怎么办呢。此时，就需要警察叔叔出面，限制车的流量。）

对比：
1.CountDownLatch 是一个线程等待其他线程， CyclicBarrier 是多个线程互相等待。
2.CountDownLatch 的计数是减 1 直到 0，CyclicBarrier 是加 1，直到指定值。
3.CountDownLatch 是一次性的， CyclicBarrier 可以循环利用。
4.CyclicBarrier 可以在最后一个线程达到屏障之前，选择先执行一个操作。
5.Semaphore 需要拿到许可才能执行，并可以选择公平和非公平模式。

synchronized & Lock

（1）synchronized是jvm层面的，是一个关键字，lock是jdk层面的，是一个接口，有丰富的api；
（2）synchronized是不可中断的，lock可中断；
（3）synchronized会自动释放锁，lock必须手动释放；
（4）lock可以知道线程有没有获取到锁，synchronized不行；
（5）synchronized可以锁住方法和代码块，lock只能锁住代码块；
（6）lock可以用读锁提高多线程读效率；
（7）synchronized是非公平锁，reentranlock可以设置为公平锁。