原子操作是不可分割的最小执行单元,如i++非原子而AtomicInteger的incrementAndGet()基于CAS实现原子性;volatile仅保证可见性与有序性,不保证复合操作原子性。
原子操作在Java中指的是**不可分割、不会被线程调度机制中断的最小执行单元**。一个典型的例子是 i++ 看似简单,实则包含“读取—修改—写入”三步,多线程下可能交错执行,导致结果错误(如两个线程都读到 i=1,各自加1后都写回 2,最终丢失一次更新)。而原子操作能确保这整个过程要么全部完成,要么完全不发生——没有中间态,也没有竞态干扰。
volatile 能保证变量的**可见性**和**禁止指令重排序**,但它不保证复合操作的原子性。比如:
volatile int i = 0;
i++; // 仍是非原子的——读、加、写三步仍可被其他线程穿插
所以,仅用 volatile 无法解决 i++ 类问题,必须借助真正支持原子读-改-写的机制。
Java 的 java.util.concurrent.atomic 包(如 AtomicInteger)不是靠锁,而是基于 CPU 提供的硬件指令实现的,其中最关键的是 CAS(Compare-And-Swap):
cmpxchg),它一次性完成:比较内存值是否等于预期值,若相等则更新为新值,否则失败返回sun.misc.Unsafe(JDK9+ 后推荐用 VarHandle)调用该指令incrementAndGet() 这类方法,内部是循环尝试 CAS,直到成功为止(即“自旋”)下面这段代码能稳定输出 5000,无论并发多少次:
AtomicInteger count = new AtomicInteger(0);
for (int i = 0; i
count.incrementAndGet();
}
System.out.println(count.get()); // 总是 5000
关键点:
value 字段被声明为 volatile,保障每次读取都是最新值incrementAndGet() 底层调用 getAndAddInt(),后者用死循环 + CAS 实现无锁递增CAS 并非万能,实际使用中需留意:
AtomicStampedReference
LongAdder(分段累加,降低单点竞争)基本上就这些。