Java并发编程(2) AbstractQueuedSynchronizer的内部结构

简介: 既然有很多前辈都分析过这个类说明它是多么的重要,下面我们看下concurrent包的实现示意图就清楚AQS的所占有的地位了。

一 前言  

虽然已经有很多前辈已经分析过AbstractQueuedSynchronizer(简称AQS,也叫队列同步器)类,但是感觉那些点始终是别人的,看一遍甚至几遍终不会印象深刻。所以还是记录下来印象更深刻,还能和大家一起探讨(这就是重复造轮子的好处,另外也主要是这篇篇幅太长了,犹豫了好久才决定写作)。既然有很多前辈都分析过这个类说明它是多么的重要,下面我们看下concurrent包的实现示意图就清楚AQS的所占有的地位了。
_1

二 什么是AQS

AbstractQueuedSynchronizer,中文简称队列同步器,英文简称AQS。它是用来构建锁或者其他同步组件的基础框架,它使用了一个int成员变量表示同步状态,通过内置的FIFO队列来完成资源获取线程的排队工作。从上面图可以看出AQS是实现锁或任意同步组件的关键,通过继承同步器并实现它的抽象方法来管理同步状态等。

三 AQS的内部结构

个人习惯喜欢先看其内部结构,因为内部结果是一个类实现的核心。经过分析得知:AQS类底层的数据结构是使用双向链表,包括head结点和tail结点,head结点主要用作后续的调度。另外还包含一个单向链表,只有当使用Condition时,才会存在此单向链表。并且可能会有多个Condition 链表(其中链表是队列的一种具体表现,所以也可称作队列)。如下图:

_2

四 内部结构源码解析

3.1 类的继承关系
_3

1、说明它是一个抽象类,就说明它可能存在抽象方法需要子类去重写实现(具体有哪些方法需要重写后续会说明)。

  2、它还继承了AbstractOwnableSynchronizer(简称AOS)类可以设置独占资源线程和获取独占资源线程(独占锁会涉及到,AOS的源码自己可以进去看看)。

  另外建议各位多看看类上的注释,其实还蛮有作用的。

3.2 类的内部类

  先分析内部类中的结构再看AQS是怎么引用它的。下面先看Node.class,主要分析都在注释上了。

/**
 * Wait queue node class.
 * 注意看类上的注释,上面是原注释的第一行,表示等待队列节点类(虽然实际上是一个双向链表)。
 */
static final class Node {
    /**
     * 总共分为两者模式:共享和独占
     */
    /** 在共享模式中等待的节点 */
    static final Node SHARED = new Node();
    /** 在独占模式中等待的节点 */
    static final Node EXCLUSIVE = null;

    /**
     * 下面几个表示节点状态,也就是waitStatus所具有可能的值。
     */
    /**
     * 标记线程处于取消状态
     * 节点进入该状态就不会变化。
     * /
    static final int CANCELLED =  1;
    /**
     * 标记后继节点的线程处于等待状态,需要被取消停放(即被唤醒unpark)。
     * 变化情况:当当前节点的线程如果释放了同步状态或者被取消,将会通知后继节点,使后继节点的线程得以运行。
     */
    static final int SIGNAL    = -1;
    /**
     * 标记线程正在等待条件(Condition),也就是该节点处于等待队列中。
     * 变化情况:当其他线程对Condition调用了signal()方法后,该节点将会从等待队列中转移到同步队列中,加入到同步状态的获取中。
     */
    static final int CONDITION = -2;
    /**
     * 表示下一次共享式同步状态获取将会无条件的被传播下去。
     */
    static final int PROPAGATE = -3;

    /**
     * 节点状态,包含上面四种状态(另外还有一种初始化状态0)
     * 特别注意:它是volatile关键字修饰的,保证对其线程可见性,但是不保证原子性。
     * 所以更新状态时,采用CAS方式去更新, 如:compareAndSetWaitStatus
     */
    volatile int waitStatus;

    /**
     * 前驱节点,比如当前节点被取消,那就需要前驱节点和后继节点来完成连接。
     */
    volatile Node prev;

    /**
     * 后继节点。
     */
    volatile Node next;

    /**
     * 入队列时的当前线程。
     */
    volatile Thread thread;

    /**
     * 存储condition队列中的后继节点。
     */
    Node nextWaiter;

    /**
     * 判断是否共享模式
     */
    final boolean isShared() {
        return nextWaiter == SHARED;
    }

    /**
     * 获取前置节点,如果前置节点为空就抛出异常
     */
    final Node predecessor() throws NullPointerException {
        Node p = prev;
        if (p == null)
            throw new NullPointerException();
        else
            return p;
    }
    // 省略三个构造函数
}

总结下:当每个线程被阻塞时都会封装成一个Node节点,放入队列中。每个节点都包含了当前节点对应的线程、状态、前置节点引用、后继节点引用以及下一个等待者。

  其中还需要注意的是waitStatus对应的各个状态代表着什么意思,另外不清楚volatile关键字作用的请前去阅读下。

_4

接下来简单看看ConditionObject的源码,后续我们会单独分析下这个类的作用。

/**
 * 实现Condition接口
 */
