内存屏障

为什么volatile能保证可见性?

不打扰是莪最后的温柔 提交于 2020-03-16 11:36:45
某厂面试归来,发现自己落伍了!>>> 我们都知道volatile能保证可见性,不能保证原子性,比如i++操作 也知道Happen-Before原则,那么是如何确保Happen-Before原则不被指令重排序影响呢?(如果对上述描述有困惑请移步 [高并发Java 三] Java内存模型和线程安全 ) 例如你让一个volatile的integer自增(i++),其实要分成3步:1)读取volatile变量值到local; 2)增加变量的值;3)把local的值写回,让其它的线程可见。这3步的jvm指令为: mov 0xc(%r10),%r8d ; Load inc %r8d ; Increment mov %r8d,0xc(%r10) ; Store lock addl $0x0,(%rsp) ; StoreLoad Barrier StoreLoad Barrier就是内存屏障 内存屏障( memory barrier )是一个CPU指令。基本上,它是这样一条指令: a) 确保一些特定操作执行的顺序; b) 影响一些数据的可见性(可能是某些指令执行后的结果)。编译器和CPU可以在保证输出结果一样的情况下对指令重排序,使性能得到优化。插入一个内存屏障,相当于告诉CPU和编译器先于这个命令的必须先执行,后于这个命令的必须后执行。内存屏障另一个作用是强制更新一次不同CPU的缓存。例如