论坛徽章:: 0

电梯直达

1楼 [收藏(0)] [报告]

发表于 2013-09-23 17:45 |只看该作者 |倒序浏览

比如假设这样一种场景：
用户态代码中有前后连续的一个store和一个load，对于符合TSO的intel的cpu来说，在memory order上load可能先于store，但如果中间有mfence就不会发生reorder。
但在可以抢占的linux内核下，可能这两条指令执行的过程会是这样：
假设线程初始在Processor A上执行了store，然后进入中断，而后某个时刻将这个线程切换到processor B上，然后执行load。在这种场景下，可以保证store在memory order上先于load吗？

文库|博客

longddr

白手起家

论坛徽章:: 0

2楼 [报告]

发表于 2013-09-23 22:22 来自手机 |只看该作者

iret可以保证

实战分享：从技术角度谈机器学习入门| 【大话IT】RadonDB低门槛向MySQL集群下战书 | ChinaUnix打赏功能已上线！ | 新一代分布式关系型数据库RadonDB知多少？

newmanwang

白手起家

论坛徽章:: 0

3楼 [报告]

发表于 2013-09-24 13:11 |只看该作者

回复 2# longddr

在intel SDV里看到了，iret是一个serializing instruction、多谢啊

实战分享：从技术角度谈机器学习入门| 【大话IT】RadonDB低门槛向MySQL集群下战书 | ChinaUnix打赏功能已上线！ | 新一代分布式关系型数据库RadonDB知多少？

newmanwang

白手起家

论坛徽章:: 0

4楼 [报告]

发表于 2013-09-24 13:56 |只看该作者

回复 2# longddr

http://wenku.it168.com/org/request

还有疑问，在之前提到的场景下iret发生在process B上，Iret保证了在processor B上load在memory order上落后与processor B上iret之前执行的指令，似乎并没有保证processor B上的这个load在memory order上落后与processor A上的store？

实战分享：从技术角度谈机器学习入门| 【大话IT】RadonDB低门槛向MySQL集群下战书 | ChinaUnix打赏功能已上线！ | 新一代分布式关系型数据库RadonDB知多少？

smalloc

丰衣足食

论坛徽章:: 7

5楼 [报告]

发表于 2013-09-24 14:36 |只看该作者

如果是说store buffer,在中断和异常执行时就清完了

实战分享：从技术角度谈机器学习入门| 【大话IT】RadonDB低门槛向MySQL集群下战书 | ChinaUnix打赏功能已上线！ | 新一代分布式关系型数据库RadonDB知多少？

smalloc

丰衣足食

论坛徽章:: 7

6楼 [报告]

发表于 2013-09-24 16:35 |只看该作者

本帖最后由 smalloc 于 2013-09-24 17:02 编辑

如果是不同地址，没必要保证order,同地址则处理器的memory-order模型已经保证order。
store发起在时间上必定先于中断，中断发起必定先于load.
而中断的signed是在指令的某个in-order状态或阶段，并且刷store-buffer,那么中断handler中的指令和中断前的指令是in-order的。
而中断后的指令因为inet也和handler中的指令是in-order的，于是store和loader是in-order的