14、分支优化：避免分支与提升预测的策略

分支优化：避免分支与提升预测的策略

在计算机编程中，分支操作对程序性能有着重要影响。本文将深入探讨如何避免分支以及提升分支预测的准确性，从而优化程序性能。

1. 分支基础

在执行程序时，指令指针通常指向下一条要执行的指令，执行完当前指令后，指令指针会递增到下一条指令。然而，分支操作会打破这种递增模式，它会将指令指针加载到不同代码区域的指令地址。

分支可分为条件分支和无条件分支。条件分支可能改变指令流，也可能不改变；而无条件分支则一定会改变指令流。大多数程序员更关注条件分支，因为它对应着编程语言中的条件和循环结构，如 if 或 for 语句。无条件分支则对应着函数调用和返回等控制流的改变。

由于英特尔处理器的超标量执行流水线包含多个并行执行单元，因此让流水线保持满负荷、同时执行多条指令比串行执行指令更高效。为了充分利用执行流水线，处理器会进行一种名为“推测执行”的优化。当遇到分支时，处理器会预测将选择哪条分支路径，并可能提前开始执行预测路径上的指令。

• 分支命中 ：如果预测正确，两条代码路径的指令可以交错执行，充分利用空闲的执行单元，不仅提高了流水线的利用率，而且分支操作几乎没有开销。
• 分支未命中 ：如果预测错误，提前执行的错误路径上的指令就会成为无用功。此时，执行流水线会被清空，以移除部分执行的指令，从而产生典型的分支开销。不过，推测执行在分支未命中时并不会损害性能，因为它只是尝试用可能有益的工作填充空闲的执行资源。如果没有推测执行，每个分支都会有开销。
</