当前位置： 首页 > news >正文

线程安全实例分析

news 2025/7/18 3:13:12

一、变量的线程安全分析

成员变量和静态变量是否线程安全？

● 如果它们没有共享，则线程安全
● 如果它们被共享了，根据它们的状态是否能够改变，又分两种情况
—— 如果只有读操作，则线程安全
—— 如果有读写操作，则这段代码是临界区，需要考虑线程安全

局部变量是否线程安全？
● 局部变量是线程安全的
● 但局部变量引用的对象则未必
—— 如果该对象没有逃离方法的作用访问，它是线程安全的
—— 如果该对象逃离方法(eg：使用return)的作用范围，需要考虑线程安全

1.1 线程安全分析-局部变量

public static void test1() {int i = 10;i++;
}

每个线程调用 test1() 方法时局部变量 i，会在每个线程的栈帧内存中被创建多份，因此不存在共享

反编译后的二进制字节码：

public static void test1();descriptor: ()V
flags: ACC_PUBLIC, ACC_STATICCode:stack=1, locals=1, args_size=00: bipush 10        // 准备常数10赋值给i2: istore_0         // 赋值给i3: iinc 0, 1        // 在局部变量i的基础上自增 6: return           // 方法运行结束返回LineNumberTable:line 10: 0line 11: 3line 12: 6LocalVariableTable:Start Length Slot Name Signature3 4 0 i I

每个方法调用时都会创建一个栈帧，每个线程有自己独立的栈和栈帧内存（局部变量会在栈帧中被创建多份）
如图：
在这里插入图片描述
若局部变量的为对象，则稍有不同
观察一个成员变量的例子

