Java多线程并发的指令重排序问题及volatile写屏障原理详解
基础知识
什么是指令重排？
指令重排序是编译器或处理器为了提高性能而对指令执行顺序进行重新排列的优化技术。
对于单线程而言，有些指令可以重排，有些不能。 例如：
//以下两行交换顺序，并不影响结果，可以重排 int a = 1; int b = 2; int c; //以下两行，是否重排会导致c的值不同，故不可以重排序 int d = 2; int c = d;
1、多线程并发下的指令重排带来的问题
（1）可见性问题
指令重排序可能导致一个线程对共享变量的修改在另一个线程中不可见。这是因为指令重排序可以改变代码中的读写操作顺序，使得某个线程看到的变量值不一致
例如，如下代码会出现问题：
int x = 0;
boolean flag = false;
// 线程1执行的代码
x = 1;
flag = true;
// 线程2执行的代码
if (flag) {
System.out.println(x);
}在没有同步措施的情况下，由于指令重排序的存在，线程2有可能先读取到 flag 的值为 true，然后再读取 x 的值为 0，导致输出结果不符合期望。
（2）有序性问题
指令重排序可能破坏原有的代码执行顺序，导致程序逻辑出现错误。
int a = 1;
int b = 2;
// 线程1执行的代码
a = a + 1;
b = a * 2;
// 线程2执行的代码
if (b == 4 && a == 3) {
// ...
}在没有同步措施的情况下，由于指令重排序的存在，线程1有可能先将 b 的值计算为 4，然后再计算 a 的值为 3，导致线程2的条件判断不成立，出现逻辑错误。
2、volatile解决指令重排问题的原理
只需要规定变量是volatile类型，就可以避免指令重排的问题，原因如下：
写屏障
在使用 volatile 修饰的变量进行写操作时，编译器或处理器会在对应的指令之前插入写屏障，以确保将写入缓存区的值立即刷新到主内存中。 同时，读操作也会受到读屏障的影响，在读取 volatile 变量之前，编译器或处理器会先执行读屏障，以从主内存中获取最新的值。
这样，通过写屏障和读屏障的配合，volatile 变量能够实现禁止指令重排序、保证可见性的效果，从而解决了多线程并发环境下的指令重排问题。
到此这篇关于Java多线程并发的指令重排序问题及volatile写屏障原理详解的文章就介绍到这了,更多相关Java指令重排序及volatile屏障原理内容请搜索脚本之家以前的文章或继续浏览下面的相关文章希望大家以后多多支持脚本之家！
相关文章
有朋友说jpa相比mybatis太难用，多表联合的查询写起来也比较费劲，所以便加入了mybatis的支持，在配置jpa时遇到各种问题，需要修改相关配置文件，下面小编给大家分享下修改配置文件的思路，感兴趣的朋友参考下2016-10-10
SpringBoot数据库初始化datasource配置方式
这篇文章主要为大家介绍了SpringBoot数据库初始化datasource配置方式，有需要的朋友可以借鉴参考下，希望能够有所帮助，祝大家多多进步，早日升职加薪2022-12-12
SpringMVC事件监听ApplicationListener实例解析
这篇文章主要介绍了SpringMVC事件监听ApplicationListener实例解析,文中通过示例代码介绍的非常详细，对大家的学习或者工作具有一定的参考学习价值,需要的朋友可以参考下2019-11-11
本篇文章介绍了，java中数组的应用及方法。需要的朋友参考下2013-04-04
java SpringBoot注解@Async不生效的解决方法
大家好，本篇文章主要讲的是java SpringBoot注解@Async不生效的解决方法，感兴趣的同学赶快来看一看吧，对你有帮助的话记得收藏一下2022-01-01
SpringBoot+MyBatis-Plus实现数据库读写分离的代码示例
在当今互联网应用中,数据库读写分离是提高系统性能和稳定性的重要手段之一,通过将读操作和写操作分别路由到不同的数据库节点,可以有效减轻数据库服务器的负担,本文将介绍如何利用SpringBoot和MyBatis-Plus框架实现数据库读写分离,需要的朋友可以参考下2023-11-11
Kotlin + Retrofit + RxJava简单封装使用详解
这篇文章主要介绍了Kotlin + Retrofit + RxJava简单封装使用详解，小编觉得挺不错的，现在分享给大家，也给大家做个参考。一起跟随小编过来看看吧2018-07-07
本文先对log4j进行了简短的介绍，而后通过安装、配置和普通项目和web项目几个方面来详细介绍了在Java下利用log4j记录日志的方法，有需要的朋友们可以参考借鉴。2016-09-09
这篇文章主要介绍了实例讲解Java并发编程之ThreadLocal类,本文给出了模拟ThreadLocal、实用ThreadLocal等代码实例,需要的朋友可以参考下2015-04-04
Springboot使用redisson + 自定义注解实现消息的发布订阅(解决方案)
Redisson是一个基于Redis的Java驻留内存数据网格（In-Memory Data Grid）和分布式锁框架,它提供了一系列的分布式Java对象和服务,可以帮助开发者更方便地使用Redis作为数据存储和分布式锁的解决方案,感兴趣的朋友跟随小编一起看看吧2024-05-05
最新评论