队列同步器AbstractQueuedSynchronizer是用来构建锁或者其他同步组件的基础框架,它
使用一个int变量表示同步状态,通过内置的FIFO队列来完成资源获取线程的排队工作。
同步器的主要使用方式是继承。通过继承实现抽象方法来管理同步状态。同步器提供的3种和状态有关的方法(getState()、setStates(int new State)和compareAndSetState(int expect,int update)).子类推荐被定义为自定义同步组件的静态内部类。同步器没有实现任何同步接口,仅仅是定义了若干同步状态获取和释放的方法来供自定义组件使用。
同步器是实现锁的关键,在锁实现中聚合同步器,利用同步器实现锁的语义。
队列同步器的接口
基于模板方法模式。
使用者需要继承同步器并重写指定方法,随后将同步器组合在自定义同步组件的实现中,并调用同步器提供的模板方法,而这些模板将会调用使用者重写的方法。
访问或修改同步状态
getStates()
setState(int newState)
compareAndSetState(int expect,int update)
继承同步器可重写的方法
protected boolean tryAcquire(int arg) 独占式获取同步状态,实现该方法需要查询当前状态并判断同步状态是否符合预期,然后再进行CAS设置同步状态
protected boolean tryRelease(int arg) 独占式释放同步状态,等待获取同步状态的线程将有机会获取同步状态
protected int tryAcquireShared(int arg) 共享式获取同步状态,返回大于等于0的值,表示获取成功,反之,获取失败
protected boolean tryReleaseShared(int arg) 共享式释放同步状态
protected boolean isHeldExclusively() 当前同步器是否在独占模式下呗线程占用,一般该方法表示是否被当前线程所独占
实现自定义同步组件,将会调用
同步器提供的模板方法,如下:
void acquire(int arg) 该方法将会调用重写的tryAcquire(int arg)方法
void acquireInterruptibly(int arg) 与acquire(int arg)相同,但是该方法响应中断,当前线程未获取到同步状态而进入同步队列中,如果当前线程被中断,则该方法会抛出InterruptedException并返回
boolean tryAcquireNanos(int arg,long nanos) 在acquireInterruptibly(int arg)基础上增加了超时限制,如果当前线程在超时时间内并没有获取到同步状态,那么将会返回false,如果获取到了返回true
void acquireShared(int arg) 共享式的获取同步状态,如果当前线程未获取到同步状态,将会进入同步队列等待,与独占式获取的主要区别是在同一时刻可以有多个线程获取到同步状态
void acquireSharedInterruptibly(int arg) 与acquireShared(int arg)相同,该方法响应中断
boolean tryAcquireSharedNanos(int arg,long nanos) 在void acquireSharedInterruptibly(int arg)基础上增加了时间限制
boolean release(int arg) 独占式地释放同步状态
boolean releaseShared(int arg) 共享式的释放同步状态
Collection<Thread> getQueuedThreads() 获取等待在同步队列上的线程集合