与 Spectre #2 相比，LFENCE 真的没用吗？

Question

有谁知道为什么建议 LFENCE 指令在 Spectre #1（边界检查绕过/越界读取）的情况下停止推测执行，但在 Spectre #2（分支目标注入）的情况下无用？这两个 Spectre 漏洞都与推测执行有关，并且正在利用分支预测器。据我了解，在第一种情况下涉及通用预测器，在第二种情况下涉及间接调用预测器。如果我开始使用 LFENCE 来防止基于间接调用预测器的推测执行以减轻 Spectre #2 的影响，它会有用吗？

Answer 1

来自Spectre paper

7 缓解选项

条件分支漏洞可以是 如果可以停止推测性执行，则可以缓解 潜在敏感的执行路径。

这意味着如果你有类似的代码

if (security critical check)
  execute critical code
else 
  do not execute critical code

那么您需要将序列化指令放在安全关键代码之前：

if (security critical check)
  lfence
  execute critical code
else 
  do not execute critical code

避免猜测支票可能泄露信息。

在 Spectre #2 中，攻击者控制 CPU 推测执行将继续的“入口点”。放

lfence
critical code

没有帮助，因为攻击者不必导致预测以lfence为目标，他们可以使其直接以critical code为目标。