Java内存模型

并发场景下，可见性/原子性/有序性是并发编程Bug源头，而Java内存模型解决了可见性和有序性问题。

Java内存模型定义

可见性问题原因是缓存，有序性问题原因是编译优化。为了兼顾程序性能和功能正常，按需禁用缓存以及编译优化。而按需，则是按照开发者代码完成。

Java 内存模型是个很复杂的规范，规范了 JVM 如何提供按需禁用缓存和编译优化的方法。包括 volatile、synchronized 和 final 三个关键字，以及六项 Happens-Before 规则。