什么是Java中的happen-before关系

“Let A and B represent operations performed by a multithreaded process. If A
_happens-before _ B, then the memory effects of A effectively become
visible to the thread performing B before B is performed.”

简单说如果两个actionA和B是happes-before关系,那么action A对内存的操作多B可见。

http://preshing.com/20130702/the-happens-before-relation/

http://docs.oracle.com/javase/specs/jls/se5.0/html/memory.html

Java中如何实现happens-before关系:

1、程序次序规则:在一个单独的线程中,按照程序代码的执行流顺序,(时间上)先执行的操作happen—before(时间上)后执行的操作。

2、管理锁定规则:一个unlock操作happen—before后面(时间上的先后顺序,下同)对同一个锁的lock操作。

3、volatile变量规则:对一个volatile变量的写操作happen—before后面对该变量的读操作。

4、线程启动规则:Thread对象的start()方法happen—before此线程的每一个动作。

5、线程终止规则:线程的所有操作都happen—before对此线程的终止检测,可以通过Thread.join()方法结束、Thread.isAlive()的返回值等手段检测到线程已经终止执行。

6、线程中断规则:对线程interrupt()方法的调用happen—before发生于被中断线程的代码检测到中断时事件的发生。

7、对象终结规则:一个对象的初始化完成(构造函数执行结束)happen—before它的finalize()方法的开始。

8、传递性:如果操作A happen—before操作B,操作B happen—before操作C,那么可以得出A happen—before操作C。

http://blog.csdn.net/ns_code/article/details/17348313

各种语言中可以实现happens-before的操作:

http://preshing.com/20130823/the-synchronizes-with-relation/