AQS的设计思想是通过继承的方式提供一个模板让大家可以很容易根据不同场景实现一个富有个性化的同步器。同步器的核心是要管理一个共享状态,通过对状态的控制即可以实现不同的锁机制。AQS的设计必须考虑把复杂重复且容易出错的队列管理工作统一抽象出来管理,并且要统一控制好流程,而暴露给子类调用的方法主要就是操作共享状态的方法,以此提供对状态的原子性操作。一般子类的同步器中使用AQS提供的getState、setState、compareAndSetState三个方法,前两个为普通的get和set方法,要使用这两个方法必须要保证不存在数据竞争,compareAndSetState方法提供了CAS方式的硬件级别的原子更新。对于独占模式而言,锁获取与释放的流程的定义则交给acquire和release两个方法,它们定义了锁获取与释放的逻辑,同时也是提供给子类获取和释放锁的接口。它的执行逻辑可以参考前面的“锁的获取与释放”,它提供了一个怎样强大的模板?由下面的伪代码可以清晰展示出来,请注意tryAcquire和tryRelease这两个方法,它就是留给子类实现个性化的方法,通过这两个方法对共享状态的管理可以自定义多种多样的同步器,而队列的管理及流程的控制则不是你需要考虑的问题。

① 锁获取模板

if(tryAcquire(arg)) {

    创建node

    使用CAS方式把node插入到队列尾部

    while(true){

    if(tryAcquire(arg) 并且 node的前驱节点为头节点){

把当前节点设置为头节点

    跳出循环

}else{

    使用CAS方式修改node前驱节点的waitStatus标识为signal

    if(修改成功)

        挂起当前线程 

}

}

② 锁释放模板

    if(tryRelease(arg)){

唤醒后续节点包含的线程

}





我们可以认为同步器可实现任何不同锁的语义,一般提供给使用者的锁是用AQS框架封装实现的更高层次的实现,提供一种更加形象的API让使用者使用起来更加方便简洁,而不是让使用者直接接触AQS框架,例如,ReentrantLock、Semphore、CountDownLatch等等,这些不同的形象的锁让你使用起来更好理解更加得心应手,而且不容易混淆。然而这些锁都是由AQS实现,AQS同步器面向的是线程和状态的控制,定义了线程获取状态的机制及线程排队等操作,很好地隔离了两者的关注点,高层关注的是场景的使用,而AQS同步器则关心的是并发的控制。假如你要实现一个自定义同步装置,官方推荐的做法是将集成AQS同步器的子类作为同步装置的内部类,而同步装置中相关的操作只需代理成子类中对应的方法即可。往下用一个简单的例子看看如何实现自己的锁,由于同步器被分为两种模式,独占模式和共享模式,所以例子也对应给出。





① 独占模式,独占模式采取的例子是银行服务窗口,假如某个银行网点只有一个服务窗口,那么此银行服务窗口只能同时服务一个人,其他人必须排队等待,所以这种银行窗口同步装置是一个独占模型。第一个类是银行窗口同步装置类,它按照推荐的做法使用一个继承AQS同步器的子类实现,并作为子类出现。第二个类是测试类,形象一点地说,有三位良民到银行去办理业务,分别是tom、jim和jay,我们使用BankServiceWindow就可以约束他们排队,一个一个轮着办理业务而避免陷入混乱的局面。

public class BankServiceWindow {

private final Sync sync;

public BankServiceWindow() {

sync = new Sync();

}

private static class Sync extends AbstractQueuedSynchronizer {

public boolean tryAcquire(int acquires) {

if (compareAndSetState(0, 1)) {

setExclusiveOwnerThread(Thread.currentThread());

return true;

}

return false;

}

protected boolean tryRelease(int releases) {

if (getState() == 0)

throw new IllegalMonitorStateException();

setExclusiveOwnerThread(null);

setState(0);

return true;

}

}

public void handle() {

sync.acquire(1);

}

public void unhandle() {

sync.release(1);

}

}





public class BankServiceWindowTest {

   public static void main(String[] args){

   final BankServiceWindow bankServiceWindow=new BankServiceWindow();

   Thread tom=new Thread(){

   public void run(){

   bankServiceWindow.handle();

   System.out.println("tom开始办理业务");

   try {

   this.sleep(5000);

   } catch (InterruptedException e) {

   e.printStackTrace();

   }

   System.out.println("tom结束办理业务");

   bankServiceWindow.unhandle();

   }

   };

   Thread jim=new Thread(){

   public void run(){

   bankServiceWindow.handle();

   System.out.println("jim开始办理业务");

   try {

   this.sleep(5000);

   } catch (InterruptedException e) {

   e.printStackTrace();

   }

   System.out.println("jim结束办理业务");

   bankServiceWindow.unhandle();

   }

   };

   Thread jay=new Thread(){

   public void run(){

   bankServiceWindow.handle();

   System.out.println("jay开始办理业务");

   try {

   this.sleep(5000);

   } catch (InterruptedException e) {

   e.printStackTrace();

   }

   System.out.println("jay结束办理业务");

   bankServiceWindow.unhandle();

   }

   };

   tom.start();

   jim.start();

   jay.start();

    }

}

输出结果如下:

tom开始办理业务

tom结束办理业务

jim开始办理业务

jim结束办理业务

jay开始办理业务

jay结束办理业务

明显tom、jim、jay仨是排队完成的,但是无法保证三者的顺序,可能是tom、jim、jay,也可能是tom、jay、jim,因为在入列以前的执行先后是无法确定的,它的语义是保证一个接一个办理。如果没有同步器限制的情况,输出结果将不可预测,可能为输出如下:

jim开始办理业务

jay开始办理业务

tom开始办理业务

jay结束办理业务

jim结束办理业务

tom结束办理业务





② 共享模式,共享模式采取的例子同样是银行服务窗口,随着此网点的发展,办理业务的人越来越多,一个服务窗口已经无法满足需求,于是又分配了一位员工开了另外一个服务窗口,这时就可以同时服务两个人了,但两个窗口都有人占用时同样也必须排队等待,这种服务窗口同步器装置就是一个共享型。第一个类是共享模式的同步装置类,跟独占模式不同的是它的状态的初始值可以自由定义,获取与释放就是对状态递减和累加操作。第二个类是测试类,tom、jim和jay再次来到银行,一个有两个窗口甚是高兴,他们可以两个人同时办理了,时间缩减了不少。

public class BankServiceWindows {

private final Sync sync;

public BankServiceWindows(int count) {

sync = new Sync(count);

}

private static class Sync extends AbstractQueuedSynchronizer {

Sync(int count) {

setState(count);

}

public int tryAcquireShared(int interval) {

for (;;) {

int current = getState();

int newCount = current - 1;

if (newCount < 0 || compareAndSetState(current, newCount)) {

return newCount;

}

}

}

public boolean tryReleaseShared(int interval) {

for (;;) {

int current = getState();

int newCount = current + 1;

if (compareAndSetState(current, newCount)) {

return true;

}

}

}

}





public void handle() {

sync.acquireShared(1);

}





public void unhandle() {

sync.releaseShared(1);

}





}





public class BankServiceWindowsTest {

public static void main(String[] args){

final BankServiceWindows bankServiceWindows=new BankServiceWindows(2);

Thread tom=new Thread(){

public void run(){

bankServiceWindows.handle();

System.out.println("tom开始办理业务");

try {

this.sleep(5000);

} catch (InterruptedException e) {

e.printStackTrace();

}

System.out.println("tom结束办理业务");

bankServiceWindows.unhandle();

}

};

Thread jim=new Thread(){

public void run(){

bankServiceWindows.handle();

System.out.println("jim开始办理业务");

try {

this.sleep(5000);

} catch (InterruptedException e) {

e.printStackTrace();

}

System.out.println("jim结束办理业务");

bankServiceWindows.unhandle();

}

};

Thread jay=new Thread(){

public void run(){

bankServiceWindows.handle();

System.out.println("jay开始办理业务");

try {

this.sleep(5000);

} catch (InterruptedException e) {

e.printStackTrace();

}

System.out.println("jay结束办理业务");

bankServiceWindows.unhandle();

}

};

tom.start();

jim.start();

jay.start();

}

}

可能的输出结果为:

tom开始办理业务

jay开始办理业务

jay结束办理业务

tom结束办理业务

jim开始办理业务

jim结束办理业务

tom和jay几乎同时开始办理业务,而jay结束后有空闲的服务窗口jim才过来。

这节主要讲的是如何使用AQS构建自己的同步器,并且剖析了锁获取与释放的模板的逻辑,让你更好理解AQS的实现,最后分别给出了独占模式和共享模式的同步器实现的例子,相信你们搞清楚这两种方式的实现后,要构建更加复杂的同步器就知道力往哪里使了。

喜欢研究java的同学可以交个朋友,下面是本人的微信号:

Java并发框架——AQS之如何使用AQS构建同步器的更多相关文章

  1. Java并发框架AbstractQueuedSynchronizer(AQS)

    1.前言 本文介绍一下Java并发框架AQS,这是大神Doug Lea在JDK5的时候设计的一个抽象类,主要用于并发方面,功能强大.在新增的并发包中,很多工具类都能看到这个的影子,比如:CountDo ...

  2. 深入理解Java并发框架AQS系列(一):线程

    深入理解Java并发框架AQS系列(一):线程 深入理解Java并发框架AQS系列(二):AQS框架简介及锁概念 一.概述 1.1.前言 重剑无锋,大巧不工 读j.u.c包下的源码,永远无法绕开的经典 ...

  3. 深入理解Java并发框架AQS系列(二):AQS框架简介及锁概念

    深入理解Java并发框架AQS系列(一):线程 深入理解Java并发框架AQS系列(二):AQS框架简介及锁概念 一.AQS框架简介 AQS诞生于Jdk1.5,在当时低效且功能单一的synchroni ...

  4. 深入理解Java并发框架AQS系列(四):共享锁(Shared Lock)

    深入理解Java并发框架AQS系列(一):线程 深入理解Java并发框架AQS系列(二):AQS框架简介及锁概念 深入理解Java并发框架AQS系列(三):独占锁(Exclusive Lock) 深入 ...

  5. java并发编程 | 锁详解:AQS,Lock,ReentrantLock,ReentrantReadWriteLock

    原文:java并发编程 | 锁详解:AQS,Lock,ReentrantLock,ReentrantReadWriteLock 锁 锁是用来控制多个线程访问共享资源的方式,java中可以使用synch ...

  6. java并发编程笔记(六)——AQS

    java并发编程笔记(六)--AQS 使用了Node实现FIFO(first in first out)队列,可以用于构建锁或者其他同步装置的基础框架 利用了一个int类型表示状态 使用方法是继承 子 ...

  7. 【死磕Java并发】-----J.U.C之AQS:CLH同步队列

    此篇博客全部源代码均来自JDK 1.8 在上篇博客[死磕Java并发]-–J.U.C之AQS:AQS简单介绍中提到了AQS内部维护着一个FIFO队列,该队列就是CLH同步队列. CLH同步队列是一个F ...

  8. Java 并发系列之十:java 并发框架(2个)

    1. Fork/Join框架 2. Executor框架 3. ThreadPoolExecutor 4. ScheduledThreadPoolExecutor 5. FutureTask 6. t ...

  9. 深入理解Java并发框架AQS系列(三):独占锁(Exclusive Lock)

    一.前言 优秀的源码就在那里 经过了前面两章的铺垫,终于要切入正题了,本章也是整个AQS的核心之一 从本章开始,我们要精读AQS源码,在欣赏它的同时也要学会质疑它.当然本文不会带着大家逐行过源码(会有 ...

  10. 【死磕Java并发】—–J.U.C之AQS(一篇就够了)

    [隐藏目录] 1 独占式 1.1 独占式同步状态获取 1.2 独占式获取响应中断 1.3 独占式超时获取 1.4 独占式同步状态释放 2 共享式 2.1 共享式同步状态获取 2.2 共享式同步状态释放 ...

随机推荐

  1. [HNOI2012]射箭

    Description 沫沫最近在玩一个二维的射箭游戏,如下图 1 所示,这个游戏中的 x 轴在地面,第一象限中有一些竖直线段作为靶子,任意两个靶子都没有公共部分,也不会接触坐标轴.沫沫控制一个位于( ...

  2. Conjugate

    1.1Conjugate问题描述在不存在的 noip day3 里,小 w ⻅到了一堆堆的谜题.比如这题为什么会叫共轭?他并不知道答案.有 n 堆谜题,每堆有 a i 个,小 w 每次从剩下的谜题中选 ...

  3. bzoj 5289: [Hnoi2018]排列

    Description Solution 首先注意到实际上约束关系构成了一棵树 考虑这个排列 \(p\),编号为 \(a[i]\) 的出现了,\(i\) 才可以出现 那么如果连边 \((a[i],i) ...

  4. noip模拟题-赛斯石

    题目背景 白露横江,水光接天,纵一苇之所如,凌万顷之茫然.--苏轼 真程海洋近来需要进购大批赛斯石,你或许会问,什么是赛斯石? 首先我们来了解一下赛斯,赛斯是一个重量单位,我们用sisi作为其单位.比 ...

  5. ●BOZJ 1927 [Sdoi2010]星际竞速

    题链: http://www.lydsy.com/JudgeOnline/problem.php?id=1927 题解: 显然是个DAG 建图和有向图最小路径覆盖的建图有些相似. 都是拆点为 u u' ...

  6. hdu 5667 BestCoder Round #80 矩阵快速幂

    Sequence  Accepts: 59  Submissions: 650  Time Limit: 2000/1000 MS (Java/Others)  Memory Limit: 65536 ...

  7. [UOJ UR #4追击圣诞老人]

    来自FallDream的博客,未经允许,请勿转载, 谢谢. 传送门 考虑直接维护一个堆,然后往里面丢链,并且取出k个堆顶就行了. 然后就需要分类讨论啥的,给你的三个点变成两条链,每次取出一条链之后选择 ...

  8. [hdu2167]Pebbles

    来自FallDream的博客,未经允许,请勿转载,谢谢. 给定一个方阵,你要取出一些数字,满足没有两个格子八联通相邻的前提下和最大,求这个和 n<=15 插头dp,保存轮廓线以及目前转移点左上方 ...

  9. linux 下文件误删恢复

    linux 下文件误删恢复 0x01 事件背景 某天晚上写代码的时候,本来想删除当前目录下一个叫xxx的文件夹 rm -rdf ./xxx/*, 结果光顾着和人说话,一不留神手贱把命令敲成了rm -r ...

  10. SpringCloud学习之Ribbon

    一.负载均衡与Ribbon 负载均衡,在集群中是很常见的一个“名词”,顾名思义是根据一定的算法将请求分摊至对应的服务节点上,常见的算法有如下几种: 轮询法:所有请求被依次分发到每台应用服务器上,每台服 ...