相关疑难解决方法(0)

为什么要刷新其他逻辑处理器引起的内存顺序违规的管道?

vTune文档Memory Order Machine Clear性能事件描述为:

当来自另一个处理器的侦听请求与管道中数据操作的源匹配时,将发生内存排序(MO)机器清除。在这种情况下,在撤消正在进行的装载和存储之前,应清理管道。

但是我不明白为什么会这样。在不同逻辑处理器上的加载和存储之间没有同步顺序。
处理器可以假装所有当前的机上数据操作都提交进行监听。

此问题也在此处描述

每当CPU内核检测到“内存排序冲突”时,就会触发内存排序机清除。基本上,这意味着一些当前待处理的指令试图访问我们刚刚发现同时写入了其他CPU内核的内存。由于这些指令仍被标记为待处理,而“此存储器刚刚被写入”事件则表示其他某个内核已成功完成写入,因此,待处理指令以及取决于结果的所有内容都是错误的:当我们开始执行这些指令时在说明中,我们使用的内存内容版本已过时。因此,我们需要把所有工作都扔掉,然后再做完。这很清楚。

但这对我来说没有任何意义,CPU不需要重新执行Load-Queue中的装载,因为没有针对非锁定装载/存储的总订单。

我可以看到一个问题,即允许对负载进行重新排序:

;foo is 0
mov eax, [foo]    ;inst 1
mov ebx, [foo]    ;inst 2
mov ecx, [foo]    ;inst 3
Run Code Online (Sandbox Code Playgroud)

如果执行顺序为1 3 2,则mov [foo], 13至2之间的存储会导致

eax = 0
ebx = 1
ecx = 0
Run Code Online (Sandbox Code Playgroud)

这确实违反了内存排序规则。

但是负载不能随负载重新排序,那么当来自另一个内核的监听请求与任何飞行负载的来源相匹配时,为什么英特尔的CPU会刷新管道?
此行为可以防止什么错误情况?

x86 assembly cpu-architecture memory-barriers

5
推荐指数
1
解决办法
118
查看次数

标签 统计

assembly ×1

cpu-architecture ×1

memory-barriers ×1

x86 ×1