java多线程学习(十) happen before 原则
2017-12-17 21:51
477 查看
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 在 另一个线程,那么 这个线程对共享变量的修改,对后面那个线程发生的读取共享
变量的操作是可见的
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 在 另一个线程,那么 这个线程对共享变量的修改,对后面那个线程发生的读取共享
变量的操作是可见的
相关文章推荐
- 学习笔记之Java线程安全杂谈(中)——Java内存模型、happens-before原则和DCL问题
- java 8大happen-before原则超全面详解
- Java的多线程机制系列:不得不提的volatile及指令重排序(happen-before)
- Java的多线程机制系列:(四)不得不提的volatile及指令重排序(happen-before)
- java之happen before relationship 学习篇
- Java的多线程机制系列:(四)不得不提的volatile及指令重排序(happen-before)
- java多线程中断学习
- 转 java多线程学习总结
- Java学习总结之第十三章 多线程
- Java学习之多线程
- JAVA与模式学习笔记之设计原则
- java多线程学习三:联合线程
- #大学#Java多线程学习01
- [零散篇]Java学习笔记---Java的Socket网络编程以及多线程
- java多线程学习五:线程间的通信
- Java 多线程编程 学习笔记
- JAVA多线程学习笔记
- 学习JAVA多线程程序设计(二)
- java多线程学习四:后台线程
- java多线程学习笔记2