Java内存模型-指令重排序&顺序一致性-阿里云开发者社区

开发者社区> 开发与运维> 正文

Java内存模型-指令重排序&顺序一致性

简介: 章节目录 1.重排序定义 2.数据依赖性 3.as-if-serial语义 4.程序顺序规则 5.JMM 参考 顺序一致性内存模型的实践规范 1.重排序定义 重排序是指编译器和处理器为优化程序性能而对指令序列重新排序的一种手段。

章节目录

  • 1.重排序定义
  • 2.数据依赖性
  • 3.as-if-serial语义
  • 4.程序顺序规则
  • 5.JMM 参考 顺序一致性内存模型的实践规范

1.重排序定义

重排序是指编译器和处理器为优化程序性能而对指令序列重新排序的一种手段。

2.数据依赖性

如果两个操作访问同一个变量,且两个操作中有一个为写操作,此时这两个操作之间就存在数据依赖性。

如下表所示,是我们常见的数据依赖性场景:

操作模式 代码示例 说明
store->load a=1;
b=a;
写一个变量后,再读这个位置
store->store a=1;
a=2
写一个变量之后,再写这个变量
load->store a=b;
b=1
读一个变量之后,再写这个变量

注意:
上述指令重排序之后,执行结果就会发生变化,所以编译器和处理器不会改变存在数据依赖关系的两个操作的执行顺序。仅针对于单个处理器中执行的指令序列和单个线程中执行的操作。

3.as-if-serial 语义

对于不存在数据依赖性的操作可以做指令重排序。as-if-serial语义把单线程程序保护了起来。

4.程序顺序规则

如果A happens-before B,注意happens-before定义的不是A,B操作执行的顺序是A先B后,,而是A操作的结果对B操作的结果可见,且A操作的结果按顺序排在B操作结果之前,所以进行指令重排序必须保证的前提是不改变程序执行结果。

5.JMM 参考 顺序一致性内存模型的实践规范

  • 1.JMM采用共享内存模型通过通过控制共享内存与每个线程本地内存之间的交互,来提供内存可见性保证。
  • 2.JMM通过指令重排序来优化程序执行性能,但不正确的重排序会破坏多线程程序的语义,程序运行结果出现非预想的情况。
  • 3.JMM参考顺序一致性内存模型,(但不能完全实现,比如在非同步多线程程序下),来对正确同步的多线程程序做了如下保证-程序的执行结果与该程序在顺序一致性内存模型中的执行结果相同,但正确同步的多线程程序在执行过程中可以对临界区内不存在数据依赖的指令行进行重排序,以在保证执行结果正确的情况下通过指令重排序对程序运行性能做提升。

版权声明:本文内容由阿里云实名注册用户自发贡献,版权归原作者所有,阿里云开发者社区不拥有其著作权,亦不承担相应法律责任。具体规则请查看《阿里云开发者社区用户服务协议》和《阿里云开发者社区知识产权保护指引》。如果您发现本社区中有涉嫌抄袭的内容,填写侵权投诉表单进行举报,一经查实,本社区将立刻删除涉嫌侵权内容。

分享:
开发与运维
使用钉钉扫一扫加入圈子
+ 订阅

集结各类场景实战经验,助你开发运维畅行无忧

其他文章