JAVA中的锁-队列同步器

1.1 基础概念

1、队列同步器（AbstractQueuedSynchronizer），用来构建锁或者其他同步组件的基础框架
2、它使用了一个int成员变量表示同步状态，通过内置的FIFO队列来完成资源获取线程的排队工作。
3、同步器的主要使用方式是继承，子类通过继承同步器并实现它的抽象方法来管理同步状态，在抽象方法的实现过程中对同步状态进行更改。
4、同步器是实现锁（也可以是任意同步组件）的关键，在锁的实现中聚合同步器，利用同步器实现锁的语义。

1.2 同步器与锁的关系

1、锁是面向使用者的，它定义了使用者与锁交互的接口（比如可以允许两个线程并行访问），隐藏了实现细节。
2、同步器面向的是锁的实现者，它简化了锁的实现方式，屏蔽了同步状态管理、线程的排队、等待与唤醒等底层操作。
3、锁和同步器很好地隔离了使用者和实现者所需关注的领域。

1.3 队列同步器的接口与示例

重写同步器指定的方法时，需要使用同步器提供的如下3个方法来访问或修改同步状态。

getState()：获取当前同步状态。
setState(int newState)：设置当前同步状态。
compareAndSetState(int expect,int update)：使用CAS设置当前状态，该方法能够保证状态设置的原子性

同步器提供的模板方法基本上分为3类：

   独占式获取与释放同步状态: 在同一时刻只能有一个线程获取到锁，而其他获取锁的线程只能处于同步队列中等待，只有获取锁的线程释放了锁，后继的线程才能够获取锁
   共享式获取与释放同步状态
   查询同步队列中的等待线程