如何在现代x86架构下实现执行最快的截断计数器？

现有方案的性能复盘 #

• 朴素方案（性能最差）：

  i = (i+1)%MAX;
  

  整数除法是x86指令中延迟极高的操作，还会打断CPU流水线，完全不适合高频调用的场景。

• 改进方案（GCC优化后表现优秀）：

  i++; i *= (i < MAX);
  

  你提到GCC -O3会把乘法替换成cmove条件移动指令——这是关键优化，cmove是无分支指令，不会触发流水线清空，延迟远低于乘法和分支跳转，性能已经接近最优。

• 位操作方案（代码繁琐，可简化）：
  原代码逻辑冗余，可简化为：

  i += 1;
  i &= -(i != MAX);
  

  利用x86中布尔值转整数的特性（i != MAX为真时是1，取负后是全1掩码；为假时是0，取负后还是0），位与操作直接完成截断。但代码可读性差，且性能未必比cmove版本高。

是否值得进一步研究？ #

完全值得。尤其是当MAX不具备2的幂特性时，还有指令级并行、常量优化的空间；如果是固定MAX，还可以通过编译器内置指令或手动汇编进一步压榨性能。

更优的实现方案 #

1. 当MAX是2的幂时（极致性能）

这是最优场景，直接用位掩码操作，单周期完成，无任何分支或乘法：

// 比如MAX=8，MAX-1=0b111
i = (i + 1) & (MAX - 1);

x86的位与操作延迟仅1周期，吞吐量极高，适合高频循环中的计数器。

2. 当MAX不是2的幂时（兼顾性能与可读性）

推荐使用更直观的条件表达式，GCC -O3会自动优化为cmove指令：

i = (i + 1 < MAX) ? (i + 1) : 0;

或者拆分两步，逻辑更清晰：

i++;
i = (i < MAX) ? i : 0;

手动写出的代码可读性远优于位操作版本，且性能和编译器优化后的乘法版本完全一致。

3. 极致性能的手动汇编实现（非必要不推荐）

如果追求绝对性能，可以直接写cmove对应的汇编，避免编译器优化的不确定性：

; 假设i存在eax寄存器中，MAX是常量
inc eax
cmp eax, MAX
mov ecx, 0
cmovge eax, ecx

这个汇编片段直接完成“自增后判断，超过MAX则置0”的逻辑，完全可控，性能拉满。

内容的提问来源于stack exchange，提问作者mathreadler