“深入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变量的原子性操作了。