long和double类型变量的非原子性问题

“深入java虚拟机”中提到,int等不大于32位的基本类型的操作都是原子操作,但是某些jvm对long和double类型的操作并不是原子操作,这样就会造成错误数据的出现。 


错误数据出现的原因是: 
对于long和double变量,把它们作为2个原子性的32位值来对待,而不是一个原子性的64位值, 
这样将一个long型的值保存到内存的时候,可能是2次32位的写操作, 
2个竞争线程想写不同的值到内存的时候,可能导致内存中的值是不正确的结果。 

1、写入高位32位值(线程2) 
2、写入高位32位值(线程1) 
3、写入低位32位值(线程1)   
4、写入低位32位值(线程2) 

这样内存中的值变成线程1的高32位值和线程2的低32位值的组合,是个错误的值。 


书中还提到,上面出现问题的long和double变量是没有声明为volatile的变量。

volatile本身不保证获取和设置操作的原子性,仅仅保持修改的可见性。

但是java内存模型保证声明为volatile的long和double变量的get和set操作是原子的。

    jvm spec引用中的最后一段说到,jvm可以很轻易的将变量操作变成原子性的,但是却受到了当前硬件的约束,因为流行的微处理器还是32bit居多,因此64bit的变量需要拆分成两次,但如果是64bit处理器就能满足64bit变量的原子性操作了。



猜你喜欢

转载自blog.csdn.net/johnt25/article/details/80835635
今日推荐