一.ReentrantLock与AQS简介 在Java5.0之前,在协调对共享对象的访问时可以使用的机制只有synchronized和volatile.Java5.0增加了一种新的机制:ReentrantLock.ReentrantLock并不是一种替代内置加锁的方法,而是作为一种可选择的高级功能.ReentrantLock实现了Lock接口,提供了一种无条件的.可轮询的.定时的以及可中断的锁获取操作,所有加锁和解锁方法都是显式的. 我们基本不会直接使用AQS,AQS是一个构建锁和同步器的框架,…

除特别注明外,本站所有文章均为原创,转载请注明地址 AbstractQueuedSynchronizer(AQS)是JDK中实现并发编程的核心,平时我们工作中经常用到的ReentrantLock,CountDownLatch等都是基于它来实现的. AQS类中维护了一个双向链表(FIFO队列), 如下图所示: 队列中的每个元素都用一个Node表示,我们可以看到,Node类中有几个静态常量表示的状态: static final class Node { /** Marker to indicate…

AbstractQueuedSynchronizer(以下简称AQS)的内容确实有点多,博主考虑再三,还是决定把它拆成三期.原因有三,一是放入同一篇博客势必影响阅读体验,而是为了表达对这个伟大基础并发组件的崇敬之情.第三点其实是为了偷懒. 又扯这么多没用的,还是直接步入正题吧~ AQS介绍 AQS是一个抽象类,它是实现多种并发同步工具的核心组件.比如大名鼎鼎的可重入锁(ReentrantLock),它的底层实现就是借助内部类Sync,而Sync类就是继承了AQS并实现了AQS定义的若干钩子方法.…

上期的<全网最详细的AbstractQueuedSynchronizer(AQS)源码剖析(一)AQS基础>中介绍了什么是AQS,以及AQS的基本结构.有了这些概念做铺垫之后,我们就可以正式地看看AQS是如何通过state(以下也称资源)和同步队列,实现线程之间的同步功能了 那么线程之间是如何同步呢?其实就是通过资源的获取和释放来进行同步.如果获取到就继续运行,获取不到就放入同步队列阻塞等待,释放就是交出获得的资源,并释放同步队列中需要被唤醒的线程.对,就是这么简单! 本篇我们继续深入AQS内…

ArrayDeque(JDK双端队列)源码深度剖析 前言 在本篇文章当中主要跟大家介绍JDK给我们提供的一种用数组实现的双端队列,在之前的文章LinkedList源码剖析当中我们已经介绍了一种双端队列,不过与ArrayDeque不同的是,LinkedList的双端队列使用双向链表实现的. 双端队列整体分析 我们通常所谈论到的队列都是一端进一端出,而双端队列的两端则都是可进可出.下面是双端队列的几个操作: 数据从双端队列左侧进入. 数据从双端队列右侧进入. 数据从双端队列左侧弹出. 数据从双端队列…

我们常见的并发锁ReentrantLock.CountDownLatch.Semaphore.CyclicBarrier都是基于AQS实现的,所以说不懂AQS实现原理的,就不能说了解Java锁. 上篇文章讲了AQS的加锁流程,这篇文章再一块看一下AQS具体源码实现. 先回顾一下AQS的加锁流程 1. AQS加锁流程 AQS的加锁流程并不复杂,只要理解了同步队列和条件队列,以及它们之间的数据流转,就算彻底理解了AQS. 当多个线程竞争AQS锁时,如果有个线程获取到锁,就把ower线程设置为自己 没…

ReentrantLock 与 AQS 源码分析 1. 基本结构    重入锁 ReetrantLock,JDK 1.5新增的类,作用与synchronized关键字相当,但比synchronized更加灵活.ReetrantLock本身也是一种支持重进入的锁,即该锁可以支持一个线程对资源重复加锁,但是加锁多少次,就必须解锁多少次,这样才可以成功释放锁. 1. 继承 没有继承任何类,因为很多操作都使用了组合完成. 2. 实现 Lock, java.io.Serializable   这里着重介绍…

AQS源码详细解读 目录 AQS源码详细解读 基础 CAS相关知识 通过标识位进行线程挂起的并发编程范式 MPSC队列的实现技巧 代码讲解 独占模式 独占模式下请求资源 独占模式下的释放资源 共享模式 请求资源 释放资源 条件变量 await方法 signal方法 总结 为什么需要SIGNAL状态 为什么需要PROPAGATE状态 基础 在讲解AQS之前,有几个额外的知识需要了解.知道了这些,才能明白AQS框架中很多代码的道理. CAS相关知识 通过标识位进行线程挂起的并发编程范式 MPSC队列…

本文基于JDK-8u261源码分析 本篇文章为AQS系列文的第二篇,前文请看:[传送门] 第一篇:AQS源码深入分析之独占模式-ReentrantLock锁特性详解 1 Semaphore概览 共享模式就是有多个线程可以同时拿到锁资源,共享模式用Semaphore来举例,其与ReentrantLock的结构类似,也有公平和非公平两种模式: 1 public class Semaphore implements Serializable { 2 //... 3 4 private final Sy…

AQS源码一窥 考虑到AQS的代码量较大,涉及信息量也较多,计划是先使用较常用的ReentrantLock使用代码对AQS源码进行一个分析,一窥内部实现,然后再全面分析完AQS,最后把以它为基础的同步器都解析一遍. 暂且可以理解AQS的核心是两部分组成: volatile修饰的int字段state,表示同步器状态 FIFO同步队列,队列是由Node组成 节点模式 Node定义中包含的字段,意味着节点拥有模式的属性. 独占模式(EXCLUSIVE) 当一个线程获取后,其他线程尝试获取都会失败 共享…