volatile关键字作用及自增操作线程安全问题咨询：count++是否会将volatile数据线程本地存储？

首先直接回应你的问题：你关于count++等价于int temp = count; count = temp + 1;、且temp是线程本地存储的推测完全正确。但这只是问题的一部分，导致断言失败的核心原因还有volatile关键字的局限性。

为什么会出现断言失败？ #

你已经拆出了count++的本质：它是读取-修改-写入三个独立操作的组合，这三个操作不是原子的。虽然volatile关键字保证了：

• 可见性：每个线程读取count时都会拿到最新的内存值，不会读到缓存的旧值
• 禁止指令重排序：不会把相关指令打乱顺序执行

但volatile不保证复合操作的原子性。举个具体的场景：

1. 线程A读取count的值为999，存入自己栈中的temp变量（线程本地）
2. 线程B同时读取count的值也为999，存入自己的temp变量
3. 线程A执行temp + 1得到1000，把值写回count
4. 线程B执行temp + 1也得到1000，把值写回count

这时候两次自增操作只让count增加了1，最终结果就会比预期的10000少。这就是你看到count在9991-9999之间波动的原因。

怎么解决这个问题？ #

有两种常见的可靠方案：

方案1：用synchronized保证原子性 #

把increment()方法改成同步方法，让整个自增操作变成原子操作：

public class Counter implements Runnable { 
    private int count = 0; // 这里volatile可以去掉了，synchronized已经保证可见性和原子性
    public int getCount() { return count; } 
    public synchronized void increment() { count++; } 
    @Override 
    public void run() { increment(); } 
}

方案2：用AtomicInteger（更推荐） #

Java的java.util.concurrent.atomic包专门提供了原子类，AtomicInteger的getAndIncrement()方法是原子的，性能也比synchronized更优：

import java.util.concurrent.atomic.AtomicInteger;

public class Counter implements Runnable { 
    private AtomicInteger count = new AtomicInteger(0); 
    public int getCount() { return count.get(); } 
    public void increment() { count.getAndIncrement(); } 
    @Override 
    public void run() { increment(); } 
}

总结 #

你对count++的拆分和temp线程本地属性的推测是完全正确的，但要记住：volatile只能解决可见性和指令重排序问题，无法解决复合操作的原子性问题。这才是导致你的测试断言失败的核心原因。

内容的提问来源于stack exchange，提问作者Jason Rich Darmawan