Java内存模型之重排序

2024-01-14 12:12
文章标签 java 内存 模型 排序 之重

本文主要是介绍Java内存模型之重排序,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

文章目录

  • 1.什么是重排序
  • 2.重排序的好处
  • 3.重排序的三种情况
  • 4.用volatile修正重排序问题

1.什么是重排序

首先来看一个代码案例,尝试分析一下 x 和 y 的运行结果。

import java.util.concurrent.CountDownLatch;/*** 演示重排序的现象,直到达到某个条件才停止,测试小概率事件*/
public class OutOfOrderExecution {private static int x = 0, y = 0;private static int a = 0, b = 0;public static void main(String[] args) throws InterruptedException {int i = 0;while (true) {i++;x = 0;y = 0;a = 0;b = 0;CountDownLatch latch = new CountDownLatch(3);Thread one = new Thread(new Runnable() {@Overridepublic void run() {try {latch.countDown();latch.await();} catch (InterruptedException e) {e.printStackTrace();}a = 1;x = b;}});Thread two = new Thread(new Runnable() {@Overridepublic void run() {try {latch.countDown();latch.await();} catch (InterruptedException e) {e.printStackTrace();}b = 1;y = a;}});two.start();one.start();latch.countDown();one.join();two.join();String result = "第" + i + "次 (x = " + x + ", y = " + y + ")";if (x == 0 && y == 0) {System.out.println(result);break;} else {System.out.println(result);}}}
}

经过分析可知,线程 one 的第 33 行和第 34 行和线程 two 的第 47 行和第 48 行是核心代码,这 4 行代码的执行顺序决定了最终 x 和 y 的结果。

根据大多数人对多线程的认知,在线程 one 内部,第 33 行和第 34 行代码的执行顺序是不会改变的,即 a=1 会在 x=b 前执行;在线程 two 内部,第 47 行和第 48 行代码的执行顺序是不会改变的,即 b=1 会在 y=a 前执行。在此前提下,x 和 y 的最终结果一共有 3 种情况:

  • 最终结果是 x=0, y=1,可能的执行顺序是 a=1; x=b; b=1; y=a;
  • 最终结果是 x=1, y=0,可能的执行顺序是 b=1; y=a; a=1; x=b;
  • 最终结果是 x=1, y=1,可能的执行顺序是 b=1; a=1; x=b; y=a;

然而,在实际运行过程中,会出现 x=0, y=0 的结果,这是因为重排序发生了,其中一种可能的代码执行顺序是 y=a; a=1; x=b; b=1;

在这里插入图片描述

至此,便可解答一个问题:什么是重排序?

在线程内部的两行代码的实际执行顺序和代码在Java文件中的顺序不一致,代码指令并不是严格按照代码语句顺序执行的,它们的顺序被改变了,这就是重排序。

2.重排序的好处

对比下面重排序前后的指令优化,我们可以发现,重排序的好处是可以提高处理速度。

在这里插入图片描述

在这里插入图片描述

3.重排序的三种情况

  • 编译器优化:包括JVM,JIT编译器等。
  • CPU指令重排:就算编译器不发生重排,CPU也可能对指令进行重排。
  • 内存的“重排序”:线程 A 的修改线程 B 却看不到,引出可见性问题。

4.用volatile修正重排序问题

使用 volatile 关键字修正上面的 OutOfOrderExecution 类,加了 volatile 后,就不会出现 (x=0, y=0) 的情况了。

import java.util.concurrent.CountDownLatch;/*** 使用volatile关键字修正重排序问题*/
public class OutOfOrderExecution {private volatile static int x = 0, y = 0;private volatile static int a = 0, b = 0;public static void main(String[] args) throws InterruptedException {int i = 0;while (true) {i++;x = 0;y = 0;a = 0;b = 0;CountDownLatch latch = new CountDownLatch(3);Thread one = new Thread(new Runnable() {@Overridepublic void run() {try {latch.countDown();latch.await();} catch (InterruptedException e) {e.printStackTrace();}a = 1;x = b;}});Thread two = new Thread(new Runnable() {@Overridepublic void run() {try {latch.countDown();latch.await();} catch (InterruptedException e) {e.printStackTrace();}b = 1;y = a;}});two.start();one.start();latch.countDown();one.join();two.join();String result = "第" + i + "次 (x = " + x + ", y = " + y + ")";if (x == 0 && y == 0) {System.out.println(result);break;} else {System.out.println(result);}}}
}

