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

塑料袋

回复 5# asuka2001


   

基本原理概括为两句话：
1) CPU2若看到CPU1执行了某条指令，则必可看到CPU1中这条指令之前的所有指令。
2) CPU3若看到CPU2执行了某条指令，而此时CPU2若看到CPU1执行了某条指令，则CPU3必可看到CPU1中的这条指令。该原则递归。

另外啊，可别引用我的帖子了，我说的不够好。


这两句话的详细准确解释，在arm architecture reference manual ARM-v7a中，里边有解释dmb这个同步指令的段落。

他们不叫“看到”，而是叫“observed”，并对何为observed进行了解释； 然后将所有访问分成GROUP A和GROUP B，进行了全面的讨论。

大意就是这两句话的意思，但是显然人家说的更全面和准确

ruslin

回复 20# zylthinking


    加锁啊。在用户态这样写多线程就等于是bug。没有商量的余地。

zylthinking

进程切换的时候，必然是需要一个同步点的，这是一个一般原则。

multipul processor memory consistency  ...
塑料袋 发表于 2011-10-14 16:09

就是说， 由操作系统保证内存屏障？？？

zylthinking

回复  zylthinking


    加锁啊。在用户态这样写多线程就等于是bug。没有商量的余地。
ruslin 发表于 2011-10-14 16:50

为什么是bug, 就用户空间程序员的观点：
ptr->enable = 1 是在 ptr->buf = malloc() 后执行的；
那么在另一个线程中，  if(ptr->enable == 1) 可肯定 ptr->buf 不是 0 了， 有问题吗， 为什么一定要锁呢？

如果是bug, 那么单CPU debug版本下， 你能否举出一个 crash 的情景出来

塑料袋

草，我写了半天，争取能回答你那三个问题

结果由于现在在华为这个地方出差，不知怎的把我网络重置了，靠，写的那些没有了。



等周日再写吧，我下班了，现在要去东莞了。

ruslin

回复 24# zylthinking


》》》》    ptr->enable = 1 是在 ptr->buf = malloc() 后执行的；
没有内存屏障，为什么enable已经等于1的时刻，ptr->buf指针就一定会赋值了呢？

这时另外一个线程在其他cpu上访问这个buf就是野指针段错了。

有问题吗？


不管你信不信，就用户态编程原则来说，还真的要加锁。

zylthinking

回复  zylthinking


》》》》    ptr->enable = 1 是在 ptr->buf = malloc() 后执行的；
没有内存屏障 ...
ruslin 发表于 2011-10-14 17:28

你拿我的问题反过来问我， 算是啥意思？？？
我就是注意到这种情况才有疑问的， 问题是事实上， 这个到底是不是一个问题？？？
我觉得不是， 因为我所说的用户层程序员的观点应该代表了现在大部分普通程序员观点， 如果这是个问题， 那么估计早就暴露出来了
如果不是， 那么肯定在某个地方存在着内存屏障这样的东西， 那么这个东西在什么地方

zylthinking

草，我写了半天，争取能回答你那三个问题

结果由于现在在华为这个地方出差，不知怎的把我网络重置了，靠 ...
塑料袋 发表于 2011-10-14 17:27

呵呵， 静候佳音

asuka2001

回复 21# 塑料袋

不管怎么说，您的帖子让人受益非浅，十分感谢！

smalloc

回复 24# zylthinking


    这种程序员不够格写多线程程序吧