读了“深入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就可以避免上面问题的发生吗?
volatile本身不保证获取和设置操作的原子性,仅仅保持修改的可见性。但是java内存模型保证声明为volatile的long和double变量的get和set操作是原子的。