java并发编程（六）

java多线程编程(六)

   数据依赖性  

假如两个操作访问同一个变量，且这两个操作中有一个为写操作，此时这两个操作之间就存在数据依赖性。数据依赖分为下列3种类型，如下表所示。

上面三种操作，只需重排序两个操作的执行顺序，程序的执行结果就会改变。

前面提到过，编译器和解决器可能会对操作做重排序。编译器和解决器在重排序时，会遵
守数据依赖性，编译器和解决器不会改变存在数据依赖关系的两个操作的执行顺序。

这里所说的数据依赖性仅针对单个解决器中执行的指令序列和单个线程中执行的操作，
不同解决器之间和不同线程之间的数据依赖性不被编译器和解决器考虑。

2

as-if-serial语义

as-if-serial语义的意思是：不论怎样重排序（编译器和解决器为了提高并行度），（单线程）程序的执行结果不能被改变。编译器、runtime和解决器都必需遵守as-if-serial语义。

为了遵守as-if-serial语义，编译器和解决器不会对存在数据依赖关系的操作做重排序，
由于这种重排序会改变执行结果。但是，假如操作之间不存在数据依赖关系，这些操作可能
被编译器和解决器重排序。为了具体说明，请看下面计算圆面积的代码示例。

double pi= 3.14;    //Adouble r=1.0;       //Bdouble area=pi*r*r; //C

依赖关系如下：

圆周计算依赖关系.png

在执行时，可以为A -B-C 或者 B-A-C

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

3

程序顺序规则：

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

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同样遵从这一目标。