并发三大特性1-可见性

可见性：当一个线程修改了共享变量的值，其他线程能够看到修改的值

底层是如何保证可见性？
1.通过 volatile 关键字保证可见性。
2.通过 内存屏障保证可见性。
3.通过 synchronized 关键字保证可见性。
4.通过 Lock保证可见性。
5.通过 final 关键字保证可见性

主内存与工作内存之间如何进行数据交互？

通过8大原子操作：

lock（锁定）：作用于主内存的变量，把一个变量标识为一条线程独占状态。
unlock（解锁）：作用于主内存变量，把一个处于锁定状态的变量释放出来，释放
后的变量才可以被其他线程锁定。
read（读取）：作用于主内存变量，把一个变量值从主内存传输到线程的工作内存
中，以便随后的load动作使用
load（载入）：作用于工作内存的变量，它把read操作从主内存中得到的变量值放
入工作内存的变量副本中
use（使用）：作用于工作内存的变量，把工作内存中的一个变量值传递给执行引
擎，每当虚拟机遇到一个需要使用变量的值的字节码指令时将会执行这个操作。
assign（赋值）：作用于工作内存的变量，它把一个从执行引擎接收到的值赋值给
工作内存的变量，每当虚拟机遇到一个给变量赋值的字节码指令时执行这个操作。
store（存储）：作用于工作内存的变量，把工作内存中的一个变量的值传送到主
内存中，以便随后的write的操作。
write（写入）：作用于主内存的变量，它把store操作从工作内存中一个变量的值
传送到主内存的变量中。
 

volatile的特性
可见性：对一个volatile变量的读，总是能看到（任意线程）对这个volatile变量最
后的写入。
原子性：对任意单个volatile变量的读/写具有原子性，但类似于volatile++这种复
合操作不具有原子性
有序性：对volatile修饰的变量的读写操作前后加上各种特定的内存屏障来禁止指
令重排序来保障有序性
 

volatile在hotspot的实现
字节码解释器实现

结论：x86处理器中利用lock实现类似内存屏障的效果

汇编层面volatile的实现

添加下面的jvm参数查看之前可见性Demo的汇编指令

‐XX

:

+UnlockDiagnosticVMOptions

‐XX

:

+PrintAssembly

‐Xcomp