这篇关于Java内存模型之重排序的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/605118

相关文章

JVM 的类初始化机制

前言 当你在 Java 程序中new对象时,有没有考虑过 JVM 是如何把静态的字节码(byte code)转化为运行时对象的呢,这个问题看似简单,但清楚的同学相信也不会太多,这篇文章首先介绍 JVM 类初始化的机制,然后给出几个易出错的实例来分析,帮助大家更好理解这个知识点。 JVM 将字节码转化为运行时对象分为三个阶段,分别是:loading 、Linking、initialization

Spring Security 基于表达式的权限控制

前言 spring security 3.0已经可以使用spring el表达式来控制授权,允许在表达式中使用复杂的布尔逻辑来控制访问的权限。 常见的表达式 Spring Security可用表达式对象的基类是SecurityExpressionRoot。 表达式描述hasRole([role])用户拥有制定的角色时返回true (Spring security默认会带有ROLE_前缀),去

浅析Spring Security认证过程

类图 为了方便理解Spring Security认证流程,特意画了如下的类图,包含相关的核心认证类 概述 核心验证器 AuthenticationManager 该对象提供了认证方法的入口,接收一个Authentiaton对象作为参数; public interface AuthenticationManager {Authentication authenticate(Authenti

Spring Security--Architecture Overview

1 核心组件 这一节主要介绍一些在Spring Security中常见且核心的Java类,它们之间的依赖,构建起了整个框架。想要理解整个架构,最起码得对这些类眼熟。 1.1 SecurityContextHolder SecurityContextHolder用于存储安全上下文(security context)的信息。当前操作的用户是谁,该用户是否已经被认证,他拥有哪些角色权限…这些都被保

Spring Security基于数据库验证流程详解

Spring Security 校验流程图 相关解释说明(认真看哦) AbstractAuthenticationProcessingFilter 抽象类 /*** 调用 #requiresAuthentication(HttpServletRequest, HttpServletResponse) 决定是否需要进行验证操作。* 如果需要验证,则会调用 #attemptAuthentica

Spring Security 从入门到进阶系列教程

Spring Security 入门系列 《保护 Web 应用的安全》 《Spring-Security-入门(一):登录与退出》 《Spring-Security-入门(二):基于数据库验证》 《Spring-Security-入门(三):密码加密》 《Spring-Security-入门(四):自定义-Filter》 《Spring-Security-入门(五):在 Sprin

Java架构师知识体认识

源码分析 常用设计模式 Proxy代理模式Factory工厂模式Singleton单例模式Delegate委派模式Strategy策略模式Prototype原型模式Template模板模式 Spring5 beans 接口实例化代理Bean操作 Context Ioc容器设计原理及高级特性Aop设计原理Factorybean与Beanfactory Transaction 声明式事物

大模型研发全揭秘:客服工单数据标注的完整攻略

在人工智能(AI)领域,数据标注是模型训练过程中至关重要的一步。无论你是新手还是有经验的从业者,掌握数据标注的技术细节和常见问题的解决方案都能为你的AI项目增添不少价值。在电信运营商的客服系统中,工单数据是客户问题和解决方案的重要记录。通过对这些工单数据进行有效标注,不仅能够帮助提升客服自动化系统的智能化水平,还能优化客户服务流程,提高客户满意度。本文将详细介绍如何在电信运营商客服工单的背景下进行

NameNode内存生产配置

Hadoop2.x 系列,配置 NameNode 内存 NameNode 内存默认 2000m ,如果服务器内存 4G , NameNode 内存可以配置 3g 。在 hadoop-env.sh 文件中配置如下。 HADOOP_NAMENODE_OPTS=-Xmx3072m Hadoop3.x 系列,配置 Nam

Java进阶13讲__第12讲_1/2

多线程、线程池 1.  线程概念 1.1  什么是线程 1.2  线程的好处 2.   创建线程的三种方式 注意事项 2.1  继承Thread类 2.1.1 认识  2.1.2  编码实现  package cn.hdc.oop10.Thread;import org.slf4j.Logger;import org.slf4j.LoggerFactory