Linux内核中的宏定义likely()与unlikely（）

朱雀 2022-06-18 03:28 691阅读 0赞

在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][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] 指出的问题，理解是正确的，特此更正本文，对阅读过本文的朋友表示歉意，希望尚没有因此给您带来麻烦，这也提醒我，以后转载文章都先认真，仔细，完整分析作文原意，再转载相关，在这里提醒批评下自己做事的不严谨，最后谢谢[GFree\_Wind][GFree_Wind]，为保证原创作者原文完整性，我只将错误部分（即框内部分）灰色掉

阅读(2414) | 评论(12) | 转发(4) |

上一篇：Linux输入子系统

下一篇：ldd3学习之十一(1)：Linux设备模型---kobject,kset

相关热门文章

*  linux 常见服务端口
 *  xmanager 2.0 for linux配置
 *  【ROOTFS搭建】busybox的httpd...
 *  openwrt中luci学习笔记
 *  什么是shell

*  [linux dhcp peizhi roc][]
 *  [关于Unix文件的软链接][Unix]
 *  [求教这个命令什么意思，我是新...][...]
 *  [sed -e "/grep/d" 是什么意思...][sed -e _grep_d_ _...]
 *  [谁能够帮我解决LINUX 2.6 10...][LINUX 2.6 10...]

给主人留下些什么吧！~~

![40_avatar_small.jpg][]

leon\_yu2012-06-21 09:12:36

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

可以这么说，但这个不是普通的if语句，而是编译阶段做的优化

回复 | 举报

![68_avatar_small.jpg][]

bse\_han2012-06-20 15:15:10

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

回复 | 举报

![40_avatar_small.jpg][]

leon\_yu2012-06-20 15:09:18

**bse\_han**: 我想问一下,likely和unlikely是在帮助编译器产生更优代码，\_\_builtin\_expect(!!(x),1)  这个真值的判断对likely有没有影响.....

这是(x)的概念是判断其真假，即(x)为真，likely函数结果就为真

回复 | 举报

![68_avatar_small.jpg][]

bse\_han2012-06-20 09:48:16

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

回复 | 举报

![88_avatar_small.jpg][]

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.....

怎么看出中式英语的？ ![Image 1][]  
  
你还是很严谨的嘛，这么快就把文章更新了。

回复 | 举报

*  首页
 *  上一页
 *  1
 *  2
 *  3
 *  下一页
 *  末页

评论热议

[GFree_Wind]: http://blog.chinaunix.net/space.php?uid=23629988
[linux dhcp peizhi roc]: http://ask.chinaunix.net/question/785970
[Unix]: http://ask.chinaunix.net/question/785964
[...]: http://ask.chinaunix.net/question/785935
[sed -e _grep_d_ _...]: http://ask.chinaunix.net/question/785919
[LINUX 2.6 10...]: http://ask.chinaunix.net/question/785702
[40_avatar_small.jpg]: http://passport.ixpub.net/data/avatar/024/70/83/40_avatar_small.jpg
[68_avatar_small.jpg]: http://passport.ixpub.net/data/avatar/026/86/74/68_avatar_small.jpg
[88_avatar_small.jpg]: http://passport.ixpub.net/data/avatar/023/62/99/88_avatar_small.jpg
[Image 1]: