java内存模型的原子性、可见性、有序性与指令重排序

在并发编程中，我们通常会遇到以下三个概念：原子性、可见性和有序性。我们先看具体看一下这三个概念：

1.原子性

操作时不可分割的
比如a=0，此操作不可分割，而++a，实际上是a=a+1，为两个操作。想将非原子操作编程原子操作，得用synchronized、lock等修饰
volatile修饰的变量不具备原子性。

 

2.可见性

即当多个线程访问同一个变量时，一个线程修改了这个变量的值，其他线程能够立即看得到修改的值。

比如用volatile修饰的变量，线程A修改后立即写入主存，线程B中的变量的缓存行失效，只能从主存中获取。

 

3.有序性

即程序执行的顺序按照代码的先后顺序执行。

 

指令重排序（Instruction reorder）

处理器为了提高程序运行效率，可能会对输入代码进行优化，它不保证程序中各个语句的执行先后顺序同代码中的顺序一致，但是它会保证程序最终执行结果和代码顺序执行的结果是一致的。

处理器在进行重排序时是会考虑指令之间的数据依赖性，如果一个指令Instruction 2必须用到Instruction 1的结果，那么处理器会保证Instruction 1会在Instruction 2之前执行。