public class ConditionObject implements Condition, java.io.Serializable {
    private static final long serialVersionUID = 1173984872572414699L;
    /**
     * 条件队列的第一个节点。
     */
    private transient AbstractQueuedSynchronizer.Node firstWaiter;
    /**
     * 条件队列的最后一个节点。
     */
    private transient AbstractQueuedSynchronizer.Node lastWaiter;
}

从中可以看它还是实现了Condition接口,而Condition接口又定义了什么规范呢?自己去看:),你会不会发现有点跟Object中的几个方法类似呢。

3.3 主要内部成员

    // 头结点
    private transient volatile Node head;
    // 尾结点
    private transient volatile Node tail;
    // 同步状态
    private volatile int state;

五 总结

通过上述分析就很清楚其内部结构是什么了吧。总结下:

  节点(Node)是成为sync队列和condition队列构建的基础,在同步器中就包含了sync队列(Node双向链表)。同步器拥有三个成员变量:sync队列的头结点head、sync队列的尾节点tail和状态state。对于锁的获取,请求形成节点,将其挂载在尾部,而锁资源的转移(释放再获取)是从头部开始向后进行。对于同步器维护的状态state,多个线程对其的获取将会产生一个链式的结构。

文章来源:https://www.cnblogs.com/yuanfy008/p/9608666.html

推荐阅读:https://www.roncoo.com/course/list.html?courseName=%E5%B9%B6%E5%8F%91%E7%BC%96%E7%A8%8B

相关文章
|
1天前
|
Java 测试技术 开发者
Java面试题:解释CountDownLatch, CyclicBarrier和Semaphore在并发编程中的使用
Java面试题:解释CountDownLatch, CyclicBarrier和Semaphore在并发编程中的使用
26 11
|
1天前
|
存储 运维 Java
Java面试题:JVM的内存结构有哪些主要部分?请简述每个部分的作用
Java面试题:JVM的内存结构有哪些主要部分?请简述每个部分的作用
21 9
|
20小时前
|
存储 安全 算法
深入理解Java并发编程:线程安全与性能优化
【5月更文挑战第72天】 在现代软件开发中,尤其是Java应用开发领域,并发编程是一个无法回避的重要话题。随着多核处理器的普及,合理利用并发机制对于提高软件性能、响应速度和资源利用率具有重要意义。本文旨在探讨Java并发编程的核心概念、线程安全的策略以及性能优化技巧,帮助开发者构建高效且可靠的并发应用。通过实例分析和理论阐述,我们将揭示在高并发环境下如何平衡线程安全与系统性能之间的关系,并提出一系列最佳实践方法。
|
1天前
|
存储 缓存 监控
Java面试题:在Java中,对象何时可以被垃圾回收?编程中,如何更好地做好垃圾回收处理?
Java面试题:在Java中,对象何时可以被垃圾回收?编程中,如何更好地做好垃圾回收处理?
12 0
|
1天前
|
存储 设计模式 监控
Java面试题:简述JVM的内存结构,包括堆、栈、方法区等。栈内存优化的方法有 哪些?
Java面试题:简述JVM的内存结构,包括堆、栈、方法区等。栈内存优化的方法有 哪些?
11 0
|
1天前
|
Java 数据格式
Java面试题:简述Java Socket编程的基本流程,包括客户端和服务器的创建与通信。
Java面试题:简述Java Socket编程的基本流程,包括客户端和服务器的创建与通信。
9 0
|
1天前
|
设计模式 缓存 安全
Java面试题:设计模式在并发编程中的创新应用,Java内存管理与多线程工具类的综合应用,Java并发工具包与并发框架的创新应用
Java面试题:设计模式在并发编程中的创新应用,Java内存管理与多线程工具类的综合应用,Java并发工具包与并发框架的创新应用
6 0
|
1天前
|
设计模式 安全 Java
Java面试题:请列举三种常用的设计模式,并分别给出在Java中的应用场景?请分析Java内存管理中的主要问题,并提出相应的优化策略?请简述Java多线程编程中的常见问题,并给出解决方案
Java面试题:请列举三种常用的设计模式,并分别给出在Java中的应用场景?请分析Java内存管理中的主要问题,并提出相应的优化策略?请简述Java多线程编程中的常见问题,并给出解决方案
8 0
|
2天前
|
存储 并行计算 安全
Java面试题:请解释Java并发工具包中的主要组件及其应用场景,请描述一个使用Java并发框架(如Fork/Join框架)解决实际问题的编程实操问题
Java面试题:请解释Java并发工具包中的主要组件及其应用场景,请描述一个使用Java并发框架(如Fork/Join框架)解决实际问题的编程实操问题
8 0
|
2天前
|
Java 程序员 开发者
Java中的并发编程:从基础到高级
Java语言以其跨平台特性和强大的对象模型而闻名,同时其内置的并发编程工具也极大地简化了多线程应用程序的开发。本文旨在深入探讨Java并发编程的各个方面,包括基础概念、关键类库的使用,以及高级并发模式。我们将通过实际案例来展示如何正确处理同步问题、避免死锁,并利用现代Java版本中提供的并发工具来提高应用的性能和响应性。无论你是Java初学者还是有经验的开发者,这篇文章都将提供有价值的见解和技巧,帮助你在Java平台上构建更高效、更稳定的并发应用程序。
6 0