我试图了解内存障碍，但偶然发现了以下维基百科链接 http://en.wikipedia.org/wiki/Memory_barrier 这很好地解释了这个概念，但如果这在我们有 mutex() 锁定内存部分的系统中真的很有帮助的话。
采用与维基百科中提到的相同的代码，下面的方法是否可以解决使用互斥锁的问题？
[注意：函数名称不特定于任何编程语言，只是为了简单起见]
处理器 #1
mutex_lock(a)
while (f == 0);
print x;
mutex_unlock(a)
处理器 #2
mutex_lock(a)
x = 42;
f = 1;
mutex_unlock(a)
【问题讨论】：
标签： memory linux-kernel mutex memory-barriers
内存屏障保证先前指令的所有可见效果在任何后续指令的效果之前变得可观察。可能会重新排列观察到的效果顺序的事情是：
互斥锁保证一次只有一个线程持有该互斥锁。
这两个概念之间存在关系：如果没有至少部分内存屏障，互斥体实际上是无用的。考虑这个例子：
mutex_lock(a);
x = x+1;
mutex_unlock(a);
锁操作必须至少有一个“获取”屏障，以防止在获取锁之前出现 x 的加载。同样，“解锁”操作必须至少有一个“释放”屏障，以防止 x 的存储在锁被释放后出现。那就是锁定-解锁对形成一个笼子，操作无法逃脱。 （虽然有时程序员会在重新排序导致操作爬进笼子时感到惊讶！）
因此，锁定互斥体并立即解锁它就像一个内存屏障，尽管它的效率非常低，因为它会强制串行执行。
【讨论】：
内存条通常用于使无序的管道进入关于其内存访问的明确定义的状态，因此与互斥锁的概念正交，互斥锁通常是更高级别的多处理中的概念（与 CPU 指令的乱序执行无关）。
【讨论】：
内核中的互斥锁和其他锁在内部使用屏障来确保代码按预期的确切顺序运行。 在编译器中使用优化时，您永远不应假设指令将按照与 源代码。编译器可能会以优化寄存器使用方式的方式对汇编语言指令进行重新排序。此外，现代 CPU 通常并行执行多条指令，并且可能会重新排序内存访问。这些类型的重新排序可以大大加快程序的速度。 但可能会导致意外输出！
因此，MEMORY BARRIER 原语确保与放置在原语之前的 C 语句相对应的汇编语言指令不会被编译器与对应于放置在原语之后的 C 语句的汇编语言指令混合。在 linux barrier() 宏是：
asm volatile("":::"memory")
解释如下：
【讨论】：