java多线程学习(十) happen before 原则

happen before原则

happens before 关系 是两个跨线程的操作的内存可见性的关系，如果存在a happens before b,尽管

a,b不在同一个线程中，jmm能保证a操作将对b操作可见

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线程的Thread.Start()操作happens-before

线程B中的任意操作

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

从ThreadB.join操作成功返回

1> 线程A中 操作1 和操作2 ，按照happens-before的程序顺序规则，存在 1 happens-before 2

2> 同样的线程B中存在，3 happens -before 4

3> 根据volatile的规则，对volatile的读能够看到之前对volatile的写，存在 2 happpens -before 3

4> 组合后的结果是，1 happens - before 4

也就是存在：volatile写操作之前的共享变量的写操作对随后发生在 volatile读操作后的共享变量的读操作可见

     下面在来看看，start()规则，假设线程A中启动线程B,即执行了ThreadB.start(),同时假设在执行ThreadB.start

操作前，修改了共享变量，线程B启动后会去读取这个共享变量，发生的过程如图所示:

前面有说过，start规则，Thread.start操作 happens -before 线程B中的任意操作

根据程序顺序规则有; 1 happens -before 2 ，根据start规则有 2 happens - before 3  ,2 happens - before 4 

根据happens -before的传递性规则，1 happens -before 4

结论:   线程A中发生在ThreadB.start前对共享变量的修改，对线程B随后去读取这个变量是可见的

         join规则，假设线程A执行的过程中，通过执行ThreadB.join来等待线程B终止，同时假设线程B在终止前修改

一些共享变量，线程A从ThreadB.join返回后读取这些共享变量。

join规则，线程B中的任意操作happens -before 线程A的ThreadB.join,那么存在

2 happens  - before 3 ,程序顺序规则保证 4 happens -before 5，那么 2 happens -before 5

结论:  如果线程 join 在 另一个线程，那么 这个线程对共享变量的修改，对后面那个线程发生的读取共享

变量的操作是可见的