Java 内存模型JMM 多线程问题总结

JMM（Java内存模型）中， 多线程下访问共享资源（例如共享变量）时，会遇到的三个问题原子性、可见性、有序性，也可以说JMM内存模型可以解决多线程下遇到的这三个问题：

1.原子性（线程安全）：
(1).对于基本数据类型的读写操作，本身就是原子性的，不存在线程安全的问题(这里的表述只针对单个操作，如果是先read，然后update呢？这就是两个操作了，不是原子性的，那么这段代码就存在线程安全问题。)
(2).除了JVM自身提供的对基本数据类型读写操作的原子性外，对于方法级别或者代码块级别的原子性操作，可以使用synchronized关键字或者重入锁(ReentrantLock)，以及其它各种锁，保证程序执行的原子性

2.可见性：
JMM内存模型 工作内存与主内存同步延迟现象导致的可见性问题，可以使用synchronized关键字或者volatile关键字解决，它们都可以使一个线程修改后的变量立即对其他线程可见

上面两个问题，有个共同点，那就是共享变量(比如一个静态变量int x，或者是同一个对象中的字段)同时存在着原子性和可见性的问题。

3.指令重排导致的 可见性问题 和 有序性问题 ：

指令重排包括编译器重排和处理器重排，重排之后就会导致多线程下指令无序的问题（单线程下肯定是有序的，多线程下才会出现指令重排导致的有序性问题）。
可以利用volatile关键字解决，因为volatile的另外一个作用就是禁止重排序优化。Volatile是利用了内存屏障Memory Barrier(是一条CPU指令) 阻止编译器和处理器指令重排优化，保证了程序执行的有序性；还可以强制将修改后的共享变量值从工作内存拷贝到主内存，对所有线程可见。volatile关键字正是通过内存屏障实现其在内存中的语义 -- 可见性和禁止指令重排优化

总结：解决上述三种问题的方法。

synchronized关键字：保证了原子性、可见性，但是没有解决有序性，在有的情况下还是有风险的，比如单例模式中的双重检测，在使用synchronized保证原子性和可见性的同时，还要使用volatile关键字保证有序性，参考 JAVA设计模式-单例模式_wdquan19851029的专栏-CSDN博客

Volatile关键字： 保证了可见性、有序性

happens-before 原则: 除了上述解决三个问题的方法外，Java内存模型中，还提供了happens-before 原则（涵盖了synchronized关键字--锁规则，Volatile关键字--volatitle规则，并且还有其它规则）来辅助保证程序执行的原子性、可见性以及有序性的问题