AQS是一个基于FIFO队列,用于构建阻塞锁或者同步器的框架。AQS原理就是:如果请求的共享资源空闲,那么将请求资源的线程设置为有效线程,将共享资源设置为锁定的状态;如果请求的资源正在被占用,那么就需要一套线程阻塞等待唤醒时刻锁分配的机制,这个机制AQS是基于CLH队列锁实现的,将暂时获取不到资源的线程加入到队列中。CLH队列是一个虚拟的双向队列,只存在节点之间的关联关系,AQS将每个请求共享资源的线程封装到CLH所队列的节点中来实现锁的分配。
AQS使用一个int类型的变量表示同步状态,用volatile修饰,表示线程之间可见,通过CAS操作来实现对值的更改,三种访问state变量的方式,getState(),setState()和compareAndSetState()。
AQS对资源的获取方式分为两种,Exclusive独占:只有一个线程可以执行,如ReentrantLock,又分为公平锁和非公平锁。
公平锁:线程按照队列中的顺序,先到的先拿锁。
非公平锁:线程不按照顺序,谁先抢到谁拿锁。
Share共享:多个线程可以同时执行。如Semaphore、CountDownLatch。
自定义同步器在实现时只需要实现共享资源state的获取和释放,同步器的设计是基于模板方法模式的。 AQS的子类需要重写指定方法,自定义同步器需要重写AQS的这么几个模板方法:
isHeldExclusively():线程是否正在独占资源
tryAcquire(int):独占方式获取资源,成功返回true,失败返回false。
tryRelease(int):独占方式释放资源,成功返回true,失败返回false。
tryAcquireShared(int):共享方式获取资源,负数表示失败;0表示成功,没有剩余可获取的资源,正数表示成功,有剩余可获取的资源。
tryReleaseShared(int):共享方式释放资源,true表示成功,false表示失败。
一般来说,自定义的同步器要么是独占方式,要么是共享方式,只需要实现tryAcquire-tryRelease-tryAcquireShare-tryReleaseShare一种即可,但AQS也支持自定义同步器同时实现独占和共享两种方式,如ReentrantReadWriteLock。