目录
1、volatile的实现细节
1.1 字节码层面
添加了一个volatile : ACC_VOLATILE
1.2 JVM层面
StoreStoreBarrier volatile 写操作 StoreLoadBarrier
LoadLoadBarrier volatile 读操作 LoadStoreBarrier
1.3 OS和硬件层面
https://blog.csdn.net/qq_26222859/article/details/52235930
hsdis - HotSpot Dis Assembler
windows lock 指令实现 | MESI实现
2、volatile的两个作用
2.1、保证数据的可见性
(底层原理:CPU原语支持,使用缓冲一致性协议)
多线程编程时,每个线程会有自己独立的缓冲(JVM寄存器),对于多个线程共享的数据(堆中变量),不加volatile的情况下,如果Thread1修改了变量的值,不会立刻写回去,这是其他线程读取到的变量值就会和Thread1不一致。 加上volatile关键字以后,如果有一个线程修改了共享变量的值会立刻写回去,同时其他线程独有的变量副本失效。 需要注意的是:volatile只保证可见性不保证一致性(比如我Thread1去修改变量的值的时候,别的线程已经把他改了)
2.2、禁止指令重排
因为CPU是乱序执行的,不加volatile的时候,多线程操作的情况下,Thread1受指令重排的影响可能读取到其他线程初始化到一半的对象,比如一个User对象,年龄和名称初始化了,手机号还没有初始化,就被另一个线程拿走了。会导致很严重的业务问题。
以上是我个人的理解,如果错误请各位大佬及时指出来,相互学习,谢谢