joeylv#joscrapy#【死磕Java并发】—–Java内存模型之重排序1

java

需积分: 0 0 下载量 133 浏览量 2022-07-25 14:30:09 上传评论收藏 5KB MD 举报

温馨提示

试读

下面我们用一个简单的示例来说明：A、B、C三个操作存在如下关系：A、B不存在数据依赖关系，A和C、B和C存在数据依赖关系，因此在进行重排序的时候，A、B可以随意

资源推荐

资源详情

资源评论

* 1 as-if-serial语义 * 2 重排序对多线程的影响 * 3 参考资料 > 原文出处：『 **chenssy** 』 * * * 在执行程序时，为了提供性能，处理器和编译器常常会对指令进行重排序，但是不能随意重排序，不是你想怎么排序就怎么排序，它需要满足以下两个条件： 1. 在单线程环境下不能改变程序运行的结果； 2. 存在数据依赖关系的不允许重排序如果看过LZ上篇博客的就会知道，其实这两点可以归结于一点：无法通过happens-before原则推导出来的，JMM允许任意的排序。 ## as-if-serial语义 as-if- serial语义的意思是，所有的操作均可以为了优化而被重排序，但是你必须要保证重排序后执行的结果不能被改变，编译器、runtime、处理器都必须遵守as- if-serial语义。注意as-if-serial只保证单线程环境，多线程环境下无效。下面我们用一个简单的示例来说明： int a = 1 ; //A int b = 2 ; //B int c = a + b; //C A、B、C三个操作存在如下关系：A、B不存在数据依赖关系，A和C、B和C存在数据依赖关系，因此在进行重排序的时候，A、B可以随意排序，但是必须位于C的前面，执行顺序可以是A –> B –> C或者B –> A –> C。但是无论是何种执行顺序最终的结果C总是等于3。 as-if-serail语义把单线程程序保护起来了，它可以保证在重排序的前提下程序的最终结果始终都是一致的。其实对于上段代码，他们存在这样的happen-before关系： 1. A happens-before B

点击阅读更多

评论收藏

内容反馈

资源评论