面试题——AQS

AQS 原理（AbstractQueuedSynchronizer）

  AQS的原理是：当某个线程请求资源时，如果资源是空闲的，就将这个请求线程设为有效的工作线程，并将这个资源设为锁定状态；如果资源已经被占用了，就将这个线程放到 CLH 队列中，CLH 队列是一个先进先出的双向队列，它将线程封装为 CLH 队列的节点来进行锁分配。AQS 维护了一个 volatile 修饰的状态信息 state，如果 state 为 0，表示资源没有被占用，否则就表示资源被占用了，它通过 CAS 机制的原子操作来对 state 进行修改。

AQS的应用

  基于AQS实现的同步器有：ReentranLock、ReentrantReadWriteLock、CountDownLatch、Semaphore、FutureTask。AQS支持独占锁，比如ReentranLock。还支持共享锁，比如CountDownLatch、Semaphore。在AQS中维护了一个 volatile 修饰的状态信息 state，对于ReentranLock，state表示当前线程获取锁的可重入次数；对于CountDownLatch，state表示当前计数器的值；对于Semaphore，state表示当前可用信号的个数。
  

AQS 底层使用了模板方法模式

  自定义同步器时首先继承 AbstractQueuedSynchronizer 并重写 AQS 提供的模板方法，比如重写 tryAcquire 方法和 tryRelease 方法，以 ReentrantLock 为例，在AQS底层维护了一个 volatile 修饰的状态信息 state，首先 state 初始化为0，表示未锁定状态。A线程占有资源时，会调用 tryAcquire() 方法独占该锁并将 state+1。此后，其他线程再 tryAcquire() 时就会失败，直到A线程释放锁，state 变为0，其它线程才有机会获取该锁。释放锁之前，A线程自己是可以重复获取这个锁的，每重入一次，state 就累加一次，获取多少次就要释放多么次，保证 state 能回到零态。再以 CountDownLatch 为例，主线程调用 await 方法被阻塞，等待 n 个子线程执行完才能继续执行，然后 state 也初始化为 n，这 n 个子线程并行执行，每个线程执行完后都会调用一次 countDown 方法，该方法会通过 CAS 机制使 state 减一。等到所有子线程执行完后，state 就等于0了，然后主线程继续执行。