编译器有指令优化技术,处理器有超标量技术,都将会导致没有依赖的指令乱序执行来达到优化性能的目的,所有有的禁止重排序
而多个处理器缓存的数据可能不一致,就有了MISE协议来保证缓存的一致性,但是如果CPU0写了一个不在缓存的值,那么会发送一个读并失效的消息,CPU 1收到这个消息后会将返回新值并使本地缓存失效,这么一个同步过程是比较耗时的,所以硬件提供了store buffer和无效队列,来达到一个异步处理缓存不一致的问题,但是也会导致乱序执行的代码出现数据不同步问题,所以引入了内存屏障,读屏障在读操作前会先处理完所有的无效队列,写屏障前会冲刷所有的storebuffer
Linux内核的有些函数隐含内存屏障。(1)获取和释放函数。(2)中断禁止函数
1.获取和释放函数获取(acquire)函数包括如下。
(1)获取锁的函数。锁包括自旋锁、读写自旋锁、互斥锁、信号量和读写信号量。
(2)smp_load_acquire(p):加载获取。
(3)smp_cond_load_acquire(ptr, cond_expr):带条件的加载获取。
获取操作隐含如下。
(1)获取操作后面的内存访问操作只能在获取操作完成之后被观察到。
(2)获取操作前面的内存访问操作可能在获取操作完成之后被观察到。
释放(release)函数包括如下。