volatile能保证long&double类型变量操作的原子性

这个命题是正确的，但是也不是必须的。

该命题的存在是Java内存模型要求lock, unlock, read, load, assign, use, write这个8个操作都具有原子性，但是同时又对64位的数据类型(long&double)给了一个相对宽松的规定，就是允许虚拟机将没有被volatile参数修饰的64位数据类型的读写划分为两次32位的操作来进行，即允许虚拟机将load, store, read, write这个4个操作实现为非原子的。

既然如此为何又是非必须的呢？JSR对于商用的JVM，强烈建议将这个四个操作实现为原子操作，而且目前各平台下的商用JVM几乎都将其实现为了原子操作。因此我们再编写代码的时候没有必要把用到的long，double专门修饰为volatile变量。

参考: 《深入理解Java虚拟机》