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

asuka2001

回复 88# 塑料袋

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

asuka2001

回复 90# cjaizss

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

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

zylthinking

另外一个人的帖子我不准备回了.对于你的认为,我希望你分清楚软件行为和硬件行为.编译器不是去干涉 ...
cjaizss 发表于 2011-10-20 08:40

他妈的你还显摆牛逼了， 敢不敢打赌， 各说各的技术上的道理， 我输了ID自杀， 你输了自己辞去C版版主。

cjaizss

他妈的你还显摆牛逼了， 敢不敢打赌， 各说各的技术上的道理， 我输了ID自杀， 你输了自己辞去C版版主。 ...
zylthinking 发表于 2011-10-20 09:56

    开始骂人了,晕,你还没资格跟我争.现在心态也越来越平和了,换成之前我就要开骂了.
   再者我几时当过C版斑竹了?就算我输了也没得辞啊

zylthinking

少绕圈子， 是版主， 不管什么版， 你去辞职， 不是版主那你也输了ID自杀， 别拿心态素质之类当借口， 敢不敢吧

asuka2001

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

onfire

用户空间的多线程编程也需要考虑编译器优化问题，只不过采用的方法不是内存屏障，而是volatile关键字。
我觉得内核之所以采用内存屏障主要是为了在通常情况下能够提高效率，只在需要保序的情况下使用内存屏障。
而如果使用了volatile关键字在任何情况下都会保序，影响执行效率，不过却简化了软件设计。

这个问题我也困扰了很久，今天终于想明白了。

onfire

用户空间采用volatile关键字来阻止编译器优化，这样使用简单。
内核空间采用内存屏障保序，这样效率较高。

liuiang

楼上，你真心没有想明白，或者说你想明白的是一个假象。

beyondilove

回复 1# zylthinking


    不是不考虑 你这个代码写的是有问题的 不管内核空间还是用户空间都要考虑
引起乱序的包括两个方面 编译器的行为指令调度（Instruction scheduling）和 CPU的乱序执行（out-of-orderexecution）
1.程序需要考虑的是编译器的指令调度 也就是内核代码里看到的用到了屏障 用户空间同样需要用
这个可以参考这篇文章http://www.goldendoc.org/2012/01/optimization-barrier/
2.至于CPU的乱序执行这个是程序不需要考虑的 至少在X86上不用考虑 Any two stores are seen in a consistent order
多发射乱序执行是为了提高流水线效率 乱序执行只是流水线的一个环节（想想教科书里面的经典的5级流水线）后续的写回store是不会乱序的 即乱序执行 顺序写回
这个看一下讲体系结构的书  Tomasulo算法相关的东西

所以你的程序里如果要保证buffrt 在 enable之前赋值 必须用屏障
而在汇编级别用屏障保证了buffrt 在 enable之前赋值 CPU会保证buffrt的写值一定在enable的写值之前