编程中的内存屏障(Memory Barriers)(c/c++) (1)

长平狐 发布于 2013/01/05 18:17
阅读 436
收藏 0

        明天就要transfor去做检索引擎了,今天闲下来了,更新一下博客哈。之前 @高V 同学对本人之前《代码技巧及优化(c/c++)》的文章第六条,有关cache命中和cpu流水优化比较感兴趣,也提出了一些他的看法,今天,我就细化的说一下某些编程的点 -- 内存屏障,以及内存屏障对代码的影响。

       OK,首先来说一下什么是"内存屏障",可以先看一下官方式的说法 http://www.kernel.org/doc/Documentation/memory-barriers.txt内存屏障其实就是因为编译器优化和CPU对寄存器和cache的使用,导致对内存的操作不能够及时的反映出来,比如cpu写入后,读出来的值可能是旧的内容。举个例子,对一个变量赋值然后读出它的值这一看似“原子”的操作,因为内存是没有ALU计算单元的,所以内存没有计算的能力。而CPU一般情况下是不直接读写内存的(emmintrin.h应用例外),所以这一个过程可以看作(编译器优化后):

       读取内存数据到cache -->  CPU读取cache/寄存器  -->  CPU的计算  -->  将结果写入cache/寄存器  -->  写回数据到内存

有人可能会问,为什么要这么麻烦,因为是编译器优化和CPU优化的结果,内存的时延比CPU高的多,是10ns级别,所以会通过读写寄存器或拆cache优化。这有可能导致一个问题,cache中的数据和内存实际的数据不一致,当多线程情况下,有可能会读"脏数据",或者带来线程执行结果不一致。这就是所谓的“内存屏障”(但不仅限于此case)。

        网上有几篇文章提到的《独辟蹊径品内核》中的代码,本人写了一个近似版本如下:

include <stdlib.h>
#include <stdio.h>
#include <pthread.h>
#include <unistd.h>

// global variable
int flag=1;

void* wait(void *context){
    while (flag) {
        printf("continue\n");
        sleep(1);
    }   
}

void wakeup(){
    flag=0;
}

int main(int argc, char *argv[])
{
    pthread_t pid = 0;
    pthread_create(&pid,NULL,wait,NULL);
    sleep(3);
    wakeup();

    printf("Done\n");
    getchar();
}

       按照书中的说法,flag是被其他线程意外修改的话。while循环会被编译器优化,编译器在发现wait函数里并没有修改flag,所以就会对flag进行cache,放在eax寄存器中,内存中的flag实体如果被修改,eax寄存器不会感知。自己试了一下,在没有优化和Gcc O2的情况下程序正常跳出了循环,可能是因为cpu或者linux新版内核或者gcc的新编译特性所致(如果哪位同学了解,可以留言哈)。之后会跟进这个问题,如果有发现,我会贴出来哈。

       其实,通过gcc -S看到汇编过程的中间汇编代码也可以看出写东西:

wait:
.LFB46:
    .cfi_startproc
    subq    $8, %rsp
    .cfi_def_cfa_offset 16
    movl    flag(%rip), %edx
    testl   %edx, %edx
    je  .L4 
    .p2align 4,,10
    .p2align 3
.L5:
    movl    $.LC0, %edi
    call    puts
    movl    $1, %edi
    call    sleep
    movl    flag(%rip), %eax
    testl   %eax, %eax
    jne .L5 
.L4:
    addq    $8, %rsp
    .cfi_def_cfa_offset 8
    ret 
    .cfi_endproc
.LFE46:
    .size   wait, .-wait
    .p2align 4,,15
    .globl  wakeup
    .type   wakeup, @function
   

      (我不是汇编大牛,错了别炮轰哈),其中标红的语句16~18行可以看出,循环只是检测eax寄存器是不是0(不太熟悉汇编的朋友可能会为什么test %eax,%eax,这只是一个优化因为与操作比cmp要快),可以看出,确实是在不断的读寄存器而不是内存。

       到此,大家对“内存屏障”估计也有了一个初步的认识,内存屏障主要分三类:编译器优化(如上case) / 缓存优化 / CPU乱序执行(后面文章会提到)

       大家可能会问,那岂不这样会造成很多问题。其实不一定,据本人的知识范围,大部分内存屏障导致的问题都出现在内核态,用户态需要注意的方面不多。而且用户也有相应的解决方案,最简单的就是锁机制,还有volatile关键字,可以把可能出现的cache读脏的数据volatile int tmp = 0;这样每次操作都会从内存获取。

       之后的文章会深入一下“内存屏障”和CPU乱序的问题。缓存优化导致的内存屏障,基本在新的硬件上得到了比较好的解决,而且在用户态下基本感知不到。只要大家合适的用好多线程的锁机制和volatile的正确运用即可。


原文链接:http://blog.csdn.net/gugemichael/article/details/8207519
加载中
返回顶部
顶部