我所理解的JMM2new原子性

概述

文本探讨构造函数是否为原子性问题。

案例

我们首先如下代码&＃xff1a;

public class Person {public int age;public Person() {age&＃61;20;}
}//构造对象
public class JavaMain {public static void main(String[] args) {Person person &＃61; new Person();}
}


请问Person person &＃61; new Person();是否为原子性操作&＃xff1f;
下图为main函数的字节码:

我们可以看到构建一个类大致可以分为4步骤&＃xff1a;

1. new指令申请堆栈空间,并且会生成一个引用放入函数的栈帧的栈顶。
2. dup复制栈顶&＃xff0c;那么此处会在栈顶存在两个Person堆内存地址引用.
3. invokespecial 弹窗栈顶Person并调用初始化函数
4. 将栈顶的剩余的Person引用弹窗复制到本地变量槽1中

可见一个构造一个对象并非原子性操作&＃xff0c;那么这会带来哪些多线程问题&＃xff1f;

public class JavaMain {static Person person;public static void main(String[] args) {new Thread("Thread One") {&＃64;Overridepublic void run() {super.run();person &＃61; new Person();}}.start();new Thread("Thread Two") {&＃64;Overridepublic void run() {super.run();if (person !&＃61; null) {System.out.println(person.age);}}}.start();}
}

上面会发生 data race(数据竞争)情况&＃xff0c;上面的代码在极端情况可能会输出0.

原因调用初始化函数步骤 和将栈顶引用复制回Main的person发生了重排序。

解决方案一:
利用Pesron的age字段使用final修饰.

public class Person {final public int age;public Person() {age &＃61; 20;}
}

关于final语义后文讲解.

其他解决方案&＃xff1a;
1.同步锁
2.volatile修饰
3.利用happer-before关系防止重排序(volatile原理)
4. 略