原子性指操作不可分割、不可中断,要么全执行要么不执行;Java中基本类型单次读写天然原子(long/double除外),i++因含读-改-写三步而非原子,需AtomicInteger或synchronized等保障。

原子性是指一个操作不可分割、不可中断——要么全部执行完成,要么完全不执行,中间不会被其他线程干扰或插入。它不是指“快”,而是指“不可拆分”。在多线程环境下,这是保障数据一致性的第一道防线。
哪些操作天然具有原子性
Java中对基本类型(long 和 double 除外)的**单次读或单次写**是原子的:
- int a = 1; —— 一次赋值,原子
- boolean flag = true; —— 原子
- byte/short/char 类型的简单赋值也属于原子操作
但注意:long 和 double 在32位JVM上可能被拆成两次32位操作,因此不保证原子性(除非用 volatile 修饰或使用 AtomicLong/AtomicDouble)。
为什么 i++ 不是原子操作
表面看是一行代码,实际对应三个独立步骤:
立即学习“Java免费学习笔记(深入)”;
- 从主内存或工作内存读取 i 的当前值
- 在CPU寄存器中执行加1运算
- 把新值写回变量 i
如果两个线程同时执行 i++,可能出现:都读到 i=5 → 都算出6 → 都写回6,最终结果仍是6,而非预期的7。这就是典型的原子性缺失导致的竞态条件。
如何实现真正的原子操作
Java提供了多种保障手段,适用场景不同:
- java.util.concurrent.atomic 包中的类(如 AtomicInteger、AtomicReference):基于CAS(Compare-And-Swap)硬件指令,无锁、轻量、高性能
- synchronized 块或方法:通过互斥锁强制串行化执行,适合复合逻辑(比如“读-改-写”多步操作)
- ReentrantLock:功能更灵活的显式锁,支持可中断、超时、公平性等
例如:atomicInt.incrementAndGet() 是原子的,而普通 i++ 不是;synchronized(this) { count++; } 把非原子操作包裹进临界区,也变成原子语义。
原子性 ≠ 线程安全的全部
即使操作是原子的,也不能自动解决可见性和有序性问题。比如:
- 一个线程用 AtomicInteger 更新了值,另一个线程能立刻看到最新值(因为 Atomic* 内部已用 volatile 保证可见性)
- 但如果只靠 synchronized 保护写,却没同步读,读线程仍可能看到过期值
- 指令重排序可能让对象构造未完成就被发布(DCL单例失效),这时需 volatile 或 final 配合
所以原子性只是并发三要素之一,必须和可见性、有序性协同设计。










