"rep; nop;" 是什么意思？在 x86 程序集中是什么意思？它与“暂停”指令相同吗？

Question

• rep; nop 是什么意思？
• 和pause指令一样吗？
• 和rep nop一样吗（不带分号）？
• 与简单的nop 指令有什么区别？
• 它在 AMD 和 Intel 处理器上的行为是否不同？
• （奖励）这些说明的官方文档在哪里？

---

这个问题的动机

在another question 的cmets 中进行了一番讨论后，我意识到我不知道rep; nop; 在x86（或x86-64）汇编中的含义。而且我在网上也找不到很好的解释。

我知道rep 是一个前缀，表示“重复下一条指令cx 次”（或者至少在旧的 16 位 x86 程序集中是这样）。根据这个summary table at Wikipedia，似乎rep 只能与movs、stos、cmps、lods、scas 一起使用（但也许这个限制在较新的处理器上被删除了）。因此，我认为rep nop（不带分号）会重复nop 操作cx 次。

但是，经过进一步搜索，我变得更加困惑。似乎rep; nop 和pause map to the exactly same opcode 和pause 的行为与nop 有点不同。一些old mail from 2005 说了不同的话：

• “尽量不要烧太多电”
• “它相当于 'nop' 只是使用 2 字节编码。”
• “这对英特尔来说很神奇。就像'nop，但让另一个 HT 兄弟运行'”
• “在 Intel 上暂停，在 Athlon 上快速填充”

由于这些不同的意见，我无法理解正确的含义。

它在 Linux 内核中使用（在 i386 和 x86_64 上），连同这条评论：/* REP NOP (PAUSE) is a good thing to insert into busy-wait loops. */ 它也是 being used in BeRTOS，有同样的评论。

Answer 1

rep; nop 确实与pause 指令相同（操作码F390）。它可能用于不支持pause 指令的汇编程序。在以前的处理器上，这根本没有做任何事情，就像nop 一样，但在两个字节中。在支持超线程的新处理器上，它用作向处理器提示您正在执行自旋循环以提高性能的处理器。来自Intel's instruction reference：

提高自旋等待循环的性能。在执行“自旋等待循环”时，奔腾 4 或英特尔至强处理器在退出循环时会遭受严重的性能损失，因为它检测到可能的内存顺序违规。 PAUSE 指令向处理器提供代码序列是自旋等待循环的提示。处理器在大多数情况下使用此提示来避免内存顺序冲突，从而大大提高处理器性能。因此，建议在所有自旋等待循环中放置一条 PAUSE 指令。

Answer 2

rep nop = F3 90 = pause 的编码，以及它如何在不支持 pause 的旧 CPU 上解码。

---

不适用于指令的前缀（lock 除外）实际上会被现有 CPU 忽略。

文档说将rep 与它不适用的指令一起使用是“保留并可能导致不可预测的行为”，因为未来 CPU 可能会将其识别为某些新指令的一部分。 一旦他们使用f3 xx 建立了任何特定的新指令编码，他们就会记录它是如何在旧 CPU 上运行的。 （是的，x86 操作码空间非常有限，以至于他们会做这样疯狂的事情，是的，它使解码器变得复杂。）

在这种情况下，这意味着您可以在自旋循环中使用pause 而不会破坏向后兼容。正如英特尔的 ISA 参考手册 entry for pause 所保证的那样，不知道 pause 的旧 CPU 会将其解码为 NOP 而不会造成任何伤害。在新 CPU 上，您可以享受省电/HT 友好性的好处，并且avoiding memory-ordering mis-speculation 当您正在旋转的内存确实发生变化并且您离开自旋循环时。

---

x86 tag wiki info page 上的英特尔手册和大量其他好东西的链接

另一个无意义的 rep 前缀成为新 CPU 上的新指令的情况：lzcnt 是 F3 0F BD /r。在不支持该指令的 CPU 上（在其 CPUID 中缺少 LZCNT 功能标志），它解码为rep bsr，其运行方式与bsr 相同。所以在旧 CPU 上，它会产生 32 - expected_result，并且在输入为零时是未定义的。

但是tzcnt 和bsf 对非零输入做同样的事情，所以编译器可以并且确实使用tzcnt，即使不能保证目标CPU 会以tzcnt 运行它。 AMD CPU 速度快tzcnt，慢速bsf，在英特尔上它们都很快。只要对正确性无关紧要（您不依赖标志设置，或者在 input=0 情况下保留目标未修改行为），在支持它的 CPU 上将其解码为 tzcnt 会很有帮助.

---

一个无意义的rep前缀可能永远不会以不同方式解码的情况：rep ret在针对“通用”CPU时由gcc默认使用（即不针对具有-march或-mtune的特定CPU，并且不针对 AMD K8 或 K10。）任何人都需要几十年才能制造出将 rep ret 解码为除 ret 之外的任何内容的 CPU，因为它存在于大多数 Linux 发行版的大多数二进制文件中。见What does `rep ret` mean?