volatile是如何禁止指令进行重排序的

简介: volatile是如何禁止指令进行重排序的

Further Reading : 内存屏障类型介绍(StoreStore,StoreLoad,LoadLoad,LoadStore)
Further Reading : 什么是指令重排

重排序分为编译器重排序和处理器重排序。 为了实现volatile内存语义,JMM会分别限制这两种类型的重排序类型。

● volatile禁止的重排序
1、当第二个操作是volatile写时,不管第一个操作是什么,都不能重排序。这个规则确保volatile写之前的操作不会被编译器重排序到volatile写之后。
2、当第一个操作是volatile读时,不管第二个操作是什么,都不能重排序。这个规则确保volatile读之后的操作不会被编译器重排序到volatile读之前。
3、当第一个操作是volatile写,第二个操作是volatile读时,不能重排序。

●JMM针对编译器制定的volatile重排序规则表
在这里插入图片描述

● volatile如何禁止重排序的?
编译器在生成字节码时,会在指令序列中插入内存屏障来禁止特定类型的处理器重排序。
第1步:在每个volatile写操作的前面插入一个StoreStore屏障,后面插入一个StoreLoad屏障。
在这里插入图片描述

●StoreStore屏障 禁止上面普通写与下面volatile写重排序,上面普通读与下面volatile写如何禁止重排序?
虽然StoreStore屏障主要作用于防止store-store重排序,但在volatile写操作中实际会使用更复杂的内存屏障组合,以确保volatile写之前的普通读不会被重排到volatile写之后。

第2步:在每个volatile写操作的后面插入一个StoreLoad屏障
StoreLoad屏障 禁止 volatile写和volatile读重排序

因为编译器常常无法准确判断在一个volatile写的后面是否需要插入一个StoreLoad屏障(比如,一个volatile写之后方法立即return)。为了保证能正确实现volatile的内存语义,JMM在采取了保守策略:在每个volatile写的后面,或者在每个volatile读的前面插入一个StoreLoad屏障。从整体执行效率的角度考虑,JMM最终选择了在每个volatile写的后面插入一个StoreLoad屏障。因为volatile写-读内存语义的常见使用模式是:一个写线程写volatile变量,多个读线程读同一个volatile变量。当读线程的数量大大超过写线程时,选择在volatile写之后插入StoreLoad屏障将带来可观的执行效率的提升。从这里可以看到JMM在实现上的一个特点:首先确保正确性,然后再去追求执行效率。

第3步:在每个volatile读操作的后面插入一个LoadLoad屏障,一个LoadStore屏障。

在这里插入图片描述

LoadLoad屏障+LoadStore屏障 禁止 普通读,普通写 和volatile读重排序

相关文章
|
算法 Java 编译器
【JIT技术】
【JIT技术】
707 0
|
消息中间件 存储 缓存
超全面Java中的队列(Queue)
Java中的`Queue`接口位于`java.util`包,继承自`Collection`,用于存储待处理的元素,通常遵循FIFO原则。它包含`add`、`offer`、`poll`等方法,支持多种实现类,如`LinkedList`、`PriorityQueue`、`ArrayDeque`、`ConcurrentLinkedQueue`及`BlockingQueue`系列。
1162 0
|
10月前
|
监控 数据挖掘 UED
1688运营实战指南:从入门到精通的学习路径全解析!
在当今电商环境下,1688作为国内领先的B2B平台,已成为众多企业不可或缺的销售渠道。无论是源头工厂、批发商,还是寻求优质货源的创业者,掌握专业的1688运营技能都显得尤为重要。本文将为大家系统梳理1688运营的学习路径和实战方法,帮助商家少走弯路,快速提升店铺运营效果。
|
11月前
|
canal 关系型数据库 MySQL
数据同步神器-Canal
Canal是阿里巴巴开源的MySQL增量日志解析工具,通过模拟MySQL主从复制机制,实时捕获数据库变更,实现数据同步至Kafka、Elasticsearch等系统,广泛应用于数据同步、监控、备份与迁移场景。
7821 5
|
安全 Java 开发者
Java集合框架:详解Deque接口的栈操作方法全集
理解和掌握这些方法对于实现像浏览器后退功能这样的栈操作来说至关重要,它们能够帮助开发者编写既高效又稳定的应用程序。此外,在多线程环境中想保证线程安全,可以考虑使用ConcurrentLinkedDeque,它是Deque的线程安全版本,尽管它并未直接实现栈操作的方法,但是Deque的接口方法可以相对应地使用。
567 12
|
应用服务中间件 Linux nginx
Docker Compose 安装与使用(常用指令)
Docker Compose 安装与使用(常用指令)
1466 0
|
SQL Java 关系型数据库
SpringBoot 系列之 MyBatis输出SQL日志
这篇文章介绍了如何在SpringBoot项目中通过MyBatis配置输出SQL日志,具体方法是在`application.yml`或`application.properties`中设置MyBatis的日志实现为`org.apache.ibatis.logging.stdout.StdOutImpl`来直接在控制台打印SQL日志。
SpringBoot 系列之 MyBatis输出SQL日志
|
存储 缓存 人工智能
【AI系统】GPU 工作原理
本文详细解析了AI计算体系中的GPU工作原理,重点介绍了GPU与CPU在架构上的差异,强调了GPU在并行计算方面的优势。文章通过$AX+Y$的例子,展示了GPU如何通过并行和并发提高计算效率,并深入探讨了GPU的缓存机制及线程原理,解释了GPU如何通过大量线程和Warp来掩盖延迟问题,实现高效计算。
1512 0
|
Linux Python
在Linux中,如何查找系统中占用CPU最高的进程?
在Linux中,如何查找系统中占用CPU最高的进程?
|
开发框架 Java 开发者
Spring Boot中的自动装配原理
Spring Boot中的自动装配原理
3948 1