内存屏障
线程的同步机制底层实现依靠的就是:内存屏障
我们知道保障可见性依靠 刷新处理器缓存和冲刷处理器缓存。锁的获得释放,volatile关键字都可以保障对共享变量的操作包含这俩个动作
含义:
内存屏障是对一类仅针对读写指令的跨处理架构的比较底层的抽象,它被插到俩个指令之间,来禁止编译器,处理器重排序,其伴随着 冲刷处理器缓存和刷新处理器缓存
分类(处理器层面):
- load barrier --》读屏障 ,存储屏障
作用:刷新处理器缓存,阻止屏障俩侧的指令重排序
jvm会在申请锁指令之后插入load barrier barrier,使得当前线程可以将上一锁持有线程的对数据的更新同步到当前处理器上面
- store barrier: --》写屏障 ,加载屏障
作用:冲刷处理器缓存,阻止屏障俩侧的指令重排序
jvm会在释放锁的指令之后插入store barrier,保障该线程对共享变量的更新可以对其他线程可见
分类(java层面):
- loadload:保障 load1 在 load2 前执行
- storestore:保障 store1 在store2前执行并且 将结果写入内存
- loadstore:保障 load1 在 store1 前执行
- storeload:保障 store1结果写入主存中再执行 load1