volatile 是如何保证可见性的
多线程如:
volatile instance = new instance();
示例代码中, instance 被volatile修饰。 上边的new操作, 转化成汇编代码如下:
as10x.…;lock…
有volatile变量修饰的共享变量进行写操作的时候会多出第二行Lock汇编代码, Lock前缀的指令在多核 处理器下会引发了两件事情:
1) 将当前处理器缓存行的数据写回到系统内存。 (volatile写的内存语义)
2) 这个写回内存的操作会使在其他CPU里缓存了该内存地址的数据无效 。 (volatile写的内存语义)
如果对声明了volatile的 变量进行写操作, JVM就会向处理器发送一条Lock前缀的指令, 将这个变量所在 缓存行的数据写回到系统内存。 在多处理器下, 为了保证各个处理器的缓存是一致的, 就会实现 缓存一致性协议 , 每个处理器通过 嗅探 在 总线上传播的数据来检查自己缓存的值是不是过期了, 当 处理器发现自己缓存行对应的内存地址被修改, 就会将当前处理器的缓存行设置成无效状态, 当处理器对这个数据进行修改操作的时候, 会重新从系统内 存中把数据读到处理器缓存里 (volatile读的内存语义)
12-22
172
![](https://csdnimg.cn/release/blogv2/dist/pc/img/readCountWhite.png)
06-12
2083
![](https://csdnimg.cn/release/blogv2/dist/pc/img/readCountWhite.png)
04-25