long和double类型操作的非原子性探究
一、前言
“深入java虚拟机”中提到，int等不大于32位的基本类型的操作都是原子操作，但是某些jvm对long和double类型的操作并不是原子操作，这样就会造成错误数据的出现。其实这里的某些jvm是指32位jvm，64位jvm还是原子操作。
二、问题的根源
32jvm对于long和double变量，把它们作为2个原子性的32位值来对待，而不是一个原子性的64位值， 这样将一个long型的值保存到内存的时候，可能是2次32位的写操作， 2个竞争线程想写不同的值到内存的时候，可能导致内存中的值是不正确的结果。 如果多个线程操作同一个变量的时候，会分为如下几个步骤：
- (1) 写入高位32位值(线程1)
- (2) 写入低位32位值(线程1)
- (3) 写入高位32位值(线程2)
- (4) 写入低位32位值(线程2)
假如执行顺序为(1)(4)(3)(2)，这样内存中的值变成线程1的高32位值和线程2的低32位值的组合，是个错误的值。
三、long和double读写操作原子性测试
/**
* long和double读写操作原子性测试
*
* @author liudong
* @date 2021/11/25 17:08
*/
public class UnAtomicLong implements Runnable {
private static long test = 0;
private final long val;
public UnAtomicLong(long val) {
this.val = val;
}
@Override
public void run() {
while (!Thread.interrupted()) {
//两个线程同时断写test变量，如果test变量的读写操作是原子性的，那么test只能是-1或者0
test = val;
}
}
private static String append(String s, int targetLength) {
int n = targetLength - s.length();
for (int x = 0; x < n; x++) {
s = "0" + s;
}
return s;
}
public static void main(String[] args) {
Thread t1 = new Thread(new UnAtomicLong(-1));
Thread t2 = new Thread(new UnAtomicLong(0));
System.out.println(Long.toBinaryString(-1));
System.out.println(append(Long.toBinaryString(0), 64));
t1.start();
t2.start();
long val;
while ((val = test) == -1 || val == 0) {
//如果test的操作是原子性的,那么就应该是死循环，否则就会跳出该循环
System.out.println("原子操作！");
}
System.out.println(append(Long.toBinaryString(val), 64));
System.out.println(val);
t1.interrupt();
t2.interrupt();
System.out.println("非原子操作！");
}
}
运行发现程序在while循环时进入了死循环，这是因为使用的JVM是64bits。在64位JVM中double和long的赋值操作是原子操作。换成32位JVM时程序就跳出了循环，说明赋值的过程被拆分了，也就没法保证原子性了。
四、如何解决
图片
从Oracle Java Spec里面可以看到：
某些 JavaTM 实现可能发现将对 64 位 long 或 double 值的写操作分成两次相邻的 32 位值写操作更方便。为了效率起见，这种行为是实现可以自行决定的。JavaTM 虚拟 机可以自由地决定是原子性的对待 long 和 double 值的写操作还是一分为二的对 待。 鉴于本内存模型的目的，我们将对非 volatile long 或 double 值的单次写操作视作两 次分开的写操作：每次 32 位。这可能会导致一种情况，某个线程会看到某次写操 作中 64 位的前 32 位，以及另外一次写操作的后 32 位。读写 volatile 的 long 和 double 总是原子的。读写引用也总是原子的，而不管引用的实现采用的是 32 位还 是 64 位。 我们鼓励 VM 的实现者尽可能避免将 64 位值的写操作分开。鼓励编码人员将共享 的 64 位值声明为 volaitle 的或将其程序正确同步以避免可能的并发问题。
注意： 众所周知，volatile只能保证可见性不能保证原子性，但用volatile修饰long和double可以保证其操作原子性！
