实例方法:
interrupt()方法是设置结束阻塞(sleep、),并且设置中断标记true
isInterrupted()判断当前是否中断
静态方法:
Thread.interrupted():调用这个方法的线程中断标记位还原为false
那么好,既然上面的方法作用是清晰的,尝试启动个线程进行操作:
一.疑惑1,为什么如下代码调用后会出现false
@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();
}
}
输出结果: InterruptTest - 中断状态1:false
不是说线程实例方法interrupt()调用后会设置中断标记嘛,为什么是false
解答:当 InterruptedException
被抛出时,JVM 会自动清除当前线程的中断标志。
它清除中断标志是为了避免开发者不小心忽略异常后,线程还带着一个“脏标志”继续运行,导致逻辑混乱,真是贴心的很。
一.疑惑2,既然JVM自动清理标记,再调用interrupt()总可以看到true了吧
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
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,所以这个仍然是顺序出队列,并不是随机的