摘要:原文地址深入浅出之独占锁模式深入浅出之共享锁模式深入浅出之条件队列前面三篇文章如果之前没有基础的话看起来会比较吃力,这篇文章说明一下的基础知识,方便快速了解。当前节点由于超时或者中断被取消,节点进入这个状态以后将保持不变。
之前分析了AQS中的独占锁,共享锁,条件队列三大模块,现在从结构上来看看AQS各个组件的情况。
原文地址:http://www.jianshu.com/p/49b8...
深入浅出AQS之独占锁模式
深入浅出AQS之共享锁模式
深入浅出AQS之条件队列
前面三篇文章如果之前没有AQS基础的话看起来会比较吃力,这篇文章说明一下AQS的基础知识,方便快速了解AQS。
首先AQS的基本执行过程就是尝试获取锁,成功则返回,如果失败就进入同步队列进行锁资源的等待。基于这个流程可以看出队列跟队列中的节点应该是两个重点。
首先来看下AQS里队列节点Node的结构:
该类中有五个字段,依次来看一下:
prev,next:指向它的前置节点跟后继节点,由此看出AQS中的同步队列是个双向链表。
thread:当前线程对象。
waitStatus:当前节点的状态,是个int类型变量,依次有如下几种:
值 | 类型 | 说明 |
---|---|---|
-1 | SIGNAL | 当前节点的后继节点被阻塞,因此当当前节点在释放或者取消的时候需要唤醒它的后继节点。 |
1 | CANCELLED | 当前节点由于超时或者中断被取消,节点进入这个状态以后将保持不变。注:这是唯一大于0的值,很多判断逻辑会用到这个特征 |
-2 | CONDITION | 当前节点正处在条件队列中,在条件达成前不能获取锁。 |
-3 | PROPAGATE | 当前节点获取到锁的信息需要传递给后继节点,共享锁模式使用该值。 |
0 | 无 | 节点初始状态。 |
nextWaiter:如果当前节点是共享模式,该值会指向一个SHARE节点。如果当前节点是在条件队列中,则该值会指向下一个等待条件的节点。
了解了Node节点的数据结构以后,看下独占锁模式下的同步队列的结构:
注:head节点是new出来一个新的Node节点,而tail是直接指向队列中最后一个节点。
了解了独占锁模式队列以后,看下共享锁模式下的同步队列(注意对比其中的不同):
注:共享锁跟独占锁是同一个同步队列,也就是说同步队列中的节点既可以是共享类型也可以是独占类型。
除了独占锁跟共享锁使用的同步队列,还有一个很重要的队列就是条件队列,一起看下:
注意区分条件队列跟同步队列的区别:1、头尾指针,2、单链表
搞明白了AQS中这些基础的数据结构以后,最后再看下AQS对外提供的API:
独占锁模式:
方法名 | 说明 |
---|---|
acquire | 独占模式获取锁,不响应中断,如果发生中断只会把当前线程的中断状态设置为true |
acquireInterruptibly | 独占模式获取锁,如果在获取锁的过程中线程被中断,则直接抛出中断异常 |
release | 释放锁资源 |
共享锁模式:
方法名 | 说明 |
---|---|
acquireShared | 共享模式获取锁,不响应中断,如果发生中断只会把当前线程的中断状态设置为true |
acquireSharedInterruptibly | 共享模式获取锁,如果在获取锁的过程中线程被中断,则直接抛出中断异常 |
releaseShared | 释放锁资源 |
条件队列:
方法名 | 说明 |
---|---|
await | 阻塞等待条件,如果被中断则抛出中断异常 |
awaitUninterruptibly | 阻塞等待条件,不响应中断,如果发生中断只会把线程中断状态设置为true |
awaitNanos | 等待纳秒时间,如果被中断则抛出中断异常 |
awaitUntil | 等待直到一个截止时间,如果被中断则抛出中断异常 |
await(long time, TimeUnit unit) | 等待一个指定时间,如果被中断则抛出中断异常 |
signal | 唤醒等待队列中的第一个节点 |
signalAll | 唤醒等待队列中的所有节点 |
扩展API:
方法名 | 说明 |
---|---|
tryAcquire | 尝试获取独占锁,不阻塞 |
tryAcquireNanos | 尝试在指定纳秒时间内获取独占锁,如果被中断则抛出中断异常 |
tryRelease | 尝试释放独占锁,不阻塞 |
tryAcquireShared | 尝试获取共享锁,不阻塞 |
tryAcquireSharedNanos | 尝试在指定纳秒时间内获取共享锁,如果被中断则抛出中断异常 |
tryReleaseShared | 尝试释放共享锁,不阻塞 |
了解了上面介绍的关于AQS的基础数据结构及API以后,再去看我之前写的三篇分别介绍独占锁,共享锁,条件队列实现原理的文章就不会云里雾里了。
文章版权归作者所有,未经允许请勿转载,若此文章存在违规行为,您可以联系管理员删除。
转载请注明本文地址:https://www.ucloud.cn/yun/67753.html
摘要:从上面的代码可以看出,条件队列是建立在锁基础上的,而且必须是独占锁原因后面会通过源码分析。明天就是国庆长假了,我自己也计划出国玩一趟,散散心。提前祝广大朋友国庆快乐。 相比于独占锁跟共享锁,AbstractQueuedSynchronizer中的条件队列可能被关注的并不是很多,但它在阻塞队列的实现里起着至关重要的作用,同时如果想全面了解AQS,条件队列也是必须要学习的。 原文地址:ht...
摘要:其二如果返回值等于表示当前线程获取共享锁成功,但它后续的线程是无法继续获取的,也就是不需要把它后面等待的节点唤醒。 在了解了AQS独占锁模式以后,接下来再来看看共享锁的实现原理。 原文地址:http://www.jianshu.com/p/1161... 搞清楚AQS独占锁的实现原理之后,再看共享锁的实现原理就会轻松很多。两种锁模式之间很多通用的地方本文只会简单说明一下,就不在赘述了,...
摘要:获取锁的过程当线程调用申请获取锁资源,如果成功,则进入临界区。如果队列中有其他等待锁资源的线程需要唤醒,则唤醒队列中的第一个等待节点先入先出。释放锁时,如果队列中有等待的线程就进行唤醒。 每一个Java工程师应该都或多或少了解过AQS,我自己也是前前后后,反反复复研究了很久,看了忘,忘了再看,每次都有不一样的体会。这次趁着写博客,打算重新拿出来系统的研究下它的源码,总结成文章,便于以后...
摘要:简介抽象队列同步器,以下简称出现在中,由大师所创作。获取成功则返回,获取失败,线程进入同步队列等待。响应中断版的超时响应中断版的共享式获取同步状态,同一时刻可能会有多个线程获得同步状态。 1.简介 AbstractQueuedSynchronizer (抽象队列同步器,以下简称 AQS)出现在 JDK 1.5 中,由大师 Doug Lea 所创作。AQS 是很多同步器的基础框架,比如 ...
摘要:简介抽象队列同步器,以下简称出现在中,由大师所创作。获取成功则返回,获取失败,线程进入同步队列等待。响应中断版的超时响应中断版的共享式获取同步状态,同一时刻可能会有多个线程获得同步状态。 1.简介 AbstractQueuedSynchronizer (抽象队列同步器,以下简称 AQS)出现在 JDK 1.5 中,由大师 Doug Lea 所创作。AQS 是很多同步器的基础框架,比如 ...
阅读 2431·2021-11-24 10:29
阅读 2616·2021-09-24 09:48
阅读 5682·2021-09-22 15:56
阅读 3138·2021-09-06 15:00
阅读 2648·2019-08-30 15:54
阅读 724·2019-08-30 13:48
阅读 2819·2019-08-30 11:17
阅读 3402·2019-08-29 11:20