听说你想学Java并发编程?先把这个学了(3)上

简介: 大家好,我是指北君。这是AQS系列的第三篇文章,也是最后一篇,如果没看过AQS系列前两篇的童鞋,建议先去公号中的"Java并发编程"专栏中把前两篇看完。这篇主要是讲AQS是如何解决线程同步通信问题的。

我们在第一篇中说到AQS使用的是管程模型,而管程模型是使用条件变量来解决同步通信问题的。条件变量会有两个方法,唤醒和等待。当条件满足时,我们会通过唤醒方法将条件队列中的线程放入第二篇所说的同步队列中;如果不满足条件,则会通过等待方法将线程阻塞放入条件队列中。而AQS中通过ConditionObject类实现了条件变量,所以接下来我们就具体看看ConditionObject类吧。


一  属性

我们先看下ConditionObject中的属性

1.png

开头说了,条件变量中会有一个条件队列,ConditionObject中的条件队列使用的是单向链表,firstWaiter和lastWaiter为头尾节点,节点也是使用AQS的内部类Node,但同步队列是个双向链表,条件队列是单向链表,所以条件队列使用的是Node类中的nextWaiter属性作为下一个节点的链接指针。


2.png

我们可以注意到nextWaiter是没用volatile修饰的,这是因为线程在调用await方法进入条件队列时,是已经拥有了锁的。还有一点需要注意是,条件队列里面的Node只会存在CANCELLED和CONDITION的状态,有别于同步队列。


二  唤醒方法


2.1   signalAll


此方法是唤醒所有条件队列中的节点,即将条件队列中的所有节点都移动到我们第二篇所说的同步队列中,然后再去竞争锁,具体源码如下:

3.png


上面我们说了,要调用唤醒和等待方法,都需要此线程获取锁,首先我们会通过子类复写的方法isHeldExclusively来看此时的线程是否已经获得了锁。如果获得了锁,我们会判断条件队列的头节点是否为null,为null则说明条件队列中没有阻塞的Node;如果不为null,则会通过doSignalAll方法来将条件队列中的所有Node移动到同步队列中


2.1.1  doSignalAll


doSignalAll方法主要功能就是遍历条件队列里面的节点Node,然后通过transferForSignal方法将Node移动到同步队列中,源码如下:


4.png

2.1.2  transferForSignal

transferForSignal主要功能就是将条件队列中的节点Node转移到同步队列中,源码如下:

5.png

首先通过CAS来将Node的状态置为0,如果失败,则说明此时Node状态是CANCELLED,则直接返回false;如果Node状态成功置为了0,我们就通过enq方法将此节点入队到同步队列中,enq方法已经在第二篇文章中讲过,这里就不再复述了。enq方法执行完成后,说明node已经成功进入同步队列了,然后其返回的是入队的前驱节点,如果前驱节点是CANCELLED状态,或者我们将前驱节点的状态变为SIGNAL失败,则我们就需要唤醒此节点去抢锁。这个如果你看了第二篇文章,你肯定是能够想到的


2.2  signal


看名字也能大概猜到,因为signalAll是将条件队列中所有的Node转移到同步队列中,所以signal肯定是转移单个Node。



6.png

我们可以对比上面的signalAll方法,其唯一不同点就是signalAll内部调用的是doSignalAll方法,而signal内部调用的是doSignal方法,我们接着来看doSignal:


7.png


我们可以看到方法里面是个do-While的循环,我们首先将firstWaiter指向first的后继节点并判断是否为null,如果为空,则说明条件队列中只有first这一个节点,所以我们将整个队列清空。然后我们再将first的的nextWaiter指向null断开连接,进入while条件语句中。while条件语句中,会先调transferForSignal来转移Node,如果返回为false,即转移失败,我们会判断此节点下一个节点是否为null,不为null则又进入循环。


三  等待方法


唤醒方法wait,就是将线程阻塞包装成节点放入条件队列中,等到其他线程唤醒(signal)或者自身中断后再重新去获取锁。所以其又可以大致分为两个阶段,线程阻塞前和阻塞后。


3.1 await—阻塞前


我们先来看下await的源码:

8.png


3.1.1  addConditionWaiter

9.png



addConditionWaiter的大致逻辑为:lastWaiter不是null且它的等待状态不是CONDITION,说明lastWaiter的状态是CANCELLED,所以我们会通过unlinkCancelledWaiters方法来移除条件队列中所有CANCELLED的节点。然后我们会将当前线程包装成一个节点,我们再会判断尾节点是否为null,为null说明条件队列为空,所以我们就将firstWaiter指向新的节点;如果不为null,就将尾节点的后继节点指向新节点,然后再重置lastWaiter。最后将新节点返回。


3.1.2  fullyRelease


此时入队成功后,我们就会调用fullyRelease方法来释放当前线程所持有的锁了,我们具体看下源码:10.png

其中释放锁成功调用的是release方法,这个方法在第二篇文章中详述过。如果释放锁成功,则将failed状态置为false,然后返回savedState状态,否则我们就会抛出异常。其中savedState是重入锁的数量,release方法会一起释放掉。

再看下finally,如果释放锁失败,我们此线程会抛异常终止,然后在finally将waitStatus置为CANCELLED,然后等待后面被移出条件队列。


