当前位置：网站首页>【并发编程051】volatile 内存语义的实现原理

【并发编程051】volatile 内存语义的实现原理

2022-04-22 12:16:00 【檀越剑指大厂】

volatile 内存语义的实现原理

Volatile内存语义请参见 43 题 。此题主要讲解volatile内存语义的实现原理。

为了实现volatile内存语义， JMM 会分别禁止如下两种类型的重排序类型：

image-20220415132404494

从图中可看出：

  1. volatile写写禁止重排序

  2. volatile读写， 读读禁止重排序； volatile读和普通写禁止重排序

  3. volatile写读， volatile写写禁止重排序。

image-20220415132450029

为了实现volatile的内存语义， 编译器在生成字节码时， 会在指令序列中插入内存屏障来 禁止特定类型的处 理器重排序 。对于编译器来说， 发现一个最优布置来最小化插入屏障的总 数几乎不可能 。 为此， JMM采取 保守策略 。 下面是基于保守策略的JMM内存屏障插入策略。

• ·在每个volatile写操作的前面插入一个StoreStore屏障。

• ·在每个volatile写操作的后面插入一个StoreLoad屏障。

• ·在每个volatile读操作的后面插入一个LoadLoad屏障。

• ·在每个volatile读操作的后面插入一个LoadStore屏障。

image-20220415132505573

距离说明:

image-20220415132522751

版权声明
本文为[檀越剑指大厂]所创，转载请带上原文链接，感谢
https://qinyingjie.blog.csdn.net/article/details/124337974

边栏推荐

猜你喜欢

随机推荐