happens-before知识
来源:互联网 发布:电脑软件 知乎 编辑:程序博客网 时间:2024/06/03 14:25
1,happens-before定义
1),如果一个操作happens-before另一个操作,那么第一个操作结果对第二个操作可见,并且第一个的执行顺序排在第二个操作之前(这里指的是位置在前,具体的内存执行指令谁先进行不一定按这个顺序)
2),两个操作存在happens-before关系,并不意味着java平台的具体实现必须按照happens-before关系指定的顺序来执行。如果重排序之后的执行结果,与按happens-before的执行结果一致,那么这种重排序不违法,即JMM允许这种重排序
2,与as-if-serial语义的关系
as-if-serial语义:
不管怎么重排序(编译器合处理器为了提高并行度),(单线程)程序的执行结果不能被改变。编译器、runtime和处理器都必须遵守as-if-serial语义。
1),as-if-serial语义保证但程程内程序的执行结果不被改变,happens-before关系保证正确同步的多线程程序的执行结果不会被改变
2),as-if-serial的感觉是单线程程序是按照程序的顺序来执行的
happens-before给正确同步的多线程程序的感觉是:正确同步的多线程程序是按happens-before指定的顺序来执行的
3,happens-before规则
1),程序顺序规则:程序中的每个操作都happens-before于该线程的任意后序操作
2),监视器锁规则:对一个锁的解锁,happens-before于随后对这个锁的加锁
3)volatile变量规则:对一个volatile域的写,happens-before于任意后续对这个volatile域的读
4)传递性:A HB B,B HB C,则A HB C
5)start()规则:如果线程A执行操作ThreadB.start()(启动线程B),那么线程A线程的ThreadB.start()操作happens-before于线程B中的任何操作
6)join()规则:如果线程A执行操作ThreadB.join()并成功返回,那么线程B中的任意操作happens-before于线程A从ThreadB.join()操作成功返回。
0 0
- happens-before知识
- happens-before
- happens-before
- happens-before
- happens-before
- happens-before原则
- Java Happens-before法则
- happens-before俗解
- happens-before俗解
- happens-before俗解
- happens-before俗解
- happens-before俗解
- happens-before规则解析
- happens-before俗解
- happens-before规则
- happens-before俗解
- 多线程 happens-before规则
- happens-before的规则
- 戴尔电脑inspiron1440的sd卡处指示灯闪烁
- Spark 定制版:010~Spark Streaming源码解读之流数据不断接收全生命周期彻底研究和思考
- 冒泡排序
- 创建守护进程
- HDU-1090
- happens-before知识
- Creational Patterns Part 3/5: Singleton Pattern
- java 集合框架(4)NavigableSet接口
- HDU 1312 Red and Black
- HTML5:离线存储
- Leetcode之unique-binary-search-trees
- 在VS2010安装AssistX插件
- [bzoj4570][scoi2016]妖怪 二分区间
- 关于Threadlocal