【操作系统】volatile关键字深层解析

• 并发编程的三大特性：可见性，原子性，有序性。

volatile关键字主要是禁止指令重排序和保持可见性的作用，保证了可见性和有序性。 这里聊一下volatile底层方面。

• 八大原子操作：读取，载入，使用，赋值，存储，写入，加锁，解锁。

  线程之间不能直接通信，要通过共享主内存进行通信，所以多个线程抢占同一个资源的时候，需要进行共享主内存，将需要的变量写入到线程的缓存当中。

• Volatile缓存可见性实现原理：底层主要使用了缓存一致性协议和cpu总线嗅探机制来保持可见性。

缓存一致性协议：将缓存中修改的变量写入到主内存，并且cpu总线嗅探机制进行监听，如果有线程之间的变量改变就将另外的线程变量变失效，另外的线程就需要重新获取变量并进行处理。

• 内存方面解析：

要先知道cpu缓存当中数据的四种状态:已修改M，独占E，共享S，已失效I

• 当线程读取变量的时候会加共享S，其他线程也可以读取变量；
• 但是要是其中有个线程要进行修改变量，就改为独占E，其他线程只能是读取；
• 当修改变量后要将变量从缓存中写回到主内存中，并改为M；
• 在总线处会有cpu总线嗅探机制进行监听，如果获取到我的线程这个变量被修改后，就将线程中的变量改为已失效I。

底层汇编码解析：对java文件编译后，发现底层主要是通过汇编lock前缀指令，它会锁定这块内存区域的缓存(缓存行锁定)并写回到主内存。在修改前加lock锁，等写入到主内存后再解锁。

1. 为什么会进行指令重排序？

在多线程下，各个线程会在不同的时间片中进行调用。如果变量之间如果没有特别强的依赖，编译器可能会进行一些代码的优化进行指令的调整，使得指令顺序不同导致问题。
有的时候一个线程进行指令重拍，但是属性没有特别强的依赖；但是多线程的时候；操作了不同的属性，虽然每个线程的属性没有特别强的依赖，但是线程之间有可能造成指令重拍，导致值改变。

2. volatile如何禁止指令重排序？

底层用的是内存屏障指令：内存屏障可以保证特定的操作执行顺序，使得编译器，cpu等进行优化不会优化这块部分。
主要是用storestore和storeload，loadload和loadstore四种指令添加在volatile关键字修饰的变量操作前后来禁止指令重排序。

• storestore和storeload主要是用来解决写操作之间的禁止重排序
• storestore是禁止普通的写操作和volatile修饰的变量写操作重排序
• storeload是禁止volatile修饰的变量写操作和下面的读写操作重排序
• loadload和loadstore主要是用来解决读操作之间的禁止重排序
• loadload是禁止普通的读操作和volatile修饰的变量读操作重排序
• loadstore是禁止volatile修饰的变量读操作和下面的读写操作重排序