相关文章
|
27天前
|
安全 Java 程序员
深入理解Java内存模型与并发编程####
本文旨在探讨Java内存模型(JMM)的复杂性及其对并发编程的影响,不同于传统的摘要形式,本文将以一个实际案例为引子,逐步揭示JMM的核心概念,包括原子性、可见性、有序性,以及这些特性在多线程环境下的具体表现。通过对比分析不同并发工具类的应用,如synchronized、volatile关键字、Lock接口及其实现等,本文将展示如何在实践中有效利用JMM来设计高效且安全的并发程序。最后,还将简要介绍Java 8及更高版本中引入的新特性,如StampedLock,以及它们如何进一步优化多线程编程模型。 ####
27 0
|
29天前
|
Java 程序员
Java编程中的异常处理:从基础到高级
在Java的世界中,异常处理是代码健壮性的守护神。本文将带你从异常的基本概念出发,逐步深入到高级用法,探索如何优雅地处理程序中的错误和异常情况。通过实际案例,我们将一起学习如何编写更可靠、更易于维护的Java代码。准备好了吗?让我们一起踏上这段旅程,解锁Java异常处理的秘密!
|
9天前
|
存储 缓存 Java
Java 并发编程——volatile 关键字解析
本文介绍了Java线程中的`volatile`关键字及其与`synchronized`锁的区别。`volatile`保证了变量的可见性和一定的有序性,但不能保证原子性。它通过内存屏障实现,避免指令重排序,确保线程间数据一致。相比`synchronized`,`volatile`性能更优,适用于简单状态标记和某些特定场景,如单例模式中的双重检查锁定。文中还解释了Java内存模型的基本概念,包括主内存、工作内存及并发编程中的原子性、可见性和有序性。
Java 并发编程——volatile 关键字解析
|
13天前
|
算法 Java 调度
java并发编程中Monitor里的waitSet和EntryList都是做什么的
在Java并发编程中,Monitor内部包含两个重要队列:等待集(Wait Set)和入口列表(Entry List)。Wait Set用于线程的条件等待和协作,线程调用`wait()`后进入此集合,通过`notify()`或`notifyAll()`唤醒。Entry List则管理锁的竞争,未能获取锁的线程在此排队,等待锁释放后重新竞争。理解两者区别有助于设计高效的多线程程序。 - **Wait Set**:线程调用`wait()`后进入,等待条件满足被唤醒,需重新竞争锁。 - **Entry List**:多个线程竞争锁时,未获锁的线程在此排队,等待锁释放后获取锁继续执行。
47 12
|
9天前
|
存储 安全 Java
Java多线程编程秘籍:各种方案一网打尽,不要错过!
Java 中实现多线程的方式主要有四种:继承 Thread 类、实现 Runnable 接口、实现 Callable 接口和使用线程池。每种方式各有优缺点,适用于不同的场景。继承 Thread 类最简单,实现 Runnable 接口更灵活,Callable 接口支持返回结果,线程池则便于管理和复用线程。实际应用中可根据需求选择合适的方式。此外,还介绍了多线程相关的常见面试问题及答案,涵盖线程概念、线程安全、线程池等知识点。
85 2
|
2月前
|
设计模式 Java 开发者
Java多线程编程的陷阱与解决方案####
本文深入探讨了Java多线程编程中常见的问题及其解决策略。通过分析竞态条件、死锁、活锁等典型场景,并结合代码示例和实用技巧,帮助开发者有效避免这些陷阱,提升并发程序的稳定性和性能。 ####
|
2月前
|
缓存 Java 开发者
Java多线程编程的陷阱与最佳实践####
本文深入探讨了Java多线程编程中常见的陷阱,如竞态条件、死锁和内存一致性错误,并提供了实用的避免策略。通过分析典型错误案例,本文旨在帮助开发者更好地理解和掌握多线程环境下的编程技巧,从而提升并发程序的稳定性和性能。 ####
|
26天前
|
安全 算法 Java
Java多线程编程中的陷阱与最佳实践####
本文探讨了Java多线程编程中常见的陷阱,并介绍了如何通过最佳实践来避免这些问题。我们将从基础概念入手,逐步深入到具体的代码示例,帮助开发者更好地理解和应用多线程技术。无论是初学者还是有经验的开发者,都能从中获得有价值的见解和建议。 ####
|
26天前
|
Java 调度
Java中的多线程编程与并发控制
本文深入探讨了Java编程语言中多线程编程的基础知识和并发控制机制。文章首先介绍了多线程的基本概念,包括线程的定义、生命周期以及在Java中创建和管理线程的方法。接着,详细讲解了Java提供的同步机制,如synchronized关键字、wait()和notify()方法等,以及如何通过这些机制实现线程间的协调与通信。最后,本文还讨论了一些常见的并发问题,例如死锁、竞态条件等,并提供了相应的解决策略。
50 3
|
2月前
|
缓存 Java 开发者
Java多线程并发编程:同步机制与实践应用
本文深入探讨Java多线程中的同步机制,分析了多线程并发带来的数据不一致等问题,详细介绍了`synchronized`关键字、`ReentrantLock`显式锁及`ReentrantReadWriteLock`读写锁的应用,结合代码示例展示了如何有效解决竞态条件,提升程序性能与稳定性。
145 6