什么是JMM

什么是JMM

1.JMM规定了所有变量（除了方法参数和本地变量，包括实例变量和静态变量）都放在主内存中。每个线程都有自己的工作内存，工作内存保存了该线程使用的主内存的变量副本，所有的操作都在工作内存中进行，线程不能直接操作主内存。线程之间通过将数据刷回主内存的方式进行通信。
2.JMM定义了原子性，可见性和有序性。
原子性：一个操作不可分割，不可中断，不可被其他线程干扰。JMM提供moniterenter和monitereixt俩个字节码指令保证代码块的原子性
可见性：当一个变量被修改后，其他线程能够立即看到修改的结果
有序性：禁止指令重排序

八种内存交互操作

lock,read,load,use,assign,store,write,unlock

volatile关键字

volatile的作用
1.保证内存可见性
2.禁止指令重排序

如何保证可见性？
当一个线程修改了volatile修饰的共享变量时，1）该变量会立即刷新回主内存。2）其他线程工作内存中的该变量副本失效，会重新从主内存中读取最新值

volatie不保存原子性

禁止指令重排序？
前提：不管怎么重排序，在单线程中，执行结果不能被改变。这就是as-if-serial语义
被volatile修饰的变量所在语句，1）不会被提前执行，也不会延后执行
2）他之前的语句不会在他之后执行，他之后的语句也不会在他之前执行
被volatile修饰的变量所在的语句，就像一个屏障一样。

内存屏障？
有四种loadload,loadstore,storeload,storestore
loadload:load1,loadload,load2,load1要先于load2及后续所有读
loadstroe:load1,loadstroe,store2,load1要先于store2及后续所有写
stroeload:store1,storeload,load2,store1要先于load2及后续所有读
storestore:store1,storestore,store2,sotre1要先于store2及后续所有写