如果两个操作访问同一个变量，且这两个操作中有一个为写操作，此时这两个操作之间就存在数据依 赖性。数据依赖分下列三种类型：
上 面三种情况，只要重排序两个操作的执行顺序，程序的执行结果将会被改变。
前面提到过，编译 器和处理器可能会对操作做重排序。编译器和处理器在重排序时，会遵守数据依赖性，编译器和处理器不 会改变存在数据依赖关系的两个操作的执行顺序。
注意，这里所说的数据依赖性仅针对单个处理 器中执行的指令序列和单个线程中执行的操作，不同处理器之间和不同线程之间的数据依赖性不被编译器 和处理器考虑。
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关系：
A happens- before B；
B happens- before C；
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同样遵从这一目标。
以上是小编为您精心准备的的内容，在的博客、问答、公众号、人物、课程等栏目也有的相关内容，欢迎继续使用右上角搜索按钮进行搜索编译器
， 数据
， 处理器
， 程序
， 语义相似度
， java编译器顺序
， 语义
， 序
， mysql分组去重排序查询
， 指令重排javahappens beofre
， 顺序
， 重排序
， 重排重绘
深入理解c
深入理解java内存模型、深入理解c 对象模型、深入理解css盒子模型、深入理解计算机系统、深入理解java虚拟机，以便于您获取更多的相关知识。