Java线程的interrupt中断、wait-notify/all(源码级分析)

实例方法:

interrupt()方法是设置结束阻塞(sleep、wait等),并且设置中断标记true

isInterrupted()判断当前是否中断

静态方法:

Thread.interrupted():调用这个方法的线程中断标记位还原为false

那么好,既然上面的方法作用是清晰的,尝试启动个线程进行操作:

一.疑惑1,为什么如下代码调用后会出现false

java 复制代码
@Slf4j
public class InterruptTest {
    public static void main(String[] args) {
        Thread t1 = new Thread(() -> {
            try {
                Thread.currentThread().sleep(5000);
            } catch (InterruptedException e) {
                log.info("中断状态1:{}", Thread.currentThread().isInterrupted());
            }
        });
        t1.start();
        try {
            Thread.sleep(2000); // 等待2秒,确保主线程调用t1线程interrupt时t1是启动好的
        } catch (InterruptedException e) {
            e.printStackTrace();
        }
        t1.interrupt();
    }
}
bash 复制代码
输出结果:  InterruptTest - 中断状态1:false

不是说线程实例方法interrupt()调用后会设置中断标记嘛,为什么是false

解答:InterruptedException 被抛出时,JVM 会自动清除当前线程的中断标志。

它清除中断标志是为了避免开发者不小心忽略异常后,线程还带着一个"脏标志"继续运行,导致逻辑混乱,真是贴心的很。

一.疑惑2,既然JVM自动清理标记,再调用interrupt()总可以看到true了吧

java 复制代码
public static void main(String[] args) {
        Thread t1 = new Thread(() -> {
            try {
                Thread.currentThread().sleep(5000);
            } catch (InterruptedException e) {
                log.info("中断状态1:{}", Thread.currentThread().isInterrupted());
                Thread.currentThread().interrupt();
                log.info("中断状态2:{}", Thread.currentThread().isInterrupted());
                Thread.interrupted();
                log.info("中断状态3:{}", Thread.currentThread().isInterrupted());
            }
        });
        t1.start();
        try {
            Thread.sleep(2000); // 等待2秒,确保主线程调用t1线程interrupt时t1是启动好的
        } catch (InterruptedException e) {
            e.printStackTrace();
        }
        t1.interrupt();
    }

运行结果:果然出现了true

bash 复制代码
thread.InterruptTest2 - 中断状态1:false
thread.InterruptTest2 - 中断状态2:true
thread.InterruptTest2 - 中断状态3:false

thread.cpp下的interrupt函数:(807行是调用操作系统的逻辑)

继续跟进到os_linux.cpp,也可以分系统选看,我直接选Linux的了

如果线程不是阻塞状态(例如未在 sleep()、park() 或 wait() 等阻塞点),这段代码的效果仅仅是改了中断标志位,其他操作(如 unpark() 唤醒线程)不会有实际作用,也不会耽误线程继续运行。

thread.cpp的is_interrupted函数:

同样溯源到os_linux.cpp

一.疑惑3,wait、notify-all为什么都要加同一个synchronized

阅读Object相关源码:objectMonitor.cpp

wait函数:

尾插法放入队列:

_WaitSetLock 是一个自旋锁,用于保护 WaitSet 的并发访问,在objectMonitor.hpp中

也就是WAIT/TIME WAIT本质上是用一个Object中的等待队列去存储需要等待的线程对象,每一个Object对象都可以充当这个角色,获取这个对象的waitset才能把Thread放入,唤醒相当于再从这个waitset中把线程剔除来再唤醒,这也就是为什么wait notify/all 方法需要synchronized同一个对象了

再来看一下notify函数:(出一个线程对象,然后唤醒)

上图表明从头部出队列

也就是说,插入顺序是:_WAIT_SET 1 2 3 4 5,获取顺序也是1 2 3 4 5符合FIFO队列先进先出

再来看一下notifyAll函数:(全部唤醒)

由于迭代器用的还是DequeueWaiter,所以这个仍然是顺序出队列,并不是随机的

相关推荐
kangkang-1 小时前
PC端基于SpringBoot架构控制无人机(三):系统架构设计
java·架构·无人机
iCxhust2 小时前
c# U盘映像生成工具
开发语言·单片机·c#
yangzhi_emo3 小时前
ES6笔记2
开发语言·前端·javascript
界面开发小八哥3 小时前
「Java EE开发指南」如何用MyEclipse创建一个WEB项目?(三)
java·ide·java-ee·myeclipse
idolyXyz3 小时前
[java: Cleaner]-一文述之
java
一碗谦谦粉4 小时前
Maven 依赖调解的两大原则
java·maven
emplace_back4 小时前
C# 集合表达式和展开运算符 (..) 详解
开发语言·windows·c#
jz_ddk4 小时前
[学习] C语言数学库函数背后的故事:`double erf(double x)`
c语言·开发语言·学习
萧曵 丶4 小时前
Rust 所有权系统:深入浅出指南
开发语言·后端·rust