有关内存屏障的问题，头都大了～

通用寄存器

小弟在看LKD2，有关内存屏障mb（），rmb（），wmb（）的部分（P122中文版），作者举了个例子：
Thread 1         Thread 2

a = 3;              -

mb();               -

b = 4;              c = b;

-                      rmb();

-                      d = a;

其中a，b初值分别为1，2，书上称执行后c，d值应该是4，3

问题：这两个线程是跑在不同的CPU上的吗？我觉得现代的乱序发射的CPU可以很好地保证指令的执行顺序的啊，这里的的两个线程之间还需要其他同步手段来确保线程一的前两条指令先于线程二执行吗？还是就是用mb();和rmb();来保证同步啊，单CPU需要这种屏障吗？
谢谢

Solaris12

原帖由 通用寄存器 于 2006-3-12 17:51 发表
小弟在看LKD2，有关内存屏障mb（），rmb（），wmb（）的部分（P122中文版），作者举了个例子：
Thread 1         Thread 2

a = 3;              -

mb();               -

b = 4;              c = b ...

看看前两天的讨论：

http://bbs.chinaunix.net/viewthr ... &extra=page%3D2

shidaihulian

是内存的错错误信息,或内存之内其他问题吧

通用寄存器

原帖由 Solaris12 于 2006-3-13 08:47 发表


看看前两天的讨论：

http://bbs.chinaunix.net/viewthr ... &extra=page%3D2

讨论我看了，基本明白了，现在我的问题是这个例子：
Thread 1         Thread 2

a = 3;              -

mb();               -

b = 4;              c = b;

-                      rmb();

-                      d = a;
就算是 c = b;先于d = a;执行，也不能保证c＝4啊，线程一对b的赋值是和线程二对c的赋值同时的，还有就是光靠mb和rmb是不能保证线程一先于线程二执行的吧，有可能线程二的d＝a;在线程一的a＝3;之前就执行了，所以应该需要其他同步手段的吧？谢谢！

通用寄存器

原帖由 shidaihulian 于 2006-3-13 10:41 发表
是内存的错错误信息,或内存之内其他问题吧

没懂，什么意思？

albcamus

昨天给你说的还没明白啊?

通用寄存器

原帖由 albcamus 于 2006-3-13 10:44 发表
昨天给你说的还没明白啊?

那个明白了，是说这个例子，我看着觉得例子有问题

通用寄存器

原帖由 albcamus 于 2006-3-13 10:44 发表
昨天给你说的还没明白啊?

这个例子对d的赋值可以保证但c的赋值不能保证吧

albcamus

原帖由 通用寄存器 于 2006-3-13 10:48 发表
这个例子对d的赋值可以保证但c的赋值不能保证吧

有点钻牛角尖了
翻了一下LKD2, 书上没错，再仔细看看， mb究竟是用来做什么的， 不能用来做什么。

spinlock和semaphore这些锁， 其实现都是包含了内存屏障的。

通用寄存器

原帖由 albcamus 于 2006-3-13 11:05 发表


有点钻牛角尖了
翻了一下LKD2, 书上没错，再仔细看看， mb究竟是用来做什么的， 不能用来做什么。

spinlock和semaphore这些锁， 其实现都是包含了内存屏障的。

mb是保证a＝3先于b＝4执行的吧？老大的意思是说b＝4是要先于c＝b执行的啊？这里应该有一个暗含的自旋锁或是信号量？