easy-base-concurrent | 线程安全-可见性

版权声明：本文为博主原创文章，未经博主允许不得转载。 https://blog.csdn.net/jiangxinquqi/article/details/82957057

导致共享变量在线程间不可见的原因

• 线程交叉执行
• 重排序结合线程交叉执行
• 共享变量更新后的值没有在工作内存与主内存及时同步

synchronized

JMM关于synchronized的两条规定：

• 线程解锁前，必须把共享变量的值更新到主内存中
• 线程加锁前，必须把工作内存中的共享变量清空，保证使用共享变量时需要从主内存中重新读取最新的值

volatile

通过加入内存屏障和禁止重排序优化来实现

• 对volatile变量写操作时，会在写操作后加入一条store屏障指令，将本地内存中的变量刷新到主内存
• 对volatile变量读操作时，会在读操作前加入一天龙load屏障指令，从主内存中读取共享变量