JMM之as if serial和happens-before原则

as if serial

这句话的意思是，不管如何指令重排，在单线程下，程序的执行结果不会发生变化。

public int method1(){
	int a=0;
	int b=0;
	int x=a+b;
	return x;
}

以上面这段代码为例，指令重排之后，可能会先执行b=0再执行a=0，但是不管指令怎么重排，x=a+b一定会在ab被赋值之后。

happens-before原则¹

1. 程序次序规则
   在一个线程内，按照程序代码顺序，书写在前面的操作先行发生于书写在后面的操作。准确的说应该是控制流顺序而不是程序代码顺序，因为要考虑分支、循环等结构
2. 管程锁定规则
   一个unlock操作先行发生于后面对同一个锁的lock操作。这里必须强调是同一个锁。而“后面”是指时间上的先后顺序。
3. volatile变量规则
   对一个volatile变量的写操作先行发生于后面对这个变量的读取操作。这里的后面同样是指时间上的先后顺序。
4. 线程启动规则
   Thread对象的start()方法先行发生于此线程的每一个动作。
5. 线程终止规则
   线程中的所有操作都先行发生于对此线程的终止检测。我们可以通过Thread.join()方法等待线程结束或Thread.isAlive()判断线程是否已经终止。
6. 线程中断规则
   对于interrupt()方法的调用先行发生于被中断的代码检测到中断事件的发生。
7. 对象终结规则
   一个对象初始化完成（构造方法执行完成）先行发生于它的finalize()方法的开始。
8. 传递性
   如果操作A先行发生于操作B，操作B先行发生于操作C，那就可以得出操作A先行发生于操作C的结论。

一个操作“时间上先发生”不代表这个操作会是“先行发生”。那如果一个操作“先行发生”是否就能推导出这个操作必定是“时间上先发生”呢？也是不成立的。一个典型的例子就是指令重排序。所以时间上的先后顺序与happens-before原则之间基本没有什么关系，所以衡量并发安全问题一切必须以happens-before原则为准。
注意：不同操作时间先后顺序与先行发生原则之间没有关系，二者不能相互推断。衡量并发安全问题不能受到时间顺序的干扰，一切都要以happens-before原则为准

private int value = 0;

public void setValue(int value) {
    this.value = value;
}

public int getValue() {
    return this.value;
}

对于上面的代码，假设线程A在时间上先调用setValue(1)，然后线程B调用getValue()方法，那么线程B收到的返回值就一定是1吗？
按照happens-before原则，两个操作不在同一个线程，没有通道锁同步、线程的相关启动、终止和中断以及对象终结和传递性等规则都与此处没有关系，因此这两个操作是不符合happens-before原则的，这里的并发操作是不权限的，返回值并不一定是1。
对于该问题的修复，可以使用lock或者synchronized套用“管程锁定原则”实现先行发生关系；或将value定义为volatile变量（两个方法的调用都不存在数据依赖性），套用“volatile变量规则”实现先行发生关系。如此一来就能保住并并发安全性。

---

1. 摘录自：https://www.cnblogs.com/lxiaojun/articles/13820369.html ↩︎