hll174

没有一开始的大牛,先做好自己的小菜

happens-before知识
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()操作成功返回。

阅读更多
版权声明:本文为博主原创文章,未经博主允许不得转载。 https://blog.csdn.net/hll174/article/details/51541611
个人分类: java并发编程
所属专栏: java并发编程学习
想对作者说点什么? 我来说一句

没有更多推荐了,返回首页

不良信息举报

happens-before知识

最多只允许输入30个字

加入CSDN,享受更精准的内容推荐,与500万程序员共同成长!
关闭
关闭