Java多线程——JMM内存模型

JMM（Java 内存模型）是一种抽象的概念，并不真实存在，它描述的是一组围绕原子性、有序性、可见性的规范

Java内存模型中规定了所有的变量都存储在主内存中，每条线程还有自己的工作内存（可以与前面将的处理器的高速缓存类比），线程的工作内存中保存了该线程使用到的变量到主内存副本拷贝，线程对变量的所有操作（读取、赋值）都必须在工作内存中进行，而不能直接读写主内存中的变量。不同线程之间无法直接访问对方工作内存中的变量，线程间变量值的传递均需要在主内存来完成。

常见问题

volatile 变量为何立即可见？

• 当写一个 volatile 变量时，JMM 会把该线程对应的工作内存中的共享变量值刷新到主内存中；
• 当读取一个 volatile 变量时，JMM 会把该线程对应的工作内存置为无效。

volatile 如何禁止重排优化？

内存屏障是一个 CPU 指令，其作用有两个：

• 保证了特点操作的执行顺序；
• 保证了某些变量的内存可见性。

volatile 通过插入内存屏障指令，禁止在内存屏障前后的指令执行重排序优化。
volatile 强制刷出各种 CPU 的缓存数据，因此任何 CPU 上的线程都能读取到这些数据的最新版本。

多线程下，volatile 修饰的变量可以计数吗？

volatile 修饰的变量不可以计数，虽然使用 volatile 关键词实现了实例变量在多个线程之间的可见性，但 volatile 关键词最致命的缺点是不支持原子性。