interview:volatile关键字的如何保证内存可见性以及为何无法保证原子性?

volatile缓存可见性实现原理:

底层实现主要是通过汇编的lock前缀指令,它会锁定这内存区域的缓存(缓存行锁定)并回写到主内存
IA-32架构软件开发者手册对lock指令的解释:

1. 会将当前处理器缓存行的数据立即写回系统内存
2. 这个写回内存的操作会引起在其他cpu里缓存了该内存地址的数据无效(MESI协议)

反正我是不记得汇编, 所以没有查看Java代码汇编查看

volatile是为何无法保证原子性?

先来一段代码辅助解释

public class VolatileAtomicTest {
    volatile static int num;

    public static void increase() {
        num++;
    }

    public static void main(String[] args) throws InterruptedException {
        Thread[] threads = new Thread[10];
        for (int i = 0; i < threads.length; i++) {
            threads[i] = new Thread(() -> {
                for (int j = 0; j < 1000; j++) {
                    increase();
                }
            });
            threads[i].start();
        }

        for (Thread thread : threads) {
            thread.join();
        }
        // 应该是1000 * 10 = 一万才对
        System.out.println(num);
    }
}

这里启动10个线程, 每个线程对num加1, 最后的结果应该是1万才对的.多次运行结果发现num的值 总是小于等于1万的结果, 为什么呢?
先来看个图,然后我附上上说明:

假如现在有两个线程1和2, 线程1将原始的num=0,修改为1,并store, write到主内存,但是此时也有一个线程2将num从0修改为1,正想写会到主内存中,谁知道线程1抢先一步写到主内存了,然后线程2的num就失效了,只能从主内存重新读取一次num=1 然后再写到主内存中. 到了这里你可能会问线程2本来就是打算将0改为1的不影响啊, 只不过是线程1帮他做了. 但是换个角度思考上面的代码为什么最后的结果会少于1万呢? 原因就在此处, 如果程序是原子性的话,2个线程完成操作后,num应该是2才对的, 但上述你都看到了是1, 这也是volatile无法保证原子性的原因

Java并发编程：volatile关键字解析
Java 并发编程：volatile的使用及其原理
再有人问你volatile是什么，把这篇文章也发给他
Java并发编程-volatile可见性的介绍