Java并发（三）：重排序与内存一致性-优快云博客

本文链接：https://blog.youkuaiyun.com/ssdrrg/article/details/137532725

本文讨论了编程中的数据依赖性和as-if-serial语义，强调了单线程环境下重排序的控制以及在多线程中可能出现的语义错误。重点讲解了控制依赖、重排序对多线程一致性的影响，以及JMM中顺序一致性实现的挑战。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

写后读：写入一个变量之后，再进行读取
读后写：读一个变量之后，再进行写入，注意这里是写入而不是修改，比如，a = b;b = 1就是一个读后写
写后写：写一个变量之后，再重新进行写入

上面三种数据依赖性，只要发生操作的重排序，程序的执行结果都会被改变，而前面已经提到过，编译器和处理器是会对操作进行重排序的，所以为了防止执行结果发生改变，编译器和处理器要辨别出操作是否存在数据依赖性，如果存在数据依赖性是不会进行重排序的，但这种自动禁止重排序操作仅仅出现在单线程和单处理器，也就是仅仅只会考虑单线程和单处理器的数据依赖性，对于不同线程和不同处理器之间的数据依赖性是不会被考虑的

as-if-serial语义

as-if-serial语义是指：不管怎么进行重排序，程序的执行结果都不能改变，当然这也只是针对单线程，也就是单线程的执行结果都不能改变，不保证多线程是否发生了改变

举个栗子

double pi = 3.14; //A操作

double r = 1; //B操作

double area = pi * r * r; //C操作

在上面的三个操作，产生数据依赖性的有A与C、B与C，而且产生的都是写后写数据依赖性，那么A与B是没有数据依赖性的，这两个操作发生重排序是不会违反as-if-serial语义，所以这两个操作允许发生重排序，但是C操作就不可以随便发生重排序了，必须要满足A-happensbefore-C与B-happensbefore-C

总的来说，as-if-serial语义是将单线程程序保护了起来，不用去考虑重排序导致的问题，让开发者可以认为程序就是按顺序执行的，重排序不会干扰

as-if-serial也允许对存在控制依赖的操作进行重排序

控制依赖就是指：逻辑判断操作，即if那些判断语句，那些判断语句也是一个操作，具体来说就是，允许先执行if里面的代码块，然后再判断if的条件是否为True或者False

因为控制依赖会影响指令序列执行的并行度，本可以执行多个命令的，偏偏要先去执行判断命令，等判断完再去执行其他命令，这会降低了指令序列的并行度，所以干脆就一起并行执行，判断条件后再考虑结果是否保留即可，即允许发生重排序

重排序对多线程的影响

重排序是针对单线程进行的，单线程发生重排序是没有任何问题的，因为有着as-if-serial语义的保证，但是多线程各自线程发生重排序，组合起来就会产生多线程的语义错误，把程序的执行结果给改变

举个栗子

假如A线程修改了一个flag变量，而B线程去获取这个flag变量，那么由于A的重排序，将修改flag变量的操作提前或者延后了，B线程获取的flag变量可能为修改前的，也可能为修改后的

顺序一致性

程序一致性是用来形容多线程同步执行的，规则如下

一个线程中的所有操作必须按照程序的顺序来执行
所有线程都只能看到一个单一的操作执行顺序，不管是同步还是不同步，每个操作都必须是原子执行且立刻对所有线程可见

举个栗子

有一个线程A，拥有三个操作，A1、A2、A3；另外一个线程B，也有三个操作，B1、B2、B3

那么在同步的时候，这2个线程共6个操作的执行顺序如下所示（假设A线程先执行）

在这里插入图片描述

可以看见，每个线程的三个操作都必须是按顺序执行的

下面是不同步的时候，这2个线程共6个操作的执行顺序可能会有多种，下面只是其中一种情况

在这里插入图片描述

可以看到，即使是不同步的情况下，虽然整体上是无序的，但顺序一致性保证每个线程里面的操作是顺序执行的

实现顺序一致性的前提保证是每个操作必须立即对任意线程可见，就这样就可以后面的操作不会受影响，可以立即执行

但在JMM中，并不能实现顺序一致性，每个操作不是立即对任意线程可见的，前面提到过，每个线程都有自己的缓存，操作是先对缓存操作，然后再对主存操作的，所以对于不同步的多线程来说，不但整体的执行顺序是乱序的，而且所有线程看到的操作执行顺序也可能不一致，因为可能会发生重排序；如果是同步的话，也可能不是一致的，因为重排序，不过由于as-if-serial语义，外界可以视为顺序一致的

下面就来分析一下JMM同步和不同步情况下与顺序一致性的区别