`

【转】深入理解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 * r; //C

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

如上图所示,A和C之间存在数据依赖关系,同时B和C之间也存在数据依赖关系。因此在最终执行的指令序列中,C不能被重排序到A和B的前面(C排到A和B的前面,程序的结果将会被改变)。但A和B之间没有数据依赖关系,编译器和处理器可以重排序A和B之间的执行顺序。下图是该程序的两种执行顺序:

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

程序顺序规则

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

  1. A happens- before B;
  2. B happens- before C;
  3. A happens- before C;

这里的第3个happens- before关系,是根据happens- before的传递性推导出来的。

这里A happens- before B,但实际执行时B却可以排在A之前执行(看上面的重排序后的执行顺序)。在第一章提到过,如果A happens- before B,JMM并不要求A一定要在B之前执行。JMM仅仅要求前一个操作(执行的结果)对后一个操作可见,且前一个操作按顺序排在第二个操作之前。这里操作A的执行结果不需要对操作B可见;而且重排序操作A和操作B后的执行结果,与操作A和操作B按happens- before顺序执行的结果一致。在这种情况下,JMM会认为这种重排序并不非法(not illegal),JMM允许这种重排序。

在计算机中,软件技术和硬件技术有一个共同的目标:在不改变程序执行结果的前提下,尽可能的开发并行度。编译器和处理器遵从这一目标,从happens- before的定义我们可以看出,JMM同样遵从这一目标。

重排序对多线程的影响

现在让我们来看看,重排序是否会改变多线程程序的执行结果。请看下面的示例代码:

class ReorderExample {
int a = 0;
boolean flag = false;

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

Public void reader() {
    if (flag) {                //3
        int i =  a * a;        //4
        ……
    }
}
}

flag变量是个标记,用来标识变量a是否已被写入。这里假设有两个线程A和B,A首先执行writer()方法,随后B线程接着执行reader()方法。线程B在执行操作4时,能否看到线程A在操作1对共享变量a的写入?

答案是:不一定能看到。

由于操作1和操作2没有数据依赖关系,编译器和处理器可以对这两个操作重排序;同样,操作3和操作4没有数据依赖关系,编译器和处理器也可以对这两个操作重排序。让我们先来看看,当操作1和操作2重排序时,可能会产生什么效果?请看下面的程序执行时序图:

如上图所示,操作1和操作2做了重排序。程序执行时,线程A首先写标记变量flag,随后线程B读这个变量。由于条件判断为真,线程B将读取变量a。此时,变量a还根本没有被线程A写入,在这里多线程程序的语义被重排序破坏了!

※注:本文统一用红色的虚箭线表示错误的读操作,用绿色的虚箭线表示正确的读操作。

下面再让我们看看,当操作3和操作4重排序时会产生什么效果(借助这个重排序,可以顺便说明控制依赖性)。下面是操作3和操作4重排序后,程序的执行时序图:

在程序中,操作3和操作4存在控制依赖关系。当代码中存在控制依赖性时,会影响指令序列执行的并行度。为此,编译器和处理器会采用猜测(Speculation)执行来克服控制相关性对并行度的影响。以处理器的猜测执行为例,执行线程B的处理器可以提前读取并计算a*a,然后把计算结果临时保存到一个名为重排序缓冲(reorder buffer ROB)的硬件缓存中。当接下来操作3的条件判断为真时,就把该计算结果写入变量i中。

从图中我们可以看出,猜测执行实质上对操作3和4做了重排序。重排序在这里破坏了多线程程序的语义!

在单线程程序中,对存在控制依赖的操作重排序,不会改变执行结果(这也是as-if-serial语义允许对存在控制依赖的操作做重排序的原因);但在多线程程序中,对存在控制依赖的操作重排序,可能会改变程序的执行结果。

参考文献

  1. Computer Architecture: A Quantitative Approach, 4th Edition
  2. Concurrent Programming on Windows
  3. Concurrent Programming in Java™: Design Principles and Pattern
  4. JSR-133: Java Memory Model and Thread Specification
  5. JSR 133 (Java Memory Model) FAQ

关于作者

程晓明,Java软件工程师,国家认证的系统分析师、信息项目管理师。专注于并发编程,就职于富士通南大。个人邮箱:asst2003@163.com

 

转自:http://www.infoq.com/cn/articles/java-memory-model-2?utm_source=infoq&utm_medium=related_content_link&utm_campaign=relatedContent_articles_clk

分享到:
评论

相关推荐

    深入理解JAVA内存模型(高清完整版)

    本教程《深入理解JAVA内存模型》将带你深入探讨这一主题,尤其关注Java中的同步原语——synchronized、volatile和final。 首先,我们要了解JMM的基础结构。JMM规定了程序中各个线程如何访问和修改共享变量,包括主...

    Java笔试题————精华中的精华

    同时,深入理解Java内存模型、垃圾回收机制、线程并发编程、异常处理、集合框架(List、Set、Map等)以及IO流等核心特性也至关重要。 Oracle是广泛使用的数据库系统,Java开发人员需要熟悉SQL语句的编写,包括...

    三问JMM--有关JVM内存模型的PPT

    近期,在诚信通开源研究小组的专题学习分享会上,我们针对Java内存模型(JMM)进行了深入探讨,现将JMM相关的一些核心概念进行梳理,以便更好地理解和把握JMM的基本原理。 #### 第一问:JMM是干什么的? JMM (Java ...

    Java线程内存模型的缺陷.docx

    为此,Java引入了一个核心概念——Java内存模型(Java Memory Model, JMM),其目的是规范线程和内存之间的交互规则。 ##### JMM的关键特性 1. **主内存**(Main Memory):所有的变量都存储在主内存中,并被所有...

    14、深入理解并发可见性、有序性、原子性与JMM内存模型(1).pdf

    根据提供的文档信息,本文将详细解析并发编程中的关键概念——原子性、可见性及有序性,并结合Java内存模型(JMM)来深入理解这些概念。同时,我们也会通过具体示例来探讨这些问题在实际编程中的应用。 ### 一、并发...

    java常用工具类——个人总结

    在Java编程语言中,工具类(Util)是程序员日常开发中不可或缺的一部分,它们提供了一些预定义的方法,方便处理各种常见的任务。以下是我个人对Java中常用...通过深入理解和运用,我们可以编写出更加高效、健壮的代码。

    java面试——深圳-银盛支付-Java中级.zip

    3. **集合框架**:深入理解ArrayList、LinkedList、HashSet、HashMap等数据结构的工作原理,以及它们之间的区别和选择依据。还要熟悉Collection和Iterable接口,以及Stream API的使用。 4. **多线程**:了解线程的...

    java面试——深圳-商汤科技-Java高级.zip

    理解内存模型(堆、栈、方法区等),知道如何分析和解决内存泄漏,理解垃圾收集的工作原理(如可达性分析、标记-清除、复制、标记-整理、分代收集等),是Java高级开发者的重要技能。 4. **JVM优化**:熟悉JVM内部...

    Java程序性能优化 让你的Java程序更快、更稳定附本书示例代码(清晰版)

    总的来说,“Java程序性能优化 让你的Java程序更快、更稳定”这本书将涵盖以上诸多方面,通过理论结合实际的示例代码,帮助读者深入理解Java性能优化的各个方面,从而写出更快、更稳定的Java程序。书中附带的源文件...

    java面试——上海-拼多多-Java高级.zip

    - 深入理解JVM内存模型,包括堆内存的分代、栈内存的帧结构、方法区的元空间等。 - 字符串常量池的位置和作用,以及String对象的创建和内存分配。 4. **设计模式**: - 介绍23种设计模式,比如单例模式、工厂...

    java面试——深圳-中国平安-Java中级.zip

    - **集合框架**:深入理解ArrayList、LinkedList、HashMap、HashSet等集合的实现原理和应用场景。 2. **JVM(Java虚拟机)**: - **内存模型**:了解堆、栈、方法区、本地方法栈、程序计数器的运作。 - **垃圾...

    java未来发展——JVM7

    在并发处理方面,Java 7提供了Fork/Join框架,这是基于工作窃取算法的并行执行模型,适用于处理大规模的计算任务,如数组排序。这个框架极大地提升了多核处理器环境下Java程序的性能。 JVM7还加强了对动态语言的...

    java课程设计——烟花

    在本Java课程设计项目中,主题为“烟花”,开发者通过编程技术模拟了烟花绽放的效果,为观众呈现了一场视觉盛宴。这个项目不仅展示了编程技巧,还体现了对计算机图形学和动画原理的理解。以下将详细探讨该项目涉及的...

    java面试——广州-唯品会-Java大数据开发工程师.zip

    - **内存模型与垃圾回收**:了解JVM内存结构,如堆、栈、方法区,理解垃圾回收机制及性能优化。 2. **大数据处理框架**: - **Hadoop**:理解HDFS分布式文件系统的工作原理,MapReduce编程模型,以及YARN资源调度...

    高级JAVA面试——最全的总结

    对于每个知识点,深入理解原理、使用场景和最佳实践是关键。通过阅读"Java.doc"、"面试_JAVA_宝典—最全的总结.doc"、"Java框架面试题总结_201104.doc"和"java面试.doc"等文档,可以进一步强化这些知识,并找到面试...

    按照字母排列——仿照微信联系人

    在Android开发中,我们经常需要...在SortPhoneDemo项目中,你可以找到具体实现的代码,包括Activity、Adapter、数据模型等类,通过对这些代码的学习和理解,你可以更好地掌握Android中数据排序和ListView的高级用法。

    安卓Andriod源码——字母排序类似通讯录字母检索.zip

    在安卓(Android)开发中,实现字母排序类似通讯录字母检索功能是一项常见的需求,它能够帮助用户快速定位和查找联系人。本项目提供了一份源码,用于演示如何在Andriod应用中创建一个类似通讯录的字母索引条,用户...

    java面试——MongoDB面试专题.zip

    MongoDB是一种流行的开源、分布式文档数据库,常被用于构建高性能、可扩展的数据存储解决方案。在Java开发中,MongoDB因其灵活的数据模型和优秀的...对这些知识点的深入理解和实践经历,将有助于你在面试中脱颖而出。

    java面试——杭州-蚂蚁金服-资深工程师.zip

    2. **集合框架**:深入理解ArrayList、LinkedList、HashMap、HashSet等数据结构及其应用场景,以及并发安全的集合类如ConcurrentHashMap。 3. **JVM**:虚拟机内存模型、垃圾回收机制、类加载过程、JVM调优方法。 ...

    java毕业设计——基于J2EE的B2C电子商务系统开发

    【Java毕业设计——基于J2EE的B2C电子商务系统开发】 在计算机科学与技术领域,尤其是软件工程专业,毕业设计是一项重要的实践性学习环节,它要求学生将所学理论知识应用于实际项目中,以检验和提升自己的技能。本...

Global site tag (gtag.js) - Google Analytics