浅谈likely与unlikely

文章出处：http://hi.baidu.com/%5Fkouu/blog/item/b9f991db24d923d2b6fd483e.html

 

在linux内核代码中随处可见if语句中出现likely或unlikely，这两个东西是干什么的呢？

偶然看到有人问这个问题，自己也整理一下~

likely或unlikely用于优化条件语句，其一般用法为：

 

条件判断之后会有两个出口，一个是真，一个是假。然而编译生成的目标代码是扁平的，其中一个出口必须通过跳转来实现。

考虑下面一个场景：

1、判断条件；

2、条件为真跳转到4；

3、进行条件为假时的处理；

4、进行条件为真时的处理；

可见，如果条件为真，多了一次JMP操作，并且由于JMP打断了处理器流水。

likely(x) 和 unlikely(x)的作用是用来编译的，让代码在多数情况下不会发生JMP的情况。

比如，likely(x)就告诉编译器，x在大多数情况下结果会是真，于是编译器生成的结果为真的出口不需要JMP。unlikely(x)类似~

 

突然又想到一个问题，其实likely和unlikely应该只对单条件的if语句才有意义。如果是多个条件的复合，条件表达式值的计算本身就要通过JMP来选择真假出口，所以用不用likely都影响不大。