内存屏障asm volatile("mfence":::"memory")疑问

safedead

如题，从LINUX内核代码找了3个内存屏障函数，用于支持SSE2的X86/X64体系的

#define        mb()        asm volatile("mfence":::"memory")
#define        rmb()        asm volatile("lfence":::"memory")
#define        wmb()        asm volatile("sfence":::"memory")

用这个同步内存是不是比pthread_mutex代价低些，我的目的仅仅是同步多线程的公用变量，不做流程控制
书上把这三个指令归类在SSE指令章节，执行这些指令应该是针对所有内存操作而不仅仅是SIMD寄存器和内存的交互吧？

liuiang

这三条指令根本无法取代pthread_mutex，目的不同。

倒是pthread_mutex实现过程中，需要调用了这三条指令（要看具体实现）。

siseniao

你这个只能保证每个进程或者线程读取的是内存的数据而不是某个寄存器中的数据,但是不能保存在一个线程把数据写入之后另一个线程去读取这个数据,也不能保证两个进程同时写这个数据,所以必须要在操作数据时给数据上锁

safedead

siseniao 发表于 2012-12-24 11:23
你这个只能保证每个进程或者线程读取的是内存的数据而不是某个寄存器中的数据,但是不能保存在一个线程把数据 ...

“你这个只能保证每个进程或者线程读取的是内存的数据而不是某个寄存器中的数据”
这三个指令可不是用来干这个的，它并没有绕过CACHE去读内存
我的程序被设计成对顺序不那么敏感，公用变量数组中，每个线程只能写固定的某一部分，不会有超过一个线程去写同一个内存地址的内容
基本上是在模仿PCI驱动程序中DMA传输的做法：
(1)拷贝数据到环形DMA缓冲区的某一块内存
(2)调用wmb()
(3)写入IO寄存器告知设备这块内存的首地址，
(4)调用wmb()，进而激活DMA传输

到我的程序就是：
(1)线程拷贝数据到二维数组某个下标的内存区域
(2)调用wmb()
(3)线程写入步骤(1)拷贝的内存区域的某个字段(标志位)
(4)调用wmb()

我关心的是当其它线程看到数组中某个内存区域的标志位改变后，读取到的内容在调用rmb()之后是最新的

变异老鼠

回复 4# safedead


看起来没问题。

另外，这些指令是跟着 SSE/SSE2 加进指令集的，但是和 SIMD 没什么关系，也不只作用于 XMM 寄存器和内存的交互。

sqfasd

内存屏障的作用是设一个标志，在这标志之前的指令一定比在这之后的指令先执行。
如果没有内存屏障，因为流水线的原因，会造成指令执行乱序。
但它不能保证线程安全吧，你最好还是用锁

snnn

在intel cpu下，这三个宏不产生任何代码。仅仅是给编译器看的。

chenzhanyiczy

回复 7# snnn


   你理解的不太对。这些指令是实实在在的指令，当然如果有些cpu已经内部实现了这些指令(比如；ia64、power系列等)，
  那这些指令是没意义了，但"memory"还是有用的，给编译器hint，约束编译器

   可以这样说：lfence和sfence都是lock锁的一个特例，就是为了减少lock的开销而设计的