在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都影响不大。