volatile主要有两个作用：保证线程可见性和禁止乱序执行
一、保证线程可见性（及时更新）
一个线程把值改完时，其余线程重新从内存中读取相应内存块以便运行内存中（cpu寄存器）的值也及时更新。volatile在cpu层面上是以cache line为单位的，也就是只要cache line中有值改了，其余线程要把整个cache line都重新获取更新一下
原理
底层实际上使用了MESI（cpu的缓存一致性协议），一个线程把缓存行中的值改了，所有跟这个值相关的缓存行全部失效，如果想用需要重新从主内存中取这个缓存行（这也是伪共享）。这会导致严重影响效率，因为原本直接从寄存器中取就行了，现在还得从内存中取，效率大大下降。优化方式：缓存行对齐
详情：https://blog.csdn.net/qq_38639813/article/details/126114616
其实很多解决临界资源问题的方法仔细分析都是有问题的，但之所以好使，是因为他们底层调汇编指令，而汇编指令是在硬件级别上去解决问题的，说到根上真正解决问题的是硬件
二、禁止乱序执行（禁止指令重排序）
cpu中有两条指令，1和2。cpu先执行1但因为1要从内存中读取数据太慢了，所以在等待1的获取数据的过程中先把2执行完了。这种顺序上的打乱就叫做乱序执行。在代码层面表现为后面的代码比前面的代码先执行（这种情况出现的概率极低）
原理
在代码中加volatile，相当于在字节码层面上加了ACC_VOLATILE标记，jvm执行字节码的时候其实是jvm加了jsr内存屏障，在汇编语言层面，内存屏障的底层原理依然是lock（在不同的jvm中实现不一样，这里说的是hotspot版的jvm）。之所以不用cpu底层就有的那些内存屏障源语（sfence、mfence、lfence），是因为这些源语不具备可移植性，有的cpu有，有的没有。而汇编指令lock几乎所有cpu都支持
jvm内存屏障：屏障两边的指令不可以重排，保证有序性。load：读。store：写。jsr：java规范
详情参考：https://blog.csdn.net/qq_38826019/article/details/119276621
版权声明：本文内容由互联网用户自发贡献，该文观点仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容， 请发送邮件至 举报，一经查实，本站将立刻删除。
文章由极客之音整理，本文链接：https://www.bmabk.com/index.php/post/153401.html
