内存屏障: barrier()与mb()

最新推荐文章于 2024-03-06 23:18:34 发布

StrayBird

最新推荐文章于 2024-03-06 23:18:34 发布

阅读量1.7k

点赞数

分类专栏： linux kernel 文章标签：汇编编译器优化测试 x86 c

本文链接：https://blog.csdn.net/iamstraybird/article/details/6657035

版权

本文探讨了在内存操作中，如何使用barrier()和mb()确保指令执行的顺序，特别是在汇编、编译器优化和多处理器环境下，这两个函数对于保持内存操作的正确次序至关重要。

摘要由CSDN通过智能技术生成

barrier() 静态内存屏障，防止编译阶段的乱序与优化。
mb() 动态内存屏障，防止CPU处理的乱序。

barrier()在x86中的实现就是一行内嵌汇编代码：

__asm volatile("": : :"memory");

告诉编译器，barrier()前后的内存操作要确保按顺序实实在在的进行。

测试代码如下：

int ga = 0;
int gb = 0;

#define barrier() __asm__ volatile("":::"memory")

int foo(int i)
{
    ga = i*i;
    barrier();
    gb = i;
    return ga+gb;
}

对应汇编代码分别为：

#没有barrier()
foo:
    pushl    %ebp
    movl    %esp, %ebp
    movl    8(%ebp), %eax
    popl    %ebp
    movl    %eax, %edx
    imull    %eax, %edx
    movl    %eax, gb
    movl    %edx, ga
    leal    (%edx,%eax), %eax
    ret
#加入barrier()
foo:
    pushl    %ebp
    movl    %esp, %ebp
    movl    8(%ebp), %eax
    movl    %eax, %edx
    imull    %eax, %edx
    movl    %edx, ga