面试官:你给我说一下线程池里面的几个锁吧。 (中)

简介: 面试官:你给我说一下线程池里面的几个锁吧。 (中)

另一把锁

除了前面说的 mainLock 外,线程池里面其实还有一把经常被大家忽略的锁。

那就是 Worker 对象。


image.png

可以看到 Worker 是继承自 AQS 对象的,它的很多方法也是和锁相关的。

image.png

同时它也实现了 Runnable 方法,所以说到底它就是一个被封装起来的线程,用来运行提交到线程池里面的任务,当没有任务的时候就去队列里面 take 或者 poll 等着,命不好的就被回收了。

我们还是看一下它加锁的地方,就在很关键的 runWorker 方法里面:

java.util.concurrent.ThreadPoolExecutor#runWorker

image.png


那么问题就来了:

这里是线程池里面的线程,正在执行提交的任务的逻辑的地方,为什么需要加锁呢?

这里为什么又自己搞了一个锁,而不用已有的 ReentrantLock ,即 mainLock 呢?

答案还是写在注释里面:

image.png

我知道你看着这么大一段英文瞬间就没有了兴趣。

但是别慌,我带你细嚼慢咽。

第一句话就开门见山的说了:

Class Worker mainly maintains interrupt control state for threads running tasks.

worker 类存在的主要意义就是为了维护线程的中断状态。

维护的线程也不是一般的线程,是 running tasks 的线程,也就是正在运行的线程。

怎么理解这个“维护线程的中断状态”呢?

你去看 Worker 类的 lock 和 tryLock 方法,都各自只有一个地方调用。

lock 方法我们前面说了,在 runWorker 方法里面调用了。

在 tryLock 方法是在这里调用的:

image.png

这个方法也是我们的老朋友了,前面刚刚才讲过,是用来中断线程的。

中断的是什么类型的线程呢?

image.png

就是正在等待任务的线程,即在这里等着的线程:

java.util.concurrent.ThreadPoolExecutor#getTask

image.png

换句话说:正在执行任务的线程是不应该被中断的。

那线程池怎么知道那哪任务是正在执行中的,不应该被中断呢?

我们看一下判断条件:


image.png


关键的条件其实就是 w.tryLock() 方法。

所以看一下 tryLock 方法里面的核心逻辑是怎么样的:


image.png


核心逻辑就是一个 CAS 操作,把某个状态从 0 更新为 1,如果成功了,就是 tryLock 成功。

“0”、“1” 分别是什么玩意呢?

注释,答案还是在注释里面:


image.png


所以,tryLock 中的核心逻辑compareAndSetState(0, 1),就是一个上锁的操作。

如果 tryLock 失败了,会是什么原因呢?

肯定是此时的状态已经是 1 了。

那么状态什么时候变成 1 呢?

一个时机就是执行 lock 方法的时候,它也会调用 tryAcquire 方法。

那 lock 是在什么时候上锁的呢?

runWorker 方法里面,获取到 task,准备执行的时候。

也就是说状态为 1 的 worker 肯定就是正在执行任务的线程,不可以被中断。

另外,状态的初始值被设置为 -1。

image.png

我们可以写个简单的代码,验证一下上面的三个状态:

image.png

首先我们定义一个线程池,然后调用 prestartAllCoreThreads 方法把所有线程都预热起来,让它们处于等待接收任务的状态。

你说这个时候,三个 worker 的状态分别是什么?

image.png

那必须得是 0 ,未上锁的状态。

当然了,你也有可能看到这样的局面:

image.png

-1 是从哪里来的呢?

别慌,我等下给你讲,我们先看看 1 在哪呢?

按照之前的分析,我们只需要往线程池里面提交一个任务即可:

微信图片_20220428213145.png


这个时候,假如我们调用 shutdown 呢,会发什么?

当然是中断空闲的线程了。

那正在执行任务的这个线程怎么办呢?

因为是个 while 循环,等到任务执行完成后,会再次调用 getTask 方法:

image.png

getTask 方法里面会先判断线程池状态,这个时候就能感知到线程池关闭了,返回 null,这个 worker 也就默默的退出了。


