java内存模型中的happens-before

java内存模型中的happens-before

	1）概念：JMM用happens-before的概念来指定两个操作之间的执行顺序，这两个操作可以在一个线程内，也可以在不同线程之间，并且保证了内存的可见性。

	2）happens-before的定义：

		1)从程序员的角度看：
			如果一个操作happens-before另一个操作，那么第一个操作的执行结果将对第二个操作可见，而且第一个操作的执行顺序排在第二个操作之前。
			
		2)从编译器和处理器的角度看：
			两个操作之间存在happens-before关系，并不意味着Java平台的具体实现必须要按照happens-before关系指定的顺序来执行。
			如果重排序之后的执行结果，与按happens-before关系来执行的结果一致，那么JMM是允许这种重排序的。

		也就是说：两个操作之间具有happens-before关系，并不意味着前一个操作必须要在后一个操作之前执行！happens-before仅仅要求前一个操作(执行的结果)对后一个操作可见。


	3）happens-before规则：

		1)程序顺序规则：一个线程中的每个操作，happens-before于该线程中的任意后续操作。
		2)监视器锁规则：对一个锁的解锁，happens-before于随后对这个锁的加锁。
		3)volatile变量规则：对一个volatile域的写，happens-before于任意后续对这个volatile域的读。
		4)传递性：如果A happens-before B，且B happens-before C，那么A happens-before C。
		5)start()规则：如果线程A执行操作ThreadB.start()，那么A线程的ThreadB.start()操作happens-before于线程B中的任意操作。
		

	4）举例：
		如果A线程的写操作a与B线程的读操作b之间存在happens-before关系，尽管a操作和b操作在不同的线程中执行，但JMM向程序员保证a操作将对b操作可见。



	参考资料：java并发编程的艺术