volatile可见性和指令重排的理解

前言

前几天被问到volatile关键字的作用，因为太久没复习java并发这边的知识，所以只含糊的答出了可见性和禁止指令重排这两点。

这两天在复习一些java多线程相关的知识，又看到了volatile变量，看到了以前的笔记，突然对它的可见性、禁止指令重排序、进程间通信这些比较生涩的概念有了更深的理解，而能把这一块讲透的文章也比较少，特此记录下来

volatile关键字定义回放

我们都知道volatile关键字有两大作用

• 使变量可见：每次v写都会写回主存；每次v读都会从主存里读，因此线程一定能读到最新的值（而且不会被编译器优化掉，成为死掉的常量之类的）
• 禁止指令重排序：java1.5增强了它的内存语义，v读之后的代码块不允许发生在v读之前，v写之前的代码块不允许发生在v写之后

JVM读写变量过程回放

JVM在读写变量时，可以简化为以下的两个指令：

• 从主存里读一个变量，我们后面称它为 load
• 向主存里写一个变量，我们后面称它为 store

需要注意的是：如果我们单纯地给一个共享变量赋值（执行类似 x = 1 这样的指令），同样也要经过“读”的过程。JVM不允许单纯的写指令（我的意思是，底层不允许，写之前必须先读）

也就是说，对于一个变量的 store操作，之前一定有一个load。这一点对于理解后面的内存屏障有帮助

再看内存屏障