同步器的设计是基于模板方法模式的,重写同步器指定的方法时,需要使用同步器提供的如下3个方法来访问或修改同步状态。
- getState() 获取当前同步状态
- setState() 设置当前同步状态
- compareAndSetState(int expect, int update) 使用CAS设置当前状态,该方法能够保证状态设置的原子性。
同步器可重写的方法
方法名称 |
描述 |
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) |
acquireSharedInterruptibly(int arg)基础上增加了超时机制 |
boolean release(int arg) |
独占式释放同步状态,该方法会在释放同步状态之后,将同步队列中第一个节点包含的线程唤醒 |
boolean releaseShared(int arg) |
共享式的释放同步状态 |
Collection getQueuedThreads() |
获取等待在同步队列上的线程集合 |
参考资料
深入分析AQS实现原理