Chinaunix首页 | 论坛 | 博客
  • 博客访问: 1658414
  • 博文数量: 174
  • 博客积分: 5493
  • 博客等级: 上校
  • 技术积分: 5802
  • 用 户 组: 普通用户
  • 注册时间: 2010-10-05 15:13
个人简介

炼狱,是为追逐光芒

文章分类

全部博文(174)

文章存档

2017年(1)

2016年(3)

2015年(9)

2014年(5)

2013年(23)

2012年(56)

2011年(45)

2010年(32)

分类: LINUX

2011-12-22 11:58:49

在Linux kernel的源代码中,经常能见到if(likely(x))或if(unlikely(x))之类的用法,其确切含义需要说明一下,以便更好的理解kernel的源代码。
likely与unlikely这两个宏在linux/compiler.h中的定义如下:
  1. #define likely(x) __builtin_expect(!!(x),1)
  2. #define unlikely(x) __builtin_expect(!!(x),0)
很明显,需要先弄清楚这个__builtin_expect()函数的意义。
__builtin_expect()是gcc的一个内建函数,其原型如下:
long __builtin_expect (long exp, long c);
该函数由GCC本身提供,用于优化代码。其中参数exp为任一表达式,c必须为常量值,其意义是在exp==c时,该函数返回非0值,意即希望exp==c。
回到likely和unlikely,likely实际是希望表达式x==1,即表达式x成立,并且在代码实际执行中,表达式x在绝大多数情况下是成立的,相反,unlikely是希望表达式在绝大多数情况下不成立,
如果有下列代码:
if(unlikely(a > b) {
    foo();
}
这段代码的意思是,在绝大多数情况下a > b这个表达式是不成立的,不成立时执行函数foo().

  1. (框内这段理解是有误的,可以直接跳过去不看,或者看GFree_Wind的评论,对比理解)
  2. 另外有一点要注意的是,由于likely定义时用的常量是1,unlikely用的常量是0,这正好符合c/c++语言中bool变量的实际值,而_builtin_expect()函数对exp与c进行严格相等的比较的,
  3. 因此使用likely和unlikely时,其参数应该只使用逻辑表达式,因为逻辑表达式的值只有0或1。除非真要判断某个变量的值是1或0时,才会将其它类型的参数传给likely或unlikely。这一点可能很多人会不小心用错。

使用这两个宏定义的好处是优化条件判断。

这篇文章为转载,当时只是作为备忘录转载,抱歉忘了出处,这里最后一段是有误的,GFree_Wind 指出的问题,理解是正确的,特此更正本文,对阅读过本文的朋友表示歉意,希望尚没有因此给您带来麻烦,这也提醒我,以后转载文章都先认真,仔细,完整分析作文原意,再转载相关,在这里提醒批评下自己做事的不严谨,最后谢谢GFree_Wind,为保证原创作者原文完整性,我只将错误部分(即框内部分)灰色掉
阅读(4295) | 评论(12) | 转发(4) |
给主人留下些什么吧!~~

leon_yu2012-06-21 09:12:36

bse_han: 意思就是它还是要判断(x)真值的情况,如果为真,则执行if(likely(x))语句,为假则执行else语句?.....
可以这么说,但这个不是普通的if语句,而是编译阶段做的优化

bse_han2012-06-20 15:15:10

意思就是它还是要判断(x)真值的情况,如果为真,则执行if(likely(x))语句,为假则执行else语句?

leon_yu2012-06-20 15:09:18

bse_han: 我想问一下,likely和unlikely是在帮助编译器产生更优代码,__builtin_expect(!!(x),1)  这个真值的判断对likely有没有影响.....
这是(x)的概念是判断其真假,即(x)为真,likely函数结果就为真

bse_han2012-06-20 09:48:16

我想问一下,likely和unlikely是在帮助编译器产生更优代码,__builtin_expect(!!(x),1)  这个真值的判断对likely有没有影响

GFree_Wind2011-12-26 11:58:37

leon_yu: 谢谢,我注意到最后一句话
How should I use it ?
You should use it only in cases when the likeliest branch is very very very likely, or when the unlike.....
怎么看出中式英语的?

你还是很严谨的嘛,这么快就把文章更新了。