【Java 并发编程】指令重排序规范 ( happens-before 先行发生原则 )

举报
韩曙亮 发表于 2022/01/13 00:29:13 2022/01/13
【摘要】 文章目录 一、指令重排序规范二、happens-before 先行发生原则 一、指令重排序规范 指令重排指的是 , 线程中如果两行代码 没有逻辑上的上下关系 , 可...





一、指令重排序规范



指令重排指的是 , 线程中如果两行代码 没有逻辑上的上下关系 , 可以对代码进行 重新排序 ;


JVM 指令重排遵循规范 :

① as-if-serial 规范 : 单个线程中, 指令的重排 , 不能影响程序的执行结果 ;

  • 可以重排的情况 : 对于下面代码 , 两条指令顺序颠倒 , 执行结果相同 , 可以进行指令重排 ;
x = 0;
y = 1;

  
 
  • 1
  • 2
  • 不可以进行重排的情况 : 对于下面的代码 , 两条指令如果上下颠倒 , 结果不同 , 不可以进行指令重排 ;
x = 0;
y = x;

  
 
  • 1
  • 2

② happens-before 规范 : 先行发生原则 ;





二、happens-before 先行发生原则



happens-before 先行发生原则 : A happens-before B , A 先于 B 发生 , 先 A 后 B ;

Java 虚拟机在编译时和运行时 , 会对 JVM 指令进行重排优化 , 很明显 , 指令重排会对线程并发产生影响 ;

为了保证并发编程的安全性 , 这里 规定了一些场景下 , 禁止在这些场景中 使用 指令重排 ;


happens-before 先行发生原则 适用场景 : 在以下场景中 , 不进行指令重排 , 这些先后顺序 , 绝对不能被打乱 , 否则会出现严重线程安全问题 ;

  • 程序次序原则 : 在程序内 , 按照代码书写的执行顺序 , 前面的代码先执行 , 后面的代码后执行 ; 时间上 靠前 的操作 先于 时间上靠后 的操作 执行 ;
  • 管程锁规则 : 不论是单线程还是多线程 , 线程 A 解锁后 , 线程 B 获取该锁 , 可以看到线程 A 的操作结果 ; 解锁的操作 先于 加锁的操作 ; 线程 B 要加锁 , 必须等待线程 A 解锁完毕才可以 ;
  • volatile 规则 : volatile 关键字修饰的变量 , 线程 A 对该变量的写操作 先于 线程 B 读取该变量的操作 , 线程 A 对该变量的写操作的结果对于线程 B 一定可见 ;
  • 线程启动规则 : 线程 start() 方法 先于 线程的具体执行的操作 ; 线程必须先启动 , 然后才能执行线程内的代码逻辑 ;
  • 线程终止规则 : 线程的具体操作 先于 线程的终止检测 ; 线程的代码逻辑执行完成 , 然后进行线程的终止检测 ;
  • 传递性 : happens-before 规则具有传递性 ; 如果 A happens-before B 和 B happens-before C , 则 A happens-before C ;
  • 线程中断 : 调用线程 interrupt() 方法 , 先于 被中断线程的代码 检测到 中断时 事件的发生 ; 必须先发生中断 , 然后才能被检测到 ; 不能还没发生中断 , 就可以检测到中断发生 ;
  • 对象终结 : 对象的创建 先于 对象的终结 , 创建就是调用构造函数 , 终结就是调用 finalize 方法 ;

只要符合上述规则 , 不需要进行同步 , 就可以成立 ;

通过 " happens-before 先行发生原则 " 可以判定两个线程的操作 , 是否有发生冲突的可能 ;

文章来源: hanshuliang.blog.csdn.net,作者:韩曙亮,版权归原作者所有,如需转载,请联系作者。

原文链接:hanshuliang.blog.csdn.net/article/details/120186485

【版权声明】本文为华为云社区用户转载文章,如果您发现本社区中有涉嫌抄袭的内容,欢迎发送邮件进行举报,并提供相关证据,一经查实,本社区将立刻删除涉嫌侵权内容,举报邮箱: cloudbbs@huaweicloud.com
  • 点赞
  • 收藏
  • 关注作者

评论(0

0/1000
抱歉,系统识别当前为高风险访问,暂不支持该操作

全部回复

上滑加载中

设置昵称

在此一键设置昵称,即可参与社区互动!

*长度不超过10个汉字或20个英文字符,设置后3个月内不可修改。

*长度不超过10个汉字或20个英文字符,设置后3个月内不可修改。