纯净、安全、绿色的下载网站

首页|软件分类|下载排行|最新软件|IT学院

当前位置:首页IT学院IT技术

Java重排序 Java内存模型之重排序的相关知识总结

Liziba   2021-06-10 我要评论
想了解Java内存模型之重排序的相关知识总结的相关内容吗Liziba在本文为您仔细讲解Java重排序的相关知识和一些Code实例欢迎阅读和指正我们先划重点:Java重排序,java排序下面大家一起来学习吧

一、数据依赖性

如果两个操作访问同一个变量而且这两个操作中有一个操作为写操作此时这两个操作之间存在数据依赖性数据依赖性分为三种如表所示:

名称 代码示例 说明
写后读 a=1;b=a; 写一个变量后再读这个位置
写后写 a=1;a=2; 写一个变量后在写这个变量
读后写 a=b;b=1; 读一个变量后再写这个变量

上面的这三种情况只要重排序了两个操作的执行顺序程序的执行结果就会被改变编译器和处理器针对单个处理器中执行的指令序列和单个线程中执行的操作重排序时会遵守数据依赖性编译器和处理器不会改变存在数据依赖关系的两个操作的执行顺序(不同处理器和不同线程之间的数据依赖性不被编译器和处理器考虑)

二、as-if-serial语义

as-if-serial语义指的是:不管怎么重排序单线程执行程序的执行结果不能被改变编译器、runtime和处理器都必须遵守as-if-serial语义

为了遵守as-if-serial语义编译器和处理器不会对存在数据依赖关系的操作做重排序因为 这种重排序会改变执行结果但是如果操作之间不存在数据依赖关系这些操作就可能被编译器和处理器重排序

举例说明计算圆面积的代码示例:

double pi = 3.14;			//	A
double r = 1.0;				//	B
double area = pi * r;		//	C

上面3个操作的数据依赖关系如下所示:

在这里插入图片描述

3个操作之间的依赖关系

解释:A和B之间存在数据依赖关系同时B和C之间也存在数据依赖关系因此在最终执行的指令序列中C不可能被排到A和B的前面(C排到A和B的前面程序的结果将会被改变)但A和B之间没有数据依赖关系编译器和处理器可重排序A和B之间的执行顺序

重排序后存在如下的执行可能:

在这里插入图片描述

总结:as-if-serial语义吧单线程程序保护起来了遵守as-if-serial语义的编译器、runtime和处理器共同为编写单线程程序的程序员创建了一个错误的幻觉单线程程序是按程序的顺序来执行的as-if-serial语义使单线程程序员无需担心重排序会干扰他们也无需担心内存可见性问题

三、程序顺序规则

根据happens-before的程序规则上面计算圆的面积的示例代码存在3个happens-before关系

1.A happens-before B

2.B happens-before C

3.A happens-before C

A happens-before C是根据1和2推导出来的

虽然A happens-before B但是实际执行时B却可以排在A前面执行(在上面的执行图中)如果A happens-before BJMM并不要求A一定要在B之前执行JMM仅仅要求前一个操作(执行的结果)对后一个操作可见且前一个操作按顺序排在第二个操作之前这里A的执行结果不需要对B可见而且重排序操作A和操作B后的执行结果与A和操作B按happens-before顺序执行的结果一致在这种情况下JMM会认为这种重排序并不非法(not illegal)JMM运行这种重排序
在计算机中软件技术和硬件技术有一个共同目标:再不改变程序执行结果的前提下尽可能提高并行度编译器和处理区遵从这一目标从happens-before的定义我们可以看出JMM同样也遵循这一目标

四、重排序对多线程的影响

重排序是否会影响多线程的执行结果呢?

package com.lizba.p1;

/**
 * <p>
 *
 * </p>
 *
 * @Author: Liziba
 * @Date: 2021/6/7 23:01
 */
public class ReorderExample {

    // 定义变量a
    int a = 0;
    // flag变量是个标记用来标志变量a是否被写入
    boolean flag = false;

    public void writer() {
        a = 1;                           // 1
        flag = true;                     // 2
    }

    public void reader() {
        if (flag) {                      // 3
            int i = a * a;               // 4
            System.out.println("i:" + i);
        }
    }


    /**
     * 测试
     * 
     * @param args
     */
    public static void main(String[] args) {

        final ReorderExample re = new ReorderExample();

        new Thread() {
            public void run() {
                re.writer();
            }
        }.start();

        new Thread() {
            public void run() {
                re.reader();
            }
        }.start();
    }

}

这里假设两个线程A和BA首先执行write()B再执行readr()线程B在执行操作4时能否看到线程A在操作1对共享变量a的写入呢?

答案是:不一定能!
由于操作1和操作2没有数据依赖关系编译器和处理器可以对这两个操作重排序同样操作3和操作4没有数据依赖关系编译器和处理器也可以多这两个操作重排序

假设操作1和操作2重排序:(虚箭线代表错误的读操作)

在这里插入图片描述

程序执行时序图

如上图操作1和操作2发生了重排序程序执行时线程A首先写标记变量flag随后线程B读取这个变量条件判断为真线程B读取变量a的值此时变量a还没有被线程A写入在这里多线程程序的语义被重排序破坏了

设操作3和操作4重排序:

在这里插入图片描述

程序执行时序图

在上述执行方式的程序中操作3和操作4存在控制依赖关系当代码中存在控制依赖性时会影响指令并行度为此编译器和处理器会采用猜测(Speculation)执行来克服控制相关性对并行度的影响以处理器的猜测执行为例执行现场B的处理器可提前读取并行计算a*a然后计算结果保存到一个名为重排序缓冲(Recorder Buffer, ROB)的硬件缓存中当操作3的条件判断为真时就把计算结果写入变量i中
在上图中可以看出猜测执行实质上对操作3和4做了重排序重排序在这里破坏了多线程程序的语义!
在单线程程序中对存在控制依赖性的操作重排序不会改变执行结果(这也是as-if-serial语义允许对存在控制依赖的操作做重排序的原因)但是在多线程中对存在控制依赖的操作重排序可能会改变程序的执行结果


相关文章

猜您喜欢

网友评论

Copyright 2020 www.fresh-weather.com 【世纪下载站】 版权所有 软件发布

声明:所有软件和文章来自软件开发商或者作者 如有异议 请与本站联系 点此查看联系方式