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简单操作是原子的。 这也是volatile关键字主要作用:保证可见性。之外又一重要作用。