这个组件是如何工作的？答案

【问题标题】：How does this piece of assembly work?这个组件是如何工作的？
【发布时间】：2026-01-11 23:05:02
【问题描述】：

我最近需要在汇编级别调试程序。我没有很多汇编程序经验，所以我想我会编写一些简单的 C 程序并单步执行它们，以便在开始调试其他人的代码之前对这种语言有一种感觉。但是，我真的不明白 gcc 是由这两行组成的（用 -ggdb -O0 编译的）：

items[tail] = i;
tail = (tail+1) % MAX_SIZE;

其中 MAX_SIZE #defined 为 5，而 i 是一个局部变量（我猜是存储在 0x8(%ebp) 中）。根据 gdb，这变成：

0x08048394 <queue+17>:  mov    0x8049634,%edx
0x0804839a <queue+23>:  mov    0x8(%ebp),%eax
0x0804839d <queue+26>:  mov    %eax,0x804963c(,%edx,4)
0x080483a4 <queue+33>:  mov    0x8049634,%eax
0x080483a9 <queue+38>:  lea    0x1(%eax),%ecx
0x080483ac <queue+41>:  movl   $0x66666667,-0xc(%ebp)
0x080483b3 <queue+48>:  mov    -0xc(%ebp),%eax
0x080483b6 <queue+51>:  imul   %ecx
0x080483b8 <queue+53>:  sar    %edx
0x080483ba <queue+55>:  mov    %ecx,%eax
0x080483bc <queue+57>:  sar    $0x1f,%eax
0x080483bf <queue+60>:  mov    %edx,%ebx
0x080483c1 <queue+62>:  sub    %eax,%ebx
0x080483c3 <queue+64>:  mov    %ebx,-0x8(%ebp)
0x080483c6 <queue+67>:  mov    -0x8(%ebp),%eax
0x080483c9 <queue+70>:  shl    $0x2,%eax
0x080483cc <queue+73>:  add    -0x8(%ebp),%eax
0x080483cf <queue+76>:  mov    %ecx,%edx
0x080483d1 <queue+78>:  sub    %eax,%edx
0x080483d3 <queue+80>:  mov    %edx,-0x8(%ebp)
0x080483d6 <queue+83>:  mov    -0x8(%ebp),%ebx
0x080483d9 <queue+86>:  mov    %ebx,0x804963

由于 0x804963c 是项目的地址，我可以看到第一行 C 代码是如何工作的。另外，0x8049634 是 tail 的地址，所以我猜 queue+33 和 queue+38 等价于 %ecx = tail+1 ...但我不知道之后发生了什么。谁会想到一个简单的模数会这么复杂？

【问题讨论】：

标签： assembly x86

【解决方案1】：

这是一种避免执行更昂贵的除法指令的方法。我第一次遇到这种情况时也很困惑。有趣的是，搜索用于此技巧的幻数（在本例中为 0x66666667）通常会给出解释此技巧的结果。（我相信当时这是我必须做的唯一具体的事情，因为我没有消息来源。）

快速搜索后，我得到了这篇博文：http://blog.dkbza.org/2007/09/reverse-engineering-compiler-produced.html 它在底部有一些有用的链接（包括指向有关此技巧的论文的间接链接）。

【讨论】：