volatile在高并发环境下能保证可见性和指令重拍吗？

Question

package fangfa;

import java.util.concurrent.CountDownLatch;

public class Ljsdjj24324 {
    public static void main(String[] args) throws InterruptedException {
        Hasdy hasdy = new Hasdy();
        CountDownLatch countDownLatch = new CountDownLatch(9999);
        for (int i = 0; i < 9999; i++) {
            new Thread(()->{
                for (int i1 = 0; i1 < 100; i1++) {
                    hasdy.setaaa();
                }
                countDownLatch.countDown();
            }).start();
        }
        countDownLatch.await();
        Thread.sleep(5000);
        System.out.println(hasdy.getasd());
    }
}
class Hasdy{
    volatile int a = 1;
    void setaaa(){
        a+=1;
    }
    int getasd(){
        return a;
    }
}

volatile并没有保证多线程安全
为什么会这样。
根据Happens-Before规则，先开启的线程对数据的修改对后续线程应该是可见的啊
难道是我理解错了吗？

Answer 1

volatile只能保证内存变化的可见性，不能保证操作的原子性。
你的setaaa()方法里执行了a+=1，分析一下这一步实际执行的操作：

1. 将a原有的值从内存载入到操作数栈
2. 对操作数栈中的值进行加一
3. 将操作数栈中的值刷到内存中

第一步有一个从内存载入的操作，假设时刻a有线程1从内存载入的值为1，时刻b有其他线程修改了内存中的值为5，而线程1计算得到的值却是2，这时线程1将2刷到内存中，覆盖了5，这明显就有问题了。