java是怎么禁止指令重排序的

一、虚拟机规范

8个 happens-before,4个内存屏障(LL LS SS SL)

as-if-serial 不管硬件什么顺序,单线程执行的结果不变,看上去像是serial

二、cpu 层面的支持

指令原语 :(intel ) lfence sfence mfence(mixed fence) 原语前后的指令不能重排序

总线锁 原子指令如x86上的lock...指令是一个full barrier,执行时会锁住内存子系统保证执行顺序,甚至跨多个cpu。

lock用于在多处理器中执行指令时对共享内存的独占使用。它的副作用是能够将当前处理器对应缓存的内容刷新到内存,并使其他处理器对应的缓存失效。另外还提供了有序的指令无法越过这个内存屏障的作用。

三、具体实现

software locks通常使用内存屏障或原子指令来实现变量可见性和程序执行的顺序性。

1、volatile的规范 

2、hotspot volatile 实现 是直接使用的 总线锁   汇编指令    lock addl $0x0,(%rsp)

 

参考:

volatile与lock前缀指令

https://www.cnblogs.com/badboys/p/12695183.html

java 中volatile和lock原理分析

https://www.jb51.net/article/109788.htm

java 8大happen-before原则超全面详解

https://www.jianshu.com/p/1508eedba54d

  • 0
    点赞
  • 3
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值