你是怎么理解线程安全问题的？

 作者简介：大家好，我是码炫码哥，前中兴通讯、美团架构师，现任某互联网公司CTO，兼职码炫课堂主讲源码系列专题

代表作：《jdk源码&多线程&高并发》，《深入tomcat源码解析》，《深入netty源码解析》，《深入dubbo源码解析》，《深入springboot源码解析》，《深入spring源码解析》，《深入redis源码解析》等

联系qq：184480602，加我进群，大家一起学习，一起进步，一起对抗互联网寒冬。码炫课堂的个人空间-码炫码哥个人主页-面试，源码等

回答

线程安全的本质是内存安全，在 Java 中我们绝大多数的数据都是存储在 Java 堆中的，而 Java 堆是所有线程共享的。当多个线程访问同一个对象时，如果能够获得预期的结果，那么我们就会说这个对象线程安全，反之线程不安全。

一个对象是否线程安全需要考虑两个问题：

共享资源

首先我们的资源需要是共享的，例如线程独享的局部变量我们是无需考虑其线程安全问题的。多个线程访问和修改同一块资源，可能会 导致资源状态的不一致。

竞争条件

如果多个线程同时访问共享资源，并试图同时修改它，就会产生竞争条件。

同时，线程安全还问题还涉及三个核心问题：

• 原子性

原子性指的是一个或多个操作在 CPU 执行的过程中是不可分割的、执行过程中不可被中断的一整套操作。如果一个操作是原子的，那么这些操作要么全部成功执行并完成，要么全部不执行，不会出现中间状态。比如下面这个操作就不是原子性的：

i++

因为它包含了三个步骤：

1. 读取i的值。
2. 增加i的值。
3. 将新值写回到i的内存地址。

在多线程环境下，如果我们不采取有效的保护措施，则该操作就是线程不安全的。

 

• 可见性

可见性是指一个线程对共享变量的修改，能够及时被其他线程看到。由于 Java 的内存模型（JMM）的存在，线程对变量的操作并不总是直接作用于主内存，而是可能会被缓存到线程的工作内存中（如 CPU 缓存）。

 

• 有序性

有序性指的是程序在执行过程中，操作的顺序可以按照程序的代码顺序执行。由于编译器和处理器的优化（重排序），代码的实际执行顺序可能与代码的书写顺序不同。