3、先行发生原则

标签：

如果Java内存模型中所有的有序性都仅仅依靠volatile和synchronized来完成，那么一些操作将会变得很繁琐，但是我们在编写Java程序时并没有感觉到这一点，这是因为Java语言中有一个”先行发生(happens-before)“的原则。这个原则非常重要，它是判断数据是否存在竞争、线程是否安全的主要依据。

下面是Java内存模型下一些“天然的”先行发生关系，这些先行发生关系无需任何同步协助就已经存在，可以在编码中直接使用。如果两个操作之间的关系不在此例，并且无法从下列规则推导出来的话，它们就没有顺序性保障，虚拟机可以对它们随意地进行重排序。

• 线程锁定规则：一个unlock操作先行发生于在后面对同一个锁的lock操作。这里必须强调的是同一个锁，而“后面”是指时间上的先后顺序。
• volatile变量规则：对一个volatile变量的写操作先行发生于在后面对这个变量的读操作，这里的“后面”同样是指时间上的先后顺序。
• 线程启动规则：线程中的所有操作都先行于对此线程的终止检测，我们可以通过Thread.join方法结束、Thread.isAlive的返回值等手段检测到线程已经终止执行。
• 线程中断规则：对线程interrupt方法的调用先行于被中断线程的代码检测到中断事件的发生，可以通过Thread.interrupted方法检测到是否发生中断。
• 对象终结规则：一个对象的初始化完成(构造函数执行结束)先行于发生于他的finalize方法的开始。
• 传递性：如果操作A先行发生于操作B，操作B先行发生于操作C，就可以得出操作A先行发生于操作C的结论。

3、先行发生原则

标签：

原文地址：http://www.cnblogs.com/feijishuo/p/4546291.html