final - 通过禁止在构造函数初始化和给 final 字段赋值这两个动作的重排序，保证可见性（如果 this 引用逃逸就不好说可见性了）
编译器在遇到这些关键字时，会插入相应的内存屏障，保证语义的正确性。
有一点需要注意的是，synchronized 不保证同步块内的代码禁止重排序，因为它通过锁保证同一时刻只有一个线程访问同步块（或临界区），也就是说同步块的代码只需满足 as-if-serial 语义 - 只要单线程的执行结果不改变，可以进行重排序。
所以说，Java 内存模型描述的是多线程对共享内存修改后彼此之间的可见性，另外，还确保正确同步的 Java 代码可以在不同体系结构的处理器上正确运行。
小结它们之间的关系可以这样来个总结，实现一个 JVM 要满足内存结构描述的组成部分，设计如何执行多个线程的时候，要满足Java 内存模型约定的多线程语义。