AbstractQueuedSynchronizer(AQS)

本文参考:
Java并发之AQS详解

抽象队列同步器,提供一套多线程访问共享资源的同步器框架。
它维护了一个双向链表形式的队列,封装好了对队列的入队、出队、节点的状态、原子性等操作,同时抽象了一些方法,让子类实现。如获取资源、释放资源的具体方式。子类继承父类,重写了这些方法,就可以实现不同的同步方式。


框架

image.png

节点包含:线程实例、线程等待状态、前驱指针、后继指针
AQS包含:头指针head、尾指针tail、一个int类型的state(资源)

资源:多线程竞争的资源,获取到资源的线程,获取不到的线程进入等待队列,直到资源可用。
对于ReentrantLock,资源就是0/1,互斥;
对于Semaphore/CountDownLatch,资源为设定的N,共享。
state的访问方式有三种:getState()/setState()/compareAndSetState()

不同的自定义同步器争用共享资源的方式不同。自定义同步器在实现时只需要实现共享资源state的获取与释放方式即可,至于具体线程等待队列的维护(如获取资源失败入队/唤醒出队等),AQS已经在顶层实现好了。自定义同步器实现时主要实现以下几种方法:

  • isHeldExclusively():该线程是否正在独占资源。只有用到condition才需要去实现它。
  • tryAcquire(int):独占方式。尝试获取资源,成功则返回true,失败则返回false。
  • tryRelease(int):独占方式。尝试释放资源,成功则返回true,失败则返回false。
  • tryAcquireShared(int):共享方式。尝试获取资源。负数表示失败;0表示成功,但没有剩余可用资源;正数表示成功,且有剩余资源。
  • tryReleaseShared(int):共享方式。尝试释放资源,如果释放后允许唤醒后续等待结点返回true,否则返回false。

源码

  1. acquire-release
  2. acquireShared-releaseShared

acquire(int)

该方法是独占模式下获取资源的入口。整个过程忽略中断。


image.png

基本流程是:
1)尝试获取资源
2)如果获取成功,则直接返回,如果获取失败,则入队
3)入队之后,线程总是要执行,所以,不断检查自己能否获得资源,不能获得就被park
4)在成功获取资源之后,再检查中断状态,如果被中断了,则自我中断。

tryAcquire

image.png

尝试获取资源,具体怎么获取交给子类去实现。这里只提供一个接口。

addWaiter

image.png

首先,构造一个新的节点,参数是当前线程,因为是谁执行到这里,获取不到资源,谁就要进入等待队列。
然后就是入队。先尝试能否快速入队,也就是直接把新node设置为tail,采用CAS操作,如果成功,那么操作完成;如果失败,比如过程中tail节点被改变了,也就是多线程下有其他线程抢先成为tail,那么就从尾部开始尝试成为新的tail。

enq

image.png

enq是不断尝试tail指向的节点是否被改变,如果没有改变,就加在后面成为新的tail。如果改变就重试。

入队完成之后,接下来就要找事给线程做,或者让线程等着。

acquireQueued

image.png

首先看,该方法主体是个死循环,只有@1一个出口,该出口的条件是:前驱是head且获取到了资源,这意味着前驱释放了资源,并且唤醒了自己,所以将自己设为head节点,释放掉原有的head,返回中断标志。
如果不满足这个条件,那么线程就出不了这个循环。

@2:两个方法的语义是,在线程不满足条件的情况下,判断是否让线程park,条件是所有的前驱节点中是否有waitStatus为SIGNAL的节点,好让它被排到队之后通知自己。如果可以park,那么park进入等待状态,只有unpark和中断可以唤醒。

shouldParkAfterFailedAcquire

image.png

过程见注释。

parkAndCheckInterrupt

image.png

线程被park之后,只有unpark可以唤醒,且能够响应中断。
此处就是在线程被唤醒或中断之后,检测是否是被中断了。

acquire结束,流程图为:


image.png
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 206,214评论 6 481
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 88,307评论 2 382
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 152,543评论 0 341
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 55,221评论 1 279
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 64,224评论 5 371
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 49,007评论 1 284
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 38,313评论 3 399
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 36,956评论 0 259
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 43,441评论 1 300
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 35,925评论 2 323
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 38,018评论 1 333
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 33,685评论 4 322
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 39,234评论 3 307
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 30,240评论 0 19
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 31,464评论 1 261
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 45,467评论 2 352
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 42,762评论 2 345

推荐阅读更多精彩内容