c - 学习可能（）和不太可能（）编译器提示的示例

Question

如何向学生展示编译器提示 ( ) 的可用性likely和可用性？unlikely__builtin_expect

你能写一个示例代码吗，与没有提示的代码相比，有这些提示会快几倍。

Answer 1

这是我使用的一个，斐波那契数的一个非常低效的实现：

#include <stdio.h>
#include <inttypes.h>
#include <time.h>
#include <assert.h>

#define likely(x) __builtin_expect((x),1)
#define unlikely(x) __builtin_expect((x),0)

uint64_t fib(uint64_t n)
{
    if (opt(n == 0 || n == 1)) {
        return n;
    } else {
        return fib(n - 2) + fib(n - 1);
    }
}

int main(int argc, char **argv)
{
    int i, max = 45;
    clock_t tm;

    if (argc == 2) {
        max = atoi(argv[1]);
        assert(max > 0);
    } else {
        assert(argc == 1);
    }

    tm = -clock();
    for (i = 0; i <= max; ++i)
        printf("fib(%d) = %" PRIu64 "\n", i, fib(i));
    tm += clock();

    printf("Time elapsed: %.3fs\n", (double)tm / CLOCKS_PER_SEC);
    return 0;
}

为了演示，使用 GCC：

~% gcc -O2 -Dopt= -o test-nrm test.c
~% ./test-nrm
...
fib(45) = 1134903170
Time elapsed: 34.290s

~% gcc -O2 -Dopt=unlikely -o test-opt test.c
~% ./test-opt
...
fib(45) = 1134903170
Time elapsed: 33.530s

少了几百毫秒。这种增益是由于程序员辅助的分支预测。

但是现在，对于程序员真正应该做的事情：

~% gcc -O2 -Dopt= -fprofile-generate -o test.prof test.c
~% ./test.prof 
...
fib(45) = 1134903170
Time elapsed: 77.530s  /this run is slowed down by profile generation.

~% gcc -O2 -Dopt= -fprofile-use -o test.good test.c
~% ./test.good
fib(45) = 1134903170
Time elapsed: 17.760s

通过编译器辅助的运行时分析，我们设法将原来的 34.290s 减少到 17.760s。比程序员辅助的分支预测要好得多！

Answer 2

从这篇博文。我认为可能和不太可能大多已过时。非常便宜的 CPU（示例中为 ARM Cortex A20）具有分支预测器，并且无论进行跳转/不进行跳转都不会受到惩罚。当您引入可能/不太可能时，结果将相同或更糟（因为编译器生成了更多指令）。