JMM中有哪些方法建立happen-before规则

程序顺序规则

1. 一个线程中的每个操作，happens-before于该线程中的任意后续操作; 可以简单认为是as-if-serial。 单个线程中的代码顺序不管怎么变，对于结果来说是不变的顺序规则表示1 happenns-before 2; 3 happens-before 4

2. volatile变量规则，对于volatile修饰的变量的写的操作，一定happen-before后续对于volatile变量的读操作； 根据volatile规则，2 happens before 3

3. 传递性规则，如果1 happens-before 2; 3happens-before 4; 那么传递性规则表示: 1 happens-before 4; 

4. start规则，如果线程A执行操作ThreadB.start(),那么线程A的ThreadB.start()操作happens-before线程B中的任意操作

5. join规则，如果线程A执行操作ThreadB.join()并成功返回，那么线程B中的任意操作happens-before于线程A从ThreadB.join()操作成功返回。

6. 监视器锁的规则，对一个锁的解锁，happens-before于随后对这个锁的加锁

假设 x 的初始值是 10，线程 A 执行完代码块后 x 的值会变成 12（执行完自动释放锁），线程 B 进入代码块时，能够看到线程 A 对 x 的写操作，也就是线程 B 能够看到 x==12。