1位饱和计数器：最简单的分支预测器

分支预测这个话题，我做了十几年了。说实话，1位饱和计数器是所有预测器里最基础的，但也是最容易让人理解预测本质的起点。你想想看，CPU流水线里遇到分支指令，到底是跳还是不跳？总得有个说法。

1位饱和计数器，说白了就是用一个比特来记录「上次跳了没」。就这么简单。但别小看它，很多现代处理器的预测器里，依然能看到它的影子。

工作原理

这个计数器只有两个状态：

• 0（不跳转）：预测下一次不跳
• 1（跳转）：预测下一次跳

每次分支执行完后，计数器会根据实际结果更新：

• 如果实际跳转了 → 状态设为1
• 如果实际没跳转 → 状态设为0

嗯，这里要注意：它没有「保持」的概念。每次都是直接覆盖。我刚开始做CPU设计时，觉得这太粗暴了，后来发现对于某些场景，粗暴反而高效。

状态转移图

下面这张图，是我用SVG画的。你看一眼就明白了：

说白了，这就是一个有限状态机。两个状态，两条转移边。简单到不能再简单了。

实现代码

我习惯用C语言来描述硬件行为。下面这段代码，模拟了一个1位饱和计数器的工作过程：

// 1位饱和计数器模拟
#include <stdint.h>

typedef struct {
    uint8_t state;  // 0 或 1
} BimodalPredictor;

// 初始化
void init_predictor(BimodalPredictor *p) {
    p->state = 0;  // 默认预测不跳转
}

// 预测：返回1表示预测跳转，0表示不跳
uint8_t predict(BimodalPredictor *p) {
    return p->state;
}

// 更新：根据实际结果更新状态
void update(BimodalPredictor *p, uint8_t actual_taken) {
    p->state = actual_taken;  // 直接覆盖
}

// 使用示例
int main() {
    BimodalPredictor pred;
    init_predictor(&pred);

    // 模拟一个循环分支
    uint8_t results[] = {1, 1, 1, 1, 0};  // 跳4次，最后1次不跳
    for (int i = 0; i < 5; i++) {
        uint8_t prediction = predict(&pred);
        uint8_t actual = results[i];
        printf("预测: %d, 实际: %d, 正确: %d\n", 
               prediction, actual, prediction == actual);
        update(&pred, actual);
    }
    return 0;
}

你看，核心逻辑就两行：预测时读state，更新时写state。我在一个嵌入式处理器项目里，就用这种预测器处理过简单的循环分支，代码量极小，硬件开销几乎为零。

性能分析

1位饱和计数器的预测准确率，完全取决于分支行为。我整理了一个表格，方便你对比：

分支模式	示例	准确率	说明
始终跳转	1,1,1,1,...	100%	第一次预测错误后，后续全对
始终不跳	0,0,0,0,...	100%	同上
交替模式	1,0,1,0,...	0%	每次都预测错误！
循环末尾	1,1,1,0,1,1,1,0,...	75%	只有循环退出那次预测错

局限性

1位饱和计数器的问题，其实很明显：

• 没有历史记忆：它只记得上一次的结果。对于周期性模式，比如「跳-不跳-跳-不跳」，它永远猜不对。
• 抖动严重：分支行为稍微变化，预测器就跟着来回翻转。你想想看，一个循环每次退出时，预测器都会从「跳」变成「不跳」，然后下次循环开始又得重新适应。
• 无法区分冷启动和稳定状态：第一次预测总是盲猜。我习惯把初始状态设为0，但有些场景设成1更好，这得看具体应用。

好了，1位饱和计数器就讲到这里。它虽然简单，但却是理解所有分支预测算法的基石。你把这个搞透了，后面学2位、3位甚至TAGE预测器，都会轻松很多。

---

公众号:蓝海资料掘金营，微信deep3321