凡心所向，素履以往；生如逆旅，一苇以航。

问题导出

1. Java内存模型中，允许编译器和翻译器对指令进行重排序，但是重排序的过程不会影响到单线程程序的运行，却会影响到多线程并发执行的正确性。
2. Java中的volatile通过内存屏障也可以一定程度上禁止指令的重排序。
3. synchronized和Lock机制都是通过线程阻塞对于主内存来讲其同一时刻只有一个线程可以访问操作，保证了有序性。
4. Java内存模型实际存在先天的有序性：不需要通过任何手段即可保证一定的有序性，即happens-before原则。

概述

指一个线程对主内存的修改，可以及时地被其他线程观察到。

导致共享变量在线程间不可见的原因有：

1. 多线程交叉进行。
2. 重排序结合多线程运行。
3. 共享变量更新后的值未及时进行工作内存与主内存的更新。

概述

Java 语言中主要的同步手段就是 synchronized 关键字，它强制实行互斥，确保执行 synchronized 块的线程的动作，能够被后来执行受相同锁保护的 synchronized 块的其他线程看到。

问题分析

CAS算法实现一个重要前提：需要取出内存中某时刻的数据，而在下时刻比较并替换，那么在这个时间差类会导致数据的变化。

AtomicReference与AtomicReferenceFiledUpdater比较分析