今天我们继续来探索并发编程的内容，聊一聊JAVA的内存模型和Happens-Before规则。
JAVA内存模型
这里的JAVA内存模型指的不是我们JVM专栏中提到的内存分布模型，而是针对并发编程的，小伙伴们不要混淆概念了。
我们已经知道，导致可见性问题的是缓存，导致有序性问题的是指令重排，那么禁用缓存和禁用指令重排不就可以避免出现这两种问题了吗。
但想想也知道，如果直接禁用掉，性能会大打折扣，所以正确的方式应该是按需禁用。
只有程序员才能分析出什么时候应该禁用，所以为了解决可见性和有序性，其实只要提供给程序员按需禁用的API接口就可以了。
JAVA的内存模型是一个很复杂的规范，可以从不同的角度来解释，本质上我们可以理解成JAVA内存模型规范了JVM如何按需禁用缓存和禁用指令重排。
具体来说这些方法包括 volatile、synchronized 和 final 等关键字，以及六项 Happens-Before 规则。
volatile不是JAVA独有的关键字，它最开始的含义就是禁用CPU缓存，JAVA1.5之后对它进行了语义加强，就是引入了一套Happens-Before 规则。
例如下面的代码：
class VolatileExample { int x = 0; volatile boolean v = false; public void writer() { x = 42; v = true; } public void reader() { if (v == true) { // 这里 x 会是多少呢？ } } }