Java 内存模型--可见性-再理解

java内存模型

java程序的内存模型中如下图：

主内存：所有线程共享，可理解为堆；

工作内存：线程独享，可理解为栈；

线程在执行过程中需要从主内存拷贝共享变量，也需要将修改后的变量再写会到主内存中。在多线程场景下，主内存共享变量的可见性和一致性问题随之产生。

实现可见性主要有两种方式：

• Synchronized加锁；
• volatile关键字。

volatile如何实现共享变量的可见性呢?

volatile变量再编译时，会生成lock指令，lock指令在多核处理器下会引发了两件事情。

• 将当前处理器缓存行的数据会写回到系统内存。
• 这个写回内存的操作会引起在其他CPU里缓存了该内存地址的数据无效。

对普通变量进行操作时，cpu为了提高处理速度，不直接和内存进行通讯，而是先将系统内存的数据读到内部缓存（L1,L2或其他）后再进行操作，但操作完之后不知道何时会写回到主内存。

在对声明了volatile变量进行写操作，JVM就会向处理器发送一条Lock前缀的指令，将这个变量所在缓存行的数据写回到系统内存。但是就算写回到内存，如果其他处理器缓存的值还是旧的，再执行计算操作页会有问题，所以在多处理器下，为了保证各个处理器的缓存是一致的，就会实现缓存一致性协议，每个处理器通过嗅探在总线上传播的数据来检查自己缓存的值是不是过期了，