Volatile实现原理

 读写volatile变量就像是访问一个同步块一样,是原子的且是可见的,总是能访问到最新的值。

原子性

 读写volatile变量是原子操作,但读写变量不就是一条指令的事吗(mov、ldr),难道这还可分?没错绝大多数变量读写都是原子的,除了在32位JVM下对long、double的读写,就不是原子的。这是因为在32位下,总线宽度就只有32bit,对64位数据的读写需要分两次进行,依次读写高低32位。但是读写volatile变量由于使用了LOCK前缀指令,锁住了内存,所以即使是64位的数据也是原子的。

读写volatile变量是原子的,包括64位的long和double

实现原子性

 实现64位的原子性,需要在读写volatile变量时,使用Lock前缀指令,其作用有:
1. 锁住该内存地址,直到读完/写完,保证64位变量读写原子性。少量处理器是使用锁总线实现的,相比锁内存,其开销更大,锁总线期间,所有处理器都不能操作主存外存。
2. 将写缓存刷新到主存,保证可见性
3. 禁止该指令与前面和后面的读写指令重排序,保证happens-before关系

可见性

happens-before中定义了:写volatile变量,happens-before后面任意一个读这个volatile变量的操作

 这意味着volatile变量在多线程间具有可见性从源码到Runtime发生的重排序指出重排序破坏了可见性。为实现volatile的可见性,读写volatile时则需要禁止重排序,那么需要禁止编译器重排序处理器重排序

happens-before关系

happens-before规则
1. 程序顺序规则:在一个线程中,前面的操作happens-before后面的操作
2. volatile写-读规则:写volatile变量,happens-before后面任意一个读这个volatile变量的操作
3. 传递性规则:A happen

  • 0
    点赞
  • 1
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值