目录

一、线程安全三要素

二、可见性（强制刷新主内存）

三、有序性（禁止指令重排序）

四、总结

---

一、线程安全三要素

1）原子性：

一个操作或者多个操作，要么全部执行成功，要么全部执行失败。满足原子性的操作，中途不可被

中断。

2）可见性：

多个线程共同访问共享变量时，某个线程修改了此变量，其他线程能立即看到修改后的值。

3）有序性：

        程序执行的顺序按照代码的先后顺序执行。（由于JMM模型中允许编译器和处理器为了效率，进行指令重排序的优化。指令重排序在单线程内表现为串行语义，在多线程中会表现为无序。那么多线程并发编程中，就要考虑如何在多线程环境下可以允许部分指令重排，又要保证有序性）

二、可见性（强制刷新主内存）

        当一个变量被volatile修饰后，JVM会把工作内存中的最新变量值强制刷新到主内存中，会导致其他线程中的缓存失效。这样，其他线程使用缓存时，发现本地工作内存中此变量失效，便会从主内存中获取，这样获取到的值就是最新的值，实现了线程可见性。

 

三、有序性（禁止指令重排序）

通过编译器在生成字节码时，在指令序列中添加“内存屏障”来禁止指令重排序的，从而保证了有序性。

四、总结

        volitile是通过强制刷新变量到主内存和内存屏障禁止指令重排序机制保证了有序性和变量可见性，因此volitile关键字可以保证有序性和变量可见性，但不能保证原子性，因此它不是线程安全的。