public class TestThreadSafe {// 创建两个线程（每个线程调用method1循环200次）static final int THREAD_NUMBER = 2;static final int LOOP_NUMBER = 200;public static void main(String[] args) {ThreadUnsafe test = new ThreadUnsafe();for (int i = 0; i < THREAD_NUMBER; i++) {new Thread(() -> {test.method1(LOOP_NUMBER);}, "Thread" + (i+1)).start();}}
}
class ThreadUnsafe {ArrayList<String> list = new ArrayList<>();public void method1(int loopNumber) {for (int i = 0; i < loopNumber; i++) {// { 临界区, 会产生竞态条件// method2()、method3()访问的为共享资源（多个线程执行时会发生指令交错）method2();method3();// } 临界区}}private void method2() {// 往集合中加一个元素list.add("1");}// 往集合中移除一个元素private void method3() {list.remove(0);}
}

多个线程执行时会发生指令交错会产生问题

运行结果：其中一种情况是线程1的method2()还未add，线程2的method3()尝试移除，此时集合为空就会报错
在这里插入图片描述

分析：
● 无论哪个线程中的 method2 引用的都是同一个对象中的 list 成员变量
● method3 与 method2 分析相同
在这里插入图片描述
若将 list 修改为局部变量就不会存在上述问题

class ThreadSafe {public final void method1(int loopNumber) {ArrayList<String> list = new ArrayList<>();for (int i = 0; i < loopNumber; i++) {method2(list);method3(list);}}public void method2(ArrayList<String> list) {list.add("1");}private void method3(ArrayList<String> list) {System.out.println(1);list.remove(0);}
}

分析：
● list 是局部变量，每个线程调用时会创建其不同实例，没有共享
● 而 method2 的参数是从 method1 中传递过来的，与 method1 中引用同一个对象（均引用的为堆中的对象）
● method3 的参数分析与 method2 相同
在这里插入图片描述

1.2 线程安全分析-局部变量引用

方法访问修饰符带来的思考，如果把 method2 和 method3 的方法修改为 public 会不会代理线程安全问题？
● 情况1：有其它线程调用 method2 和 method3
● 情况2：在 情况1 的基础上，为 ThreadSafe 类添加子类，子类覆盖 method2 或 method3 方法，即

class ThreadSafe {public final void method1(int loopNumber) {ArrayList<String> list = new ArrayList<>();for (int i = 0; i < loopNumber; i++) {method2(list);method3(list);}}private void method2(ArrayList<String> list) {list.add("1");}private void method3(ArrayList<String> list) {list.remove(0);}
}
// 添加子类继承ThreadSafe，在子类中覆盖/重写method3
class ThreadSafeSubClass extends ThreadSafe{@Overridepublic void method3(ArrayList<String> list) {// 重写后重启一个新的线程new Thread(() -> {list.remove(0);}).start();}
}

此时会带来线程安全问题，新的线程可以访问到共享变量
从这个例子可以看出 private 或 final 提供【安全】的意义所在，可以体会开闭原则中的【闭】（使用private修饰符避免子类改变覆盖其行为）

1.3 线程安全分析-常见类-组合调用

常见线程安全类
● String
● Integer
● StringBuffer
● Random
● Vector
● Hashtable
● java.util.concurrent 包下的类

这里说它们是线程安全的是指，多个线程调用它们同一个实例的某个方法时，是线程安全的。也可以理解为

Hashtable table = new Hashtable();   // 查看源码，发现其底层被synchronized关键字修饰new Thread(()->{table.put("key", "value1");
}).start();new Thread(()->{table.put("key", "value2");
}).start();

● 它们的每个方法是原子的
● 但注意它们多个方法的组合不是原子的，见后面分析

线程安全类方法的组合

分析下面代码是否线程安全？
get()、put()底层均有synchronized修饰

Hashtable table = new Hashtable();
// 线程1，线程2
if( table.get("key") == null) {table.put("key", value);
}

将两个方法组合到一起使用就不是线程安全的，中间会受到线程上下文切换的影响，其只能保证每一个方法内部代码是原子的。要使其组合后仍可以保证原子性，还需在外层加以线程安全的保护！

eg：线程1、2均执行方法内的代码，线程1执行get(“key”) == null，还未执行完，线程发生上下文切换轮到线程2执行，线程2也执行到此处得到的get(“key”) == null，线程2发现为null后put(“key”, v2），完成后又切换为线程1，线程1又put(“key”, v1）。理论上判断为空时，我们只存放一个键值对，实际上put(“key”, value)被执行两次，导致后一个执行的put将前一个执行put的结果覆盖，不是我们锁预期的效果。
在这里插入图片描述

1.3 线程安全分析-常见类-不可见

不可变类线程安全
String、Integer 等都是不可变类，因为其内部的状态(属性)不可以改变，因此它们的方法都是线程安全的（只可读不可修改）

那么，String 有 replace，substring 等方法【可以】改变值，那么这些方法又是如何保证线程安
全的？（其没有改变字符串的值，而是创建了一个新的字符串对象对原有的字符串复制，里面包含截取后的结果）用新的对象实现对象的不可变效果

public class Immutable{private int value = 0;public Immutable(int value){this.value = value;}public int getValue(){return this.value;}
}

如果想增加一个增加的方法应该如何实现？

public class Immutable{private int value = 0;public Immutable(int value){this.value = value;}public int getValue(){return this.value;}public Immutable add(int v){return new Immutable(this.value + v);} 
}

1.4 线程安全分析-实例分析

例1：
Servlet运行Tomcat环境下，只有一个实例（会被Tomcat多个线程所共享使用）

public class MyServlet extends HttpServlet {// 是否安全？/*Map不是线程安全的,线程安全的实现有HashTable，而HashMap并非线程安全，若多个请求线程访问同一个Servlet，有的存储内容而有的读取内容，会造成混乱*/Map<String,Object> map = new HashMap<>();// 是否安全？/*是线程安全的，字符串属于不可变量*/String S1 = "...";// 是否安全？(是)final String S2 = "...";// 是否安全？（不是）Date D1 = new Date();// 是否安全？/*final修饰后只能说明D2这个成员变量的引用值固定，而Date中的其它属性还可以可变的）*/final Date D2 = new Date();public void doGet(HttpServletRequest request, HttpServletResponse response) {// 使用上述变量}
}

例2：Servlet调用Service

public class MyServlet extends HttpServlet {// 是否安全？/*不是===>Servlet只有一份，而userService是Servlet的一个成员变量，因此也只有一份，会有多个线程共享使用*/private UserService userService = new UserServiceImpl();public void doGet(HttpServletRequest request, HttpServletResponse response) {userService.update(...);}
}
public class UserServiceImpl implements UserService {// 记录调用次数private int count = 0;public void update() {// ...count++;}
}

例3：

@Aspect
@Component
public class MyAspect {// 是否安全？private long start = 0L;@Before("execution(* *(..))")public void before() {start = System.nanoTime();}@After("execution(* *(..))")public void after() {long end = System.nanoTime();System.out.println("cost time:" + (end-start));}
}

spring中若未指定scope为非单例。默认为单例模式（需要被共享，其成员变量也需被共享，因此无论是执行复制操作还是下面执行减法运算，都会涉及到对象对成员变量的并发修改，会存在线程安全问题）

如何解决上述问题？
可以使用环绕通知（环绕通知可以将开始时间、结束时间变为环绕通知中的局部变量，此时便可保证线程安全）

例4：

public class MyServlet extends HttpServlet {// 是否安全private UserService userService = new UserServiceImpl();public void doGet(HttpServletRequest request, HttpServletResponse response) {userService.update(...);}
}
public class UserServiceImpl implements UserService {// 是否安全private UserDao userDao = new UserDaoImpl();public void update() {userDao.update();}
}
public class UserDaoImpl implements UserDao { public void update() {String sql = "update user set password = ? where username = ?";// 是否安全try (Connection conn = DriverManager.getConnection("","","")){// ...} catch (Exception e) {// ...}}
}

① Dao无成员变量，意味着即使有多个线程访问也不能修改它的属性、状态===>没有成员变量的类都是线程安全的
② Connection也是线程安全的，Connection属于方法内的局部变量，即使有多个线程访问，线程1创建的为Connection1而线程2创建的为Connection2，两者独立互不干扰

例5：

public class MyServlet extends HttpServlet {// 是否安全private UserService userService = new UserServiceImpl();public void doGet(HttpServletRequest request, HttpServletResponse response) {userService.update(...);}
}
public class UserServiceImpl implements UserService {// 是否安全private UserDao userDao = new UserDaoImpl();public void update() {userDao.update();}
}
public class UserDaoImpl implements UserDao {// 是否安全（不安全）/*Connection不为方法内的局部变量，而是做为Dao的成员变量（Dao只有一份会被多个线程共享，其内的共享变量也会被线程共享）*//*eg：线程1刚创建Connection还未使用，此时线程2close()*/private Connection conn = null;public void update() throws SQLException {String sql = "update user set password = ? where username = ?";conn = DriverManager.getConnection("","","");// ...conn.close();}
}

对于Connection这种对象应将其变为线程内私有的局部变量，而不是设置为共享的成员变量

例6：

public class MyServlet extends HttpServlet {// 是否安全private UserService userService = new UserServiceImpl();public void doGet(HttpServletRequest request, HttpServletResponse response) {userService.update(...);}
}
public class UserServiceImpl implements UserService { public void update() {UserDao userDao = new UserDaoImpl();userDao.update();}
}
public class UserDaoImpl implements UserDao {// 是否安全private Connection = null;public void update() throws SQLException {String sql = "update user set password = ? where username = ?";conn = DriverManager.getConnection("","","");// ...conn.close();}
}

UserDao在Service中作为方法内的局部变量存在，每一个线程调用时都会创建一个新的UserDa0对象，其内部的Connection也为新的。因此线程安全。

例7：

public abstract class Test {public void bar() {// 是否安全/*SimpleDateFormat虽然为方法内的局部变量，但其会暴露给其他线程（抽象方法其子类可能会产生一些不恰当的操作）*/SimpleDateFormat sdf = new SimpleDateFormat("yyyy-MM-dd HH:mm:ss");foo(sdf);}public abstract foo(SimpleDateFormat sdf);public static void main(String[] args) {new Test().bar();}
}

其中 foo 的行为是不确定的，可能导致不安全的发生，被称之为外星方法

public void foo(SimpleDateFormat sdf) {String dateStr = "1999-10-11 00:00:00";for (int i = 0; i < 20; i++) {new Thread(() -> {try {sdf.parse(dateStr);} catch (ParseException e) {e.printStackTrace();}}).start();}
}

不想向外暴露的变量可以使用final、private修饰，这样可以增强类的安全性

可以比较 JDK 中 String 类的实现：String类是不可变的，同时也是final的

private static Integer i = 0;public static void main(String[] args) throws InterruptedException {List<Thread> list = new ArrayList<>();for (int j = 0; j < 2; j++) {Thread thread = new Thread(() -> {for (int k = 0; k < 5000; k++) {synchronized (i) {i++;}}}, "" + j);list.add(thread);}list.stream().forEach(t -> t.start());list.stream().forEach(t -> {try {t.join();} catch (InterruptedException e) {e.printStackTrace();}});

为何将String类涉及为final？：若不使用final修饰，其子类也许可能覆盖掉String父类中的一些行为，导致线程不安全的发生（子类可能会破坏父类中某一方法的行为）

http://www.lryc.cn/news/23525.html

相关文章：

  • Tomcat源码分析-启动分析(二) Catalina初始化
  • 基础复习第二十二天 泛型的使用
  • 【C++进阶】三、二叉搜索树
  • 电脑系统崩溃怎么修复教程
  • 语义分割数据标注案例分析
  • 回归预测 | MATLAB实现GRU(门控循环单元)多输入单输出(多指标评价)
  • 驱动程序开发：Buildroot根文件系统构建并加载驱动文件xxx.ko测试
  • R+VIC模型融合实践技术应用及未来气候变化模型预测
  • 第六章.决策树(Decision Tree)—ID3算法，C4.5算法
  • springboot+pgbouncer+postgres数据库连接池集成方案及问题解决
  • Mysql 常用日期处理函数
  • Pod中容器的健康检查
  • 信贷系统学习总结（5）—— 简单的风控示例（含代码）
  • Java知识复习（四）多线程、并发编程
  • 一个9个月测试经验的人，居然在面试时跟我要18K，我都被他吓到了····
  • zigbee与WIFI同频干扰问题
  • git拉取指定的单个或多个文件或文件夹
  • 不是，到底有多少种图片懒加载方式？
  • CAD坐标有哪些输入方式？来看看这些CAD坐标输入方式！
  • 铰链、弹簧，特殊的物理关节
  • Android Studio相关记录
  • Linux 基础介绍-基础命令
  • Linux 进程：程序地址空间 与 虚拟内存
  • python 密码学编程
  • 【C++ | bug | 运算符重载】定义矩阵（模板）类时，使用 “友元函数” 进行 * 运算符重载时编译报错
  • 数学小课堂：无穷小（以动态的眼光看待世界，理解无限的世界）
  • leetcode 427. Construct Quad Tree（构建四叉树）
  • Spring Boot 3.0系列【2】部署篇之使用GraalVM构建原生镜像
  • 复习知识点十之方法的重载
  • 火爆全网的ChatGPT 和AI 可以为项目经理做什么？