news 2026/6/10 16:16:38

理解线程不安全:从观察到原因分析

作者头像

张小明

前端开发工程师

1.2k 24
文章封面图
理解线程不安全:从观察到原因分析

一、观察线程不安全

public class UnsafeCounter { private static int counter = 0; public static void main(String[] args) throws InterruptedException { Thread[] threads = new Thread[10]; for (int i = 0; i < 10; i++) { threads[i] = new Thread(() -> { for (int j = 0; j < 100000; j++) { counter++; } }); threads[i].start(); } for (Thread t : threads) { t.join(); } System.out.println(counter); } }

如果你运行这个代码多次,你可能会发现输出结果总不是1000000。这是因为 counter++ 操作在 JVM 字节码中不是原子性的:它涉及读取值、递增、写回三个步骤。在多线程并发时,这些步骤可能被交织,导致数据丢失。

二、 线程不安全的概念

如果多线程环境下代码运⾏的结果是符合我们预期的,即在单线程环境应该的结果,则说这个程序是线程安全的。

三、线程不安全的原因

3.1线程调度是随机的

随机调度会导致一个程序在多线程的环境下,执行顺序会有很多变数,这是线程安全的罪魁祸首。

3.2修改共享数据

在多线程中,多个线程可能会修改同一个数据,这个共享数据就会导致线程不安全。

3.3原子性

原子性指的是一个操作(或一系列操作)被视为不可分割的整体:它要么完全执行成功,要么完全不执行,不能被中断或部分执行。

就如上面所说,count++在JVM字节码中就分解为(读取、递增和写回),如果在执行步骤期间切换线程就会出错。

3.4可见性

可见性指一个线程对共享变量的修改,其他线程能否立即看到。在 JVM 中,由于线程本地缓存和 CPU 缓存,一个线程的修改可能不立即刷新到主内存。

java内存模型

  • 线程之间的共享变量存在主内存
  • 每一个线程都有自己的"工作内存"
  • 当线程要读取一个共享变量的时候,会把变量从主内存拷贝到工作内存,再从工作内存读取数据
  • 当线程要修改一个共享变量的时候,也会修改内存中的副本,再同步回主内存

3.5指令重排序

3.5.1什么是指令重排序

指令重排序是指程序代码在源代码中的书写顺序,与实际执行时的顺序不一致的现象。这不是bug,而是为了优化执行效率而设计的特性。在Java中,这与Java内存模型(Java Memory Model,JMM)密切相关。JMM定义了线程如何通过内存交互,包括可见性、原子性和有序性(ordering)。有序性问题正是由指令重排序引起的。

3.5.2指令重排序的原因

主要目的是性能优化:

  • 减少等待时间
  • 缓存利用
  • 编译器优化

3.5.3示例

boolean flag = false; int data = 0; // 线程1 data = 42; flag = true; // 线程2 while (!flag) {} System.out.println(data); // 可能打印0

重排序可能先设置flag=true,再写data,导致线程2看到flag=true但data=0。

版权声明: 本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若内容造成侵权/违法违规/事实不符,请联系邮箱:809451989@qq.com进行投诉反馈,一经查实,立即删除!
网站建设 2026/6/10 14:09:47

Python语言编程导论第八章 文件处理

内容提要概述文件的常见操作目录的常见操作一、概述数据的存储可以使用数据库&#xff0c;也可以使用文件。数据库保持了数据的完整性和关联性&#xff0c;且使用数据更安全、可靠。使用文件存储数据则非常简单、易用&#xff0c;不必安装数据库管理系统等运行环境。文件通常用…

作者头像 李华
网站建设 2026/6/10 14:09:02

力扣题目1创作思路

一.题目描述给定一个整数数组 nums 和一个整数目标值 target&#xff0c;请你在该数组中找出 和为目标值 target 的那 两个 整数&#xff0c;并返回它们的数组下标。你可以假设每种输入只会对应一个答案&#xff0c;并且你不能使用两次相同的元素。你可以按任意顺序返回答案。…

作者头像 李华
网站建设 2026/6/10 15:46:52

向 VictoriaMetrics 写入过去或未来时间戳指标的测试

公司使用推模式上传指标&#xff0c;有必要对“乱序问题进行”测试&#xff1a; 1. 使用推模式写入过去数据&#xff1a;只要在“保留周期”内即可写入成功&#xff0c;能够读取&#xff1b;&#xff08;写入1个月前的指标&#xff0c;保留周期41天&#xff09; 2. 使用推模式…

作者头像 李华
网站建设 2026/6/10 14:01:55

基于深度学习的水果检测系统演示与介绍(YOLOv12/v11/v8/v5模型+Pyqt5界面+训练代码+数据集)

视频演示 基于深度学习的水果检测系统1. 前言​ 随着计算机视觉技术的快速发展&#xff0c;基于深度学习的目标检测方法在农业、食品工业及日常生活中的应用不断拓展。水果检测作为其中的重要场景&#xff0c;不仅能为采摘、分拣、销售等环节提供自动化支持&#xff0c;也在智…

作者头像 李华
网站建设 2026/6/10 14:14:02

Android-Camera-为啥不移到packages/module

Camera 为何没有完全迁移到 packages/modules Camera 和 Audio 类似&#xff0c;是 Android 系统中最复杂、最集成的子系统之一&#xff0c;其未完全模块化的原因更为深刻。 一、Camera 系统的现状分布 当前架构层次 1. 应用层 (packages/apps/Camera2/) 2. 框架层 (frameworks…

作者头像 李华