从源码学习Java并发的锁是怎么维护内部线程队列的
从源码学习Java并发的锁是怎么维护内部线程队列的
在上一篇文章中,凯哥对同步组件基础框架- AbstractQueuedSynchronizer(AQS)做了大概的介绍。我们知道AQS能够通过内置的FIFO队列来完成资源获取线程的排队工作。那么AQS是怎么来维护这个排队工作的呢?今天我们就来扒一扒AQS源码。从源码中来看看是怎么维护对了的。
本篇是《凯哥(凯哥Java:kagejava)并发编程学习》系列之《Lock系列》教程的第一篇:《Java并发包下锁学习第三篇-从源码学习Java并发是怎么维护内部线程队列的》。
在上篇我们知道AQS内部有个内部类-Node对象。这个对象就是来维护线程对资源访问的排队工作的。具体怎么操作的呢?本文主要内容:Node节点介绍;在同步器中怎么为维护排队的流程图。
一:Node节点对象介绍
在AQS内部有个Node对象的内部类。我们来看看这个对象都有哪些属性:
简化后:
static final class Node {
//线程等待状态
volatile int waitStatus;
//当前节点的上一个节点
volatile Node prev;
//当前节点对象
volatile Node next;
//当前节点维护的线程对象
volatile Thread thread;
//当前节点的下一个(后续)节点
Node nextWaiter;
}
对象中属性介绍
Int waitStatus:
对象里面有表示状态的4个属性:
static final int CANCELLED = 1:线程从同步队列中取消
static final int SIGNAL = -1:后续节点等待状态。当前节点在获取到资源后,在释放前需要断开和后续节点的连接。在其释放后,会通知后续节点,使后续解决继续运行。
static final int CONDITION = -2:当前节点等待中。在等待condition通知。也可以理解成在condition队列中。
static final int PROPAGATE = -3:在共享模式下,下一次无条件传播
0:默认状态。
Node prev:当前节点的上一个节点
Node Next:当前解决的后续节点
Node nextWaiter:可以理解为节点的类型。是共享式还是独占式。
Thread thread:当前获取到同步状态的线程对象。
具体可以如下图:
首先,我们需要明白,在数据结构中,能够保持FIFO的结构是队列模式的。但是队列有单项队列和循环队列两种。那么,同步器使用的是哪个队列方式呢?
从Node节点属性中,我们可以看到前节点和后续节点的属性。说明使用的是循环队列。
二:维护线程排队的流程图
为了保证线程的安全,同步器提供了几个CAS的方法。如下图:
CAS设置头节点、设置下一个节点、设置状态、设置尾节点等。
操作流程可以简述如下图:
流程说明:
入队列
入队流程如下:
上图流程说明:
当多个线程同时来争夺资源的时候,其中一个线程获取到了资源(同步状态或者是锁),这个时候获取到资源的线程就会被构造成头节点。其他线无非获取到资源的线程会被构成成Node节点对象并被放到队列中。被构造成Node节点的线程会排在队列尾部排队。为了保证线程安全性,同步器会基于CAS设置尾节点的方法(即:compareAndSetTail ())来保持线程安全性.这个方法需要传递当前线程“自己认为”的尾节点和前一个节点,当CAS执行成功之后,当前节点才会正式与之前的节点建立关系。被设置尾部的Node节点的next将指向头节点。
如上图中线程3会和线程1执行类似的操作,把自己添加到队列的尾部。这样就形成了一个完整的双向队列排队了。
出队列
出队流程图如下:
出队流程说明:
从入队流程图中我们可以看出,所有争夺资源并发的线程都被排队了。同步队列遵循FIFO(先进先出)。所谓的首节点就是获取同步状态成功节点。当来的首节点中的线程在释放同步状态的时候,会断开自己与后续节点的关联关系,然后会唤醒后续节点操作的。当后续节点获取同步状态成功的时候,就将自己设置为首节点,原来的首节点就退出了队列。如果原来的首节点还需要获取的话,后将自己线程构造成Node节点对象,然后进行排队。
低调大师中文资讯倾力打造互联网数据资讯、行业资源、电子商务、移动互联网、网络营销平台。
持续更新报道IT业界、互联网、市场资讯、驱动更新,是最及时权威的产业资讯及硬件资讯报道平台。
转载内容版权归作者及来源网站所有,本站原创内容转载请注明来源。
- 上一篇
程序员的进阶课-架构师之路 - 线性表
一、线性表的定义【百度百科】线性表是最基本、最简单、也是最常用的一种数据结构。线性表(linear list)是数据结构的一种,一个线性表是n个具有相同特性的数据元素的有限序列。线性表中数据元素之间的关系是一对一的关系,即除了第一个和最后一个数据元素之外,其它数据元素都是首尾相接的(注意,这句话只适用大部分线性表,而不是全部。比如,循环链表逻辑层次上也是一种线性表(存储层次上属于链式存储),但是把最后一个数据元素的尾指针指向了首位结点)。1、线性表(List)是零个或多个数据元素的集合2、线性表中的数据元素之间是有顺序的3、线性表中的数据元素个数是有限的4、线性表中的数据元素的类型必须相同 生活中的线性表: 数组也是一种线性表。二、线性表的分类 1.顺序表 基本思想:元素的存储空间是连续的。在内存中是以顺序存储,内存划分的区域是连续的。存储结构如下: 2.链表 基本思想:元素的存储空间是离散的,单独的(物理),它们可以通过在逻辑上指针的联系使得它成为了整体的链表。存储上分为数据和指针两部分。存储结构如下图: 单链表和循环链表只可向一个方向遍历;双链表和循环链表,首节点和尾节点被连接在一...
- 下一篇
快速解析物联网应用服务设备
云栖号快速入门:【点击查看更多云产品快速入门】不知道怎么入门?这里分分钟解决新手入门等基础问题,可快速完成产品配置操作! 产品指某一类设备,创建完产品后,需要为设备创建身份。您可以创建单个设备,也可以批量创建设备。本文为您讲述单个设备的创建。 操作步骤 1.登录应用服务平台控制台。2.左侧导航栏选择设备管理 > 设备,再页面右侧添加设备。3.在添加设备对话框中,输入设备信息,单击确认。 执行结果 设备创建成功后,将自动弹出查看设备证书弹框。您可以查看、复制设备证书信息。设备证书由设备 ProductKey、DeviceName、和 DeviceSecret组成,是设备与物联网平台进行通信的重要身份认证,建议您妥善保管。 之后,您也可以在设备列表中,单击设备对应的查看按钮,进入设备详情页设备信息页签下,查看设备信息。 下一步 请参见设备端开发文档开发设备端SDK。 本文来自 阿里云文档中心 物联网应用服务 设备 【云栖号在线课堂】每天都有产品技术专家分享!课程地址:https://yqh.aliyun.com/zhibo 立即加入社群,与专家面对面,及时了解课程最新动态!【云栖号在...
相关文章
文章评论
共有0条评论来说两句吧...
文章二维码
点击排行
推荐阅读
最新文章
- CentOS8,CentOS7,CentOS6编译安装Redis5.0.7
- SpringBoot2整合Redis,开启缓存,提高访问速度
- CentOS7,8上快速安装Gitea,搭建Git服务器
- Docker使用Oracle官方镜像安装(12C,18C,19C)
- CentOS关闭SELinux安全模块
- SpringBoot2初体验,简单认识spring boot2并且搭建基础工程
- MySQL8.0.19开启GTID主从同步CentOS8
- Hadoop3单机部署,实现最简伪集群
- 设置Eclipse缩进为4个空格,增强代码规范
- CentOS7,CentOS8安装Elasticsearch6.8.6