volatile指令重排[通俗易懂]

volatile指令重排[通俗易懂]什么时候会发生指令重排?先来一个测试指令重排现象,下面这段代码会发生指令重排,也就是JVM优化了执行顺序。/***指令重排测试*/publicclassCommandDisorder{//当使用volatile关键词修饰变量时,则不会出现指令重排现象privatestatic/*volatile*/inta=0,b=0,c=0,d=0;/***测试方式:一次开启两个线程,同时修改变量*/

大家好,又见面了,我是你们的朋友全栈君。如果您正在找激活码,请点击查看最新教程,关注关注公众号 “全栈程序员社区” 获取激活教程,可能之前旧版本教程已经失效.最新Idea2022.1教程亲测有效,一键激活。

Jetbrains全系列IDE稳定放心使用

什么时候会发生指令重排?

先来一个测试指令重排现象,下面这段代码会发生指令重排,也就是JVM优化了执行顺序。

/** * 指令重排测试 */
public class CommandDisorder { 
   
    // 当使用volatile关键词修饰变量时,则不会出现指令重排现象
    private static /*volatile*/ int a = 0, b = 0, c = 0, d = 0;

    /** * 测试方式:一次开启两个线程,同时修改变量 */
    public static void main(String[] args) throws InterruptedException { 
   
        int i = 0;
        while (true) { 
   
            i++;
            a = b = c = d = 0;
            Thread t1 = new Thread(() -> { 
   
                a = 1;
                c = b; // 指令重排,会先执行这行代码,导致c = 0, d = 0
            });
            Thread t2 = new Thread(() -> { 
   
                b = 1;
                d = a; // 指令重排,会先执行这行代码,导致c = 0, d = 0
            });
            t1.start();
            t2.start();
            t1.join();
            t2.join();
            if (c == 0 && d == 0) { 
   
                System.err.println(String.format("第%s次出现指令重排", i));
                break;
            } else { 
   
                System.out.println(i);
            }
        }
    }
}

指令重排,异常出现了:

img

什么是指令重排?

为了提高性能,编译器和处理器常常会对既定的代码执行顺序进行指令重排序,JMM内部会有指令重排,并且会有af-if-serial和happen-before的理念来保证指令的正确性。

  • af-if-serial:不管怎么重排序,单线程下的执行结果不能被改变;
  • 先行发生原则(happen-before):先行发生原则有很多,其中程序次序原则,在一个线程内,按照程序书写的顺序执行,书写在前面的操作先行发生于书写在后面的操作,准确地讲是控制流顺序而不是代码顺序。

真实的业务中如何避免指令重排?

在真实业务场景中,预测到可能有多线程访问同一个变量时,建议加上volatile关键词,保证变量在线程间的可见性。

举一个简单的例子,单例模式

public class Singleton { 

// 为了避免指令重排,这里需要加上volatile关键词
private static /*volatile*/ Singleton singleton = null;
/** * double check lock(DCL) */
public static Singleton getInstance() { 

if (singleton == null) { 

synchronized (Singleton.class) { 

if (singleton == null) { 

// new 一个对象的过程,有三个步骤
// 1.内存分配
// 2.初始化
// 3.返回对象引用
// 由于JVM指令重排优化,可能会使得2、3两步顺序发生变化,说明这里不是一个原子性操作
singleton = new Singleton();
}
}
}
return singleton;
}
private static void removeInstance() { 

singleton = null;
}
private final String field = "init";
public static void main(String[] args) throws InterruptedException, ExecutionException { 

ExecutorService threadPool = Executors.newCachedThreadPool();
long start = System.currentTimeMillis();
for (int j = 0; j < 3000_000; j++) { 

execute(threadPool);
Singleton.removeInstance();
}
System.out.println("正常结束");
System.out.println("执行耗时:" + (System.currentTimeMillis() - start) + " ms");
System.exit(0);
}
/** * 使用500个线程同时去获取实例 */
private static final int THREAD_COUNT = 500;
private static void execute(ExecutorService threadPool) throws InterruptedException, ExecutionException { 

CountDownLatch downLatch = new CountDownLatch(THREAD_COUNT);
List<Callable<Singleton>> list = new ArrayList<>();
for (int i = 0; i < THREAD_COUNT; i++) { 

list.add(() -> { 

downLatch.countDown();
Singleton instance = Singleton.getInstance();
if (instance.field == null) { 

throw new RuntimeException("获取到未实例化的对象");
}
return instance;
});
}
List<Future<Singleton>> futures = threadPool.invokeAll(list);
Set<Singleton> set = new HashSet<>();
for (Future<Singleton> future : futures) { 

set.add(future.get());
}
if (set.size() > 1) { 

System.out.println("产生多实例!");
throw new RuntimeException("产生多实例!");
}
}
}

当没有采用DCL时,可能会产生多实例。采用了DCL而没有使用volatile关键词,则可能出现:获取到未实例化的对象,原理见第一个示例。

看似一个简单的单例,内部却隐含了不少有意思的内容。

版权声明:本文内容由互联网用户自发贡献,该文观点仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 举报,一经查实,本站将立刻删除。

发布者:全栈程序员-用户IM,转载请注明出处:https://javaforall.cn/183443.html原文链接:https://javaforall.cn

【正版授权,激活自己账号】: Jetbrains全家桶Ide使用,1年售后保障,每天仅需1毛

【官方授权 正版激活】: 官方授权 正版激活 支持Jetbrains家族下所有IDE 使用个人JB账号...

(0)
blank

相关推荐

  • Java——数组的定义与使用「建议收藏」

    Java——数组的定义与使用「建议收藏」目录1.数组2.数组初始化2.1动态初始化(声明并开辟数组)2.2引用传递的内存分析2.3静态初始化(开辟同时赋值)3.二维数组4.数组与方法互操作5.Java对数组的支持5.1排序:5.2拷贝6.对象数组6.1动态初始化1.数组一组相关类型的变量集合缺点:长度固定,存在越界问题2.数组初始化 2.1动态初始化…

  • java 反编译器_Java反编译工具

    java 反编译器_Java反编译工具xjad反编译工具下载使用反编译时把class文件直接拖拽至工具内即可,如果反编译结果不对时把class文件重新去拿原始的不要编辑打开,或者放在一个文件夹内在试。反编译后的代码没有注释、注解等,反正能用得细心看看调整。点击下载工具http://a.xzfile.com/down2/XJadfanbinayi_downcc.zip…

  • html 5简易的影片播放器

    html 5简易的影片播放器

  • html+css唯美登录页面,代码提供(效果展示)「建议收藏」

    html+css唯美登录页面,代码提供(效果展示)「建议收藏」效果图所有代码<!DOCTYPEhtml><htmllang=”en”><head><metacharset=”UTF-8″><metahttp-equiv=”X-UA-Compatible”content=”IE=edge”><metaname=”viewport”content=”width=device-width,initial-scale=1.0″><ti

  • eclipse自动补全设置_eclipse补全设置

    eclipse自动补全设置_eclipse补全设置Eclipse版本问题描述自动补全显示顺序不尽人意,如下:输入equals使用自动补全后,显然并不是我们希望使用的方法。解决方法1进入Windows选项卡下的Perferences,搜索ContentAssist,找到Java选项卡下的ContentAssist,选择Advanced选项卡。将其中内容配置为(即,将上下两部分的JavaProposals(Task-Focused)取消勾选,将JavaProposals勾选);之后就可以开心的使用自动补全啦!解决方法2这是

    2022年10月15日
  • UCOSII操作系统 第3课—UCOSII启动过程

    UCOSII操作系统 第3课—UCOSII启动过程1、初始化UCOSII(1)在调用UCOSII在任何的其他的服务之前,UCOSII要求首先调用初始化函数OSInit();这个函数的目的就是在整个系统启动之前,初始化所有的变量和数据结构。(2)其中,在OSInit()函数中建立空闲任务OS_TaskIdle();这个任务总是处于就绪态的,空闲任务的优先级是设置为最低的。(3)调用OSInit以后,任务控制块缓冲池中有OS_MAX_TASKS个任务控制块,事件控制缓冲区中有OS_MAX_EVENTS个事件控制块,消息队列缓冲池OS_Q中有OS_MAX

发表回复

您的电子邮箱地址不会被公开。

关注全栈程序员社区公众号