深入JVM 先行发生原则

Java内存模型有序性可以依靠volatile和synchronized关键字来完成，但实际进行Java程序设计时却并没有过多注意这一点，因为Java语言存在一个先行发生原则：happens-before原则。这个原则用于判断数据是否存在竞争，线程是否安全的判断依据。

所谓先行原则，指的是两项操作之间的偏序关系，如果说操作A先行发生于操作B ,即操作B发生之前，操作A产生的影响能被操作B观察到，影响包括修改了内存中共享变量的值，发送了消息，调用了方法等。

//线程A中执行
i=1;
//线程B中执行
j=i;
//线程C中执行
i=2;

假设线程A中的操作i=1 先行发生于线程B的j=i操作，那么可以确定的是在线程B的操作执行后，变量j的值一定等于1，得出这个结论的依据有两个：一是根据先行原则，i=1的结果可以被观察到；二是线程C还没有登场，线程A操作结束后没有其它线程修改i的值；线程C，依据线程A和线程B的先行原则，而线程C出现在线程A和线程B之间，但线程C与线程B没有先行发生原则，那j的值可能是1也可能是2 因为线程C对i的影响可能会被线程B察觉到，也可能不会，此时线程B读取的是过时的数据，出现了多线程不安全性。

Java内存模型的先行原则：

• 程序次序原则：在一个线程中，按照代码顺序执行，即书写在前的操作先行执行于后面的操作
• 管程锁定规则：一个unlock操作先行发生于后面对同一个锁的lock操作
• volatile变量规则：对于一个volatile变量写操作先行发生于后面对这个变量的读操作
• 线程启动规则：Thread对象的start()方法先行发生于线程每一个动作
• 线程终止规则：线程中所有操作先行发生于对线程的终止检查
• 线程中断规则：对线程的interrupt调用先行发生于被中断线程代码检测到中断事件发生
• 对象终结原则：一个对象的初始化先行于其finalize方法

时间的先后顺序与先行发生原则之间没有影响，衡量并发安全问题不受时间顺序影响，一切以先行原则为准