为什么用户空间程序不用考虑内存屏障？

asuka2001

回复 82# cjaizss

那么volatile只能管理到编译器一级，无法对cache的一致性作出保证，又怎么能保证LZ的代码行为正确呢。

据我所知，锁作为多线程同步的工具，里面加入了内存屏障；如果volatile就可以保证顺序一致，那么为什么还需要加呢？

参见http://www.parallellabs.com/2011 ... k-and-thread-safety中的

说简单点，Pthreads线程库帮程序员保证了pthread mutex（spin lock也一样）所保护的临界区内共享变量的可见性：即Thread 1一执行完unlock()，x的最新值1一定能被Thread 2看见。（为了实现这一点，Pthreads线程库在实现的时候都会根据相应的硬件平台调用相应的memory barrier来保证内存可见性，感兴趣的同学可以看看nptl的实现）

这一段，当然作者这段话是否正确我没有能力去证实，如果你质疑的话，就只有去翻nptl的实现了！

asuka2001

回复 88# 塑料袋

非常期待大牛的文档。。。希望能帮大家澄清这一堆的疑惑！感激不尽

asuka2001

回复 90# cjaizss

那么我想问，volatile能干涉到CPU的行为吗？如果不能，那你怎么可以认为volatile可以确保LZ的程序行为正确？我只希望搞清楚这点！

另外这个疑问你也没有回答：为什么锁中需要使用内存屏障，而不是单纯的使用volatile？

asuka2001

技术讨论，不用弄到这种赌斗的地步吧。。。我们是为了澄清自己的误解，提高自己的技术水平才来做技术讨论的！