membarrier（个人学习理解）

memebarrier是实现Linux内核同步的机制，是一种保证内存访问顺序的一种方法；与上锁的功能类似。

实例：

现有两个线程writer、reader运行在Linux的不同核上，他们都对同一循环队列进行操作。

writer_index为写标记位，每次写前先writer_index+1再写；初值位0；

reader_index为读标记位，每次读前reader_index+1再读；初值为0；

条件：reader_index-writer_index！=1  可写

writer_index-reader_index！=0 可读

若CPU进行乱序执行：

（默认初始index都为0）

writer检查reader_index - writer_index != 1首先writer_index+1， 再进行写操作，而在写之前 reader发现writer_index-reader_index！=0 ，认为可以进行读操作，但此时队列里并没有任何可读数据。

（默认初始reader_index - writer_index = 1）

同理读时先进行reader_index-1，此时writer发现reader_index - writer_index != 1认为存在可写的空间便进行写操作，则会造成reader并未读出数据被writer进行了写覆盖。

补充知识：乱序执行：乱序执行（out-of-order execution）是指CPU采用了允许将多条指令不按程序规定的顺序分开发送给各相应电路单元处理的技术。比方Core乱序执行引擎说程序某一段有7条指令，此时CPU将根据各单元电路的空闲状态和各指令能否提前执行的具体情况分析后，将能提前执行的指令立即发送给相应电路执行。

这好比请A、B、C三个名人为晚会题写横幅“春节联欢晚会”六个大字，每人各写两个字。如果这时在一张大纸上按顺序由A写好"春节"后再交给B写"联欢"，然后再由C写"晚会"，那么这样在A写的时候，B和C必须等待，而在B写的时候C仍然要等待而A已经没事了。

但如果采用三个人分别用三张纸同时写的做法， 那么B和C都不必须等待就可以同时各写各的了，甚至C和B还可以比A先写好也没关系（就象乱序执行），但当他们都写完后就必须重新在横幅上（自然可以由别人做，就象CPU中乱序执行后的重新排列单元）按"春节联欢晚会"的顺序排好才能挂出去。

由于上述原因，内核中引进了内存屏蔽（membarrier）的概念，在多核中有某一核发出来内存屏蔽，则其他核对该内存段的所有读写操作全部停止，也有barrier之后的c代码对应的汇编，不能跑到barrier之前去。（上述为老版本的membarrier，新版本的membarrier在每个内核中存在可选择性的遵循该规则。）

某一内核在进行读和写之后都进行一个类似fence的指令，待所有操作完成后进行解除。

若有偏差希望指出，谢谢