可见性：一个线程对共享变量的修改能够及时的被其他线程看到。
共享变量：如果一个变量在多个工作线程的工作内存中都存有副本，那么这个变量就是这几个线程的 共享变量。
Java内存模型（JMM）：描述了Java各种变量（线程共享变量）的访问规则，以及在JVM中将变量存储到内存和从内存中取出变量这样的底层细节。
两条规定：
1、线程对共享变量所有的操作都必须在自己的工作内存中进行，不能直接从主内存中读取。
2、不同线程之间无法直接访问其他线程工作内存中的变量，线程间变量值的传递需要通过主内存来进行。
指令重排序：
代码书写的顺序与实际实行的顺序不同，指令重排序是编译器或处理器为了提高性能而做的优化。
1、编译器优化的重排序（编译器优化）
2、指令级并行重排序（处理器优化）
3、内存系统的重排序（处理器优化）
不可见的原因：线程的交叉执行，重排序结合线程交叉执行，共享变量未及时更新。
voltaile实现内存的可见性：
深入来说是通过加入内存屏障和禁止重排序优化来实现的
1、对volatile修饰的变量执行写操作时，会在写操作后加一条store屏障指令
2、对volatile修饰的变量执行都操作时，会在读操作之前load屏障指令
volatile修饰的变量不能保证原子性，只能保证可见性。
多线程中安全的使用volatile变量，必须同时满足以下两个条件：
1、对变量的写入操作不依赖当前的值。
2、该变量没有包含在具有其他变量的不变式中。