JMM是怎么解决原子性、可见性、有序性问题的？

2019独角兽企业重金招聘Python工程师标准>>>

Java内存模型封装了底层的实现后提供给开发人员一系列和并发处理相关的关键字，，比如volatile、Synchronized、final等，在开发多线程代码的时候，我们可以直接使用 这些关键词来控制并发，从而不需要关心底层的编译器优化、缓存一致性的问题了，所以JMM除了定义了一套规范外，还给开发人员提供了一套在底层封装后的开放的指令。 
一.原子性 
在java中提供了两个高级的字节码指令monitorenter和monitorexit，使用对应的关键字Synchronized来保证代码块内的操作是原子的 
二.可见性 
在Java中可以使用volatile关键字来保证多线程操作时变量的可见性。volatile的功能是被其修饰的变量在被修改后可以立即同步到主内存，而被其修饰的变量在每次使用之前都会从主内存刷新。除此之外，synchronized和final两个关键字也可以实现可见性 。volatile也可以看作是轻量级的锁，在其内部使用了Lock指令来解决可见性问题。 
volatile关键字修饰的共享变量，在进行写操作的时候会多出一个lock前缀的汇编指令，这个指令会触发总线锁或者缓存锁，通过缓存一致性协议来解决可见性问题。对于声明了volatile的变量进行写操作时，JVM就会向处理器发送一条Lock前缀的指令，把这个变量所在的缓存行的数据写回到系统内存，再根据MESI的缓存一致性协议，来保证多核CPU下的各个高速缓存中的数据的 一致性。

转载于:https://my.oschina.net/u/3611008/blog/2353974