目录
相关文章
|
14天前
|
设计模式 消息中间件 安全
【JUC】(3)常见的设计模式概念分析与多把锁使用场景!!理解线程状态转换条件!带你深入JUC!!文章全程笔记干货!!
JUC专栏第三篇,带你继续深入JUC! 本篇文章涵盖内容:保护性暂停、生产者与消费者、Park&unPark、线程转换条件、多把锁情况分析、可重入锁、顺序控制 笔记共享!!文章全程干货!
70 1
|
9月前
|
监控 Kubernetes Java
阿里面试:5000qps访问一个500ms的接口,如何设计线程池的核心线程数、最大线程数? 需要多少台机器?
本文由40岁老架构师尼恩撰写,针对一线互联网企业的高频面试题“如何确定系统的最佳线程数”进行系统化梳理。文章详细介绍了线程池设计的三个核心步骤:理论预估、压测验证和监控调整,并结合实际案例(5000qps、500ms响应时间、4核8G机器)给出具体参数设置建议。此外,还提供了《尼恩Java面试宝典PDF》等资源,帮助读者提升技术能力,顺利通过大厂面试。关注【技术自由圈】公众号,回复“领电子书”获取更多学习资料。
|
9月前
|
安全 Java 程序员
面试必看:如何设计一个可以优雅停止的线程?
嘿,大家好!我是小米。今天分享一篇关于“如何停止一个正在运行的线程”的面试干货。通过一次Java面试经历,我明白了停止线程不仅仅是技术问题,更是设计问题。Thread.stop()已被弃用,推荐使用Thread.interrupt()、标志位或ExecutorService来优雅地停止线程,避免资源泄漏和数据不一致。希望这篇文章能帮助你更好地理解Java多线程机制,面试顺利! 我是小米,喜欢分享技术的29岁程序员。欢迎关注我的微信公众号“软件求生”,获取更多技术干货!
228 53
|
9月前
|
并行计算 安全 Java
Python GIL(全局解释器锁)机制对多线程性能影响的深度分析
在Python开发中,GIL(全局解释器锁)一直备受关注。本文基于CPython解释器,探讨GIL的技术本质及其对程序性能的影响。GIL确保同一时刻只有一个线程执行代码,以保护内存管理的安全性,但也限制了多线程并行计算的效率。文章分析了GIL的必要性、局限性,并介绍了多进程、异步编程等替代方案。尽管Python 3.13计划移除GIL,但该特性至少要到2028年才会默认禁用,因此理解GIL仍至关重要。
604 16
Python GIL(全局解释器锁)机制对多线程性能影响的深度分析
|
8月前
|
数据采集 Java Linux
面试大神教你:如何巧妙回答线程优先级这个经典考题?
大家好,我是小米。本文通过故事讲解Java面试中常见的线程优先级问题。小明和小华的故事帮助理解线程优先级:高优先级线程更可能被调度执行,但并非越高越好。实际开发需权衡业务需求,合理设置优先级。掌握线程优先级不仅能写出高效代码,还能在面试中脱颖而出。最后,小张因深入分析成功拿下Offer。希望这篇文章能助你在面试中游刃有余!
134 4
面试大神教你:如何巧妙回答线程优先级这个经典考题?
|
8月前
|
Java 程序员 开发者
Java社招面试题:一个线程运行时发生异常会怎样?
大家好,我是小米。今天分享一个经典的 Java 面试题:线程运行时发生异常,程序会怎样处理?此问题考察 Java 线程和异常处理机制的理解。线程发生异常,默认会导致线程终止,但可以通过 try-catch 捕获并处理,避免影响其他线程。未捕获的异常可通过 Thread.UncaughtExceptionHandler 处理。线程池中的异常会被自动处理,不影响任务执行。希望这篇文章能帮助你深入理解 Java 线程异常处理机制,为面试做好准备。如果你觉得有帮助,欢迎收藏、转发!
539 14
|
8月前
|
安全 Java 程序员
Java 面试必问!线程构造方法和静态块的执行线程到底是谁?
大家好,我是小米。今天聊聊Java多线程面试题:线程类的构造方法和静态块是由哪个线程调用的?构造方法由创建线程实例的主线程调用,静态块在类加载时由主线程调用。理解这些细节有助于掌握Java多线程机制。下期再见! 简介: 本文通过一个常见的Java多线程面试题,详细讲解了线程类的构造方法和静态块是由哪个线程调用的。构造方法由创建线程实例的主线程调用,静态块在类加载时由主线程调用。理解这些细节对掌握Java多线程编程至关重要。
166 13
|
8月前
|
缓存 安全 Java
面试中的难题:线程异步执行后如何共享数据?
本文通过一个面试故事,详细讲解了Java中线程内部开启异步操作后如何安全地共享数据。介绍了异步操作的基本概念及常见实现方式(如CompletableFuture、ExecutorService),并重点探讨了volatile关键字、CountDownLatch和CompletableFuture等工具在线程间数据共享中的应用,帮助读者理解线程安全和内存可见性问题。通过这些方法,可以有效解决多线程环境下的数据共享挑战,提升编程效率和代码健壮性。
274 6
|
9月前
|
安全 Java 程序员
面试直击:并发编程三要素+线程安全全攻略!
并发编程三要素为原子性、可见性和有序性,确保多线程操作的一致性和安全性。Java 中通过 `synchronized`、`Lock`、`volatile`、原子类和线程安全集合等机制保障线程安全。掌握这些概念和工具,能有效解决并发问题,编写高效稳定的多线程程序。
256 11
|
10月前
|
并行计算 算法 安全
面试必问的多线程优化技巧与实战
多线程编程是现代软件开发中不可或缺的一部分,特别是在处理高并发场景和优化程序性能时。作为Java开发者,掌握多线程优化技巧不仅能够提升程序的执行效率,还能在面试中脱颖而出。本文将从多线程基础、线程与进程的区别、多线程的优势出发,深入探讨如何避免死锁与竞态条件、线程间的通信机制、线程池的使用优势、线程优化算法与数据结构的选择,以及硬件加速技术。通过多个Java示例,我们将揭示这些技术的底层原理与实现方法。
528 3

热门文章

最新文章