java 对象引用赋值是否原子操作_引用赋值的原子性问题

一、问题及来源

二、分析

2.1 官方引证

2.2 过程分析

一、问题及来源

对原始类型不包括(long,double)变量进行赋值是原子操作,但是没有找到资料对引用类型的变量的赋值操作的原子性进行说明.例如 Object var = otherObjectValue; 这是原子操作吗?

最近在看并发编程，此问题由int[] arr = new int[0]是不是原子操作而引出。

二、分析

2.1 官方引证

向 reference 赋值是原子的(obj = otherObjectValue)：

2.2 过程分析

我认为是原子操作 ，声明立刻赋值和赋值是等价的(Object var = objValue; 和 var = objValue 等价)：

K k = source;

和

K k;

k = source;

编译出的字节码是一样的；(使用 javap -c)：

T的字节码折叠原码

T1的字节码折叠原码

T2的字节码折叠原码

由 T1 和 T2 ，声明一个 reference 并立刻赋值( Object obj = otherObjectValue )是原子的。

在字节码里是 2 句指令 `aload`和`astore`，但是这两句根据上面提到的 JLS ，原子性是有保证的:

1. k = source 等价于

```

8: aload_1 // source 压栈

9: astore_2 // source 出栈给 k

```

2. k = source 是 reference 赋值

3. reference 赋值根据 JLS ，是原子的

=> 用于 reference 赋值的`aload + astore`是原子的。