关于Linux Kernel中的宏定义likely和unlikely

在Linux kernel的源代码中，经常能见到if(likely(x))或if(unlikely(x))之类的用法，其确切含义需要说明一下，以便更好的理解kernel的源代码。
likely与unlikely这两个宏在linux/compiler.h中的定义如下：
#define likely(x)   __builtin_expect(!!(x),1)
#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().
另外有一点要注意的是，由于likely定义时用的常量是1，unlikely用的常量是0，这正好符合c/c++语言中bool变量的实际值，而_builtin_expect()函数对exp与c进行严格相等的比较的，
因此使用likely和unlikely时，其参数应该只使用逻辑表达式，因为逻辑表达式的值只有0或1。除非真要判断某个变量的值是1或0时，才会将其它类型的参数传给likely或unlikely。这一点可能很多人会不小心用错。
使用这两个宏定义的好处是优化条件判断

关于Linux Kernel中的宏定义likely和unlikely相关推荐

Linux 内核中的宏定义
Linux 内核中的宏定义 rtoax 日期内核版本:linux-5.10.13 注释版代码:https://github.com/Rtoax/linux-5.10.13 __attribute__ ...
如何在Linux kernel Makefile中添加宏定义
如何在Linux kernel Makefile中添加宏定义: CFLAGS_object.o += -DMACRO_NAME 在编译object.o时定义宏MACRO_NAME,在kernel中添加 ...
Linux kernel中常见的宏整理
0x00 宏的基本知识 // object-like #define 宏名替换列表换行符 //function-like #define 宏名 ([标识符列表]) 替换列表换行符替换列表和标识 ...
Linux内核源码中使用宏定义的若干技巧
在C中,宏定义的概念虽然简单,但是真要用好却并不那么容易,下面从Linux源码中抽取一些宏定义的使用方法,希望能从中得到点启发: 1. 类型检查比如module_init的宏定义: 点击(此处)折叠 ...
Linux内核中max()宏的奥妙何在？（一）
Linux内核中max()宏的奥妙何在?(一) 1.max()宏那点事在Linux内核中,有这样四个比较大小的函数,如下: max(x,y) //两个数求最大值 min(x,y) //两个数求最小值 ...
Linux kernel 中模块化的平台驱动代码介绍
介绍在linux kernel中通过module_platform_driver来实现模块化平台驱动.大量的设备驱动程序都基于该种方式来实现,使用频次非常的高,在linux kernel 5.4.1 ...
内存访问顺序 - part2: 屏障及Linux kernel中屏障的使用
文章目录屏障是什么 Linux Kernel 中的屏障 Linux 屏障 API 一般的屏障强制性屏障 SMP 条件屏障隐式屏障其他屏障屏障的开销未来的文章本文翻译自 Memory ac ...
Linux内核中max()宏的奥妙何在？（二）——大神Linus对这个宏怎么看？
最新max()宏上回,我们在<Linux内核中max()宏的奥妙何在?(一)>一文中说到,在3.18.34版Linux内核源码中的max()宏,采用了GCC的扩展特性,可以避免一些错误. ...
linux kernel中的栈的介绍
目录 1.linux kernel中的中断irq的栈stack (1).arm32体系的irq的栈 (2).arm64体系的irq的栈 2.linux kernel中的栈stack (1).概念介绍: ...

关于Linux Kernel中的宏定义likely和unlikely

关于Linux Kernel中的宏定义likely和unlikely相关推荐

最新文章

热门文章