volatile和JMM那些事儿

volatile

volatile是Java虚拟机提供的轻量级的同步机制（乞丐版的synchronized）

volatile
1.1保证可见性
1.2不保证原子性
1.3禁止指令重排

JMM

（Java Memory Model）Java内存模型(不真实存在，是一个约定和规范)

JMM关于同步的规定
1.线程解锁前，必须把共享变量的值刷新回主内存
2.线程加锁前，必须读取主内存的最新值到自己的工作内存
3.加锁解锁是同一把锁

由于jvm运行程序的实体是线程，而每个线程创建时jvm都会为其创建一个工作内存（有些地方成为栈空间），工作内存是每个线程的私有数据区域，而Java内存模型中规定所有变量都存储在主内存中，主内存是共享内存区域，所有线程都可以访问，但线程对变量的操作（读取赋值等）必须在工作内存中进行，首先要将变量从主内存拷贝到自己的工作空间，然后对变量进行操作，操作完成后再将变量写回主内存，不能直接操作主内存中的变量，各个线程中的工作内存中存储着主内存中的变量副本拷贝，因此不同的线程间无法访问对方的工作内存，线程间的通信必须通过主内存来完成.

                   

 

JMM
可见性
原子性
有序性

计算机在执行程序时，为了提高性能，编译器和处理器的常常会对指令做重排，

源代码----》编译器优化的重排----》指令并行的重排-----》内存系统的重排------》最终执行的指令

单线程环境里确保程序最终执行结果和代码顺序执行的结果一致

处理器在进行重排序时必须要考虑指令之间的数据依赖性

public void muSort(){
 int x =11; //语句1
 int y=12; //语句2
 x=x+5;//语句3
 y=x*x;//语句4
 1234
 2134
 1324
}
问题：请问语句4可以重排后变成第一条吗？
不可以，要考虑指令之间的数据依赖性

多线程环境中线程交替进行，由于编译器优化重排的存在，两个线程中使用的变量能否保证一致性是无法确定的，结果无法预测