__builtin_expect详解

在GTK+2.0源码中有很多这样的宏:G_LIKELY和G_UNLIKELY。比如下面这段代码:

if (G_LIKELY (acat == 1))       /* allocate through magazine layer */
    {
      ThreadMemory *tmem = thread_memory_from_self();
      guint ix = SLAB_INDEX (allocator, chunk_size);
      if (G_UNLIKELY (thread_memory_magazine1_is_empty (tmem, ix)))
        {
          thread_memory_swap_magazines (tmem, ix);
          if (G_UNLIKELY (thread_memory_magazine1_is_empty (tmem, ix)))
            thread_memory_magazine1_reload (tmem, ix);
        }
      mem = thread_memory_magazine1_alloc (tmem, ix);
    }

在源码中,宏G_LIKELY和G_UNLIKELY 是这么定义的:

#define G_LIKELY(expr) (__builtin_expect (_G_BOOLEAN_EXPR(expr), 1))
#define G_UNLIKELY(expr) (__builtin_expect (_G_BOOLEAN_EXPR(expr), 0))

宏_G_BOOLEAN_EXPR的作用是把expr转换为0和1,即真假两种。要理解宏G_LIKELY和G_UNLIKELY ,很明显必须理解__builtin_expect。__builtin_expect是GCC(version>=2.9)引进的宏,其作用就是帮助编译器判断条件跳转的预期值,避免跳转造成时间乱费。拿上面的代码来说:

if (G_LIKELY (acat == 1))     //表示大多数情况下if里面是真,程序大多数直接执行if里面的程序

if (G_UNLIKELY (thread_memory_magazine1_is_empty (tmem, ix)))//表示大多数情况if里面为假,程序大多数直接执行else里面的程序

可能大家看到还是一头雾水,看下面一段就会明白其中的乐趣啦;

//test_builtin_expect.c 
#define LIKELY(x) __builtin_expect(!!(x), 1)
#define UNLIKELY(x) __builtin_expect(!!(x), 0)

int test_likely(int x)
{
if(LIKELY(x))
{
   x = 5;
}
else
{
   x = 6;
}
  
return x;
}

int test_unlikely(int x)
{
if(UNLIKELY(x))
{
   x = 5;
}
else
{
   x = 6;
}
  
return x;
}
[lammy@localhost test_builtin_expect]$ gcc -fprofile-arcs -O2 -c test_builtin_expect.c 
[lammy@localhost test_builtin_expect]$ objdump -d test_builtin_expect.o
test_builtin_expect.o:       file format elf32-i386

Disassembly of section .text:
00000000 <test_likely>:
   0: 55                   push   %ebp
   1: 89 e5                mov    %esp,%ebp
   3: 8b 45 08             mov    0x8(%ebp),%eax
   6: 83 05 38 00 00 00 01 addl   $0x1,0x38
   d: 83 15 3c 00 00 00 00 adcl   $0x0,0x3c
14: 85 c0                test   %eax,%eax
16: 74 15                je     2d <test_likely+0x2d>//主要看这里
18: 83 05 40 00 00 00 01 addl   $0x1,0x40
1f: b8 05 00 00 00       mov    $0x5,%eax
24: 83 15 44 00 00 00 00 adcl   $0x0,0x44
2b: 5d                   pop    %ebp
2c: c3                   ret   
2d: 83 05 48 00 00 00 01 addl   $0x1,0x48
34: b8 06 00 00 00       mov    $0x6,%eax
39: 83 15 4c 00 00 00 00 adcl   $0x0,0x4c
40: 5d                   pop    %ebp
41: c3                   ret   
42: 8d b4 26 00 00 00 00 lea    0x0(%esi,%eiz,1),%esi
49: 8d bc 27 00 00 00 00 lea    0x0(%edi,%eiz,1),%edi
00000050 <test_unlikely>:
50: 55                   push   %ebp
51: 89 e5                mov    %esp,%ebp
53: 8b 55 08             mov    0x8(%ebp),%edx
56: 83 05 20 00 00 00 01 addl   $0x1,0x20
5d: 83 15 24 00 00 00 00 adcl   $0x0,0x24
64: 85 d2                test   %edx,%edx
66: 75 15                jne    7d <test_unlikely+0x2d>//主要看这里
68: 83 05 30 00 00 00 01 addl   $0x1,0x30
6f: b8 06 00 00 00       mov    $0x6,%eax
74: 83 15 34 00 00 00 00 adcl   $0x0,0x34
7b: 5d                   pop    %ebp
7c: c3                   ret   
7d: 83 05 28 00 00 00 01 addl   $0x1,0x28
84: b8 05 00 00 00       mov    $0x5,%eax
89: 83 15 2c 00 00 00 00 adcl   $0x0,0x2c
90: 5d                   pop    %ebp
91: c3                   ret   
92: 8d b4 26 00 00 00 00 lea    0x0(%esi,%eiz,1),%esi
99: 8d bc 27 00 00 00 00 lea    0x0(%edi,%eiz,1),%edi
000000a0 <_GLOBAL__I_65535_0_test_likely>:
a0: 55                   push   %ebp
a1: 89 e5                mov    %esp,%ebp
a3: 83 ec 08             sub    $0x8,%esp
a6: c7 04 24 00 00 00 00 movl   $0x0,(%esp)
ad: e8 fc ff ff ff       call   ae <_GLOBAL__I_65535_0_test_likely+0xe>
b2: c9                   leave
b3: c3                   ret   
[lammy@localhost test_builtin_expect]$

两个函数编译生成的汇编语句所使用到的跳转指令不一样,仔细分析下会发现__builtin_expect实际上是为了满足在大多数情况不执行跳转指令,所以__builtin_expect仅仅是告诉编译器优化,并没有改变其对真值的判断。

这种用法在linux内核中也经常用到,国外也有一篇相关的文章,大家不妨看看:http://kernelnewbies.org/FAQ/LikelyUnlikely

不知大家注意到没有,我在生产汇编时用的是gcc -fprofile-arcs -O2 -c test_builtin_expect.c,而不是gcc -O2 -c test_builtin_expect.c,具体可以参考http://gcc.gnu.org/onlinedocs/gcc/Other-Builtins.html。

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/433499.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

python3界面实例_程序人生——python3下tkinter的界面示例

# written by wangluojisuanimport tkinterfrom tkinter import messageboxglobal main_formglobal lbl_nameglobal entry_nameglobal entry_text_varglobal chk_varglobal chkglobal text_areadef window_quit():if tkinter.messagebox.askyesno("提示", "退出…

jQuery图表插件 JS Charts

JS Charts 是一款免费的基于javascript的轻量级插件&#xff0c;用JS Charts 绘制图表是很轻松地事,因为你只需要关心客户端的脚本。 Loading...Loading...Loading...Loading...Loading...Loading...Loading...Loading...Loading...Loading...Loading...转载于:https://www.cnb…

python官方文档怎么用_python帮助文档怎么使用

在python命令行中输入help()&#xff0c;然后再次输入time&#xff0c;可以获得很详细的模块文档&#xff1b;或者输入time.localtime&#xff0c;可以获得简略的函数参数显示&#xff1b;或者输入range&#xff0c;可以获得很详细的类的文档。方法一在python命令行输入以下内容…

ACCEPT

ACCEPT 章节&#xff1a;Linux 程序员手册 (2)更新&#xff1a;2010-09-10到 易美翻译 翻译名字 accept - 通过套接口接受一个连接 概要 #include Esys/types.h> /* 参看 “注意小节” */ #include Esys/socket.h>int accept(int sockfd, struct sockaddr *addr, sockl…

使用正则把数字前面的符号替换_正则表达式(一) 基本表达式

定义 正则表达式(Regular Expression)用某种模式去匹配一类字符串的公式&#xff0c;主要用来描述字符串匹配的工具。 匹配文本或字符存在不止一个部分满足给定的正则表达式&#xff0c;这是每一个这样的部分都被称为一个匹配。 匹配分为以下三种类型&#xff1a; 形容词性的匹…

解构给默认值_ES6学习 --函数参数默认值与解构赋值默认值

1. ES6的解构ES6中引入了解构赋值的操作&#xff0c;其作用是&#xff1a;将值从数组Array或属性从对象Object提取到不同的变量中即分为两种情况&#xff1a;从数组Array中解构&#xff0c;以及从对象Object中解构①.从数组中解构const [a, b] [1, 2]//a 1, b 2当然这些是基…

jsp思维导图_2019年经济法基础思维导图

参加2019年初级考试的考生们明天可以打印准考证啦时间&#xff1a;2019.4.26-5.5日(传送门&#xff1a;http://kjbm8.mof.gov.cn/ksbm/usercxzkz.jsp)为了帮助大家快速梳理教材考点&#xff0c;下面蓝星职业教育为大家整理了初级会计职称考试各章节思维导图&#xff0c;希望给大…

海量数据持久层解决方案_爱数AnyBackup重磅发布海量非结构化数据超可用解决方案...

海量非结构化数据有三大备份恢复问题一直没有得到有效解决&#xff1a;备份慢、恢复慢、备份数据不可查询。这三大问题已经对行业数字化转型造成了重大阻碍。今天&#xff0c;AnyBackup Family 7线上发布会——重磅发布海量非结构化数据超可用解决方案。AnyBackup以创新超可用技…

【PHP】伪静态 - 1. 使用正则表达式实现

在我们实际开发中&#xff0c;有需要&#xff0c;不希望使用真静态&#xff0c;但是希望利于SEO, 可以考虑使用伪静态。 http://localhost/news.php?typemusic&id100 我们希望这个地址可以用下面的访问url来替换 http://localhost/new-music-id100.html 上面的问题可以使用…

wpf 使子ui元素可视区域不超过父元素_对游戏UI设计的一点思考

UI决定了一个游戏的初体验&#xff0c;甚至决定了玩家的初始留存&#xff0c;甚至可以说决定了一个游戏的品质&#xff0c;虽然看起来是表象的&#xff0c;却是直指游戏核心的。简单讲&#xff0c;玩家认可一款游戏永远都是造型场景好&#xff0c;剧情好&#xff0c;画质棒&…

linux新的API signalfd、timerfd、eventfd使用说明

三种新的fd加入linux内核的的版本&#xff1a; signalfd&#xff1a;2.6.22 timerfd&#xff1a;2.6.25 eventfd&#xff1a;2.6.22 三种fd的意义&#xff1a; signalfd&#xff1a;传统的处理信号的方式是注册信号处理函数&#xff1b;由于信号是异步发生的&#xff0c;要…

grpc入门到精通_Spring Cloud 从入门到精通(一)Nacos 服务中心初探

点击上方蓝色“Java精选”&#xff0c;选择“设为星标”技术文章第一时间送达&#xff01;什么是Nacos&#xff1f;Nacos是阿里巴巴开源的项目&#xff0c;是一个更易于帮助构建云原生应用的动态服务发现、配置管理和服务管理平台。Nacos英文全称是Dynamic Naming and Configur…

百度新年贪吃蛇效果

闲来无事&#xff0c;在网上闲逛的时候开到有人说百度蛇年的贪吃蛇logo小游戏不错&#xff0c;于是乎就自己仿照写了一个。&#xff08;注&#xff1a;所有素材都来自百度&#xff09; 效果图 用到的图片 1 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional…

贝叶斯公式设b_数据分析经典模型——朴素贝叶斯

编辑导语&#xff1a;做过数据分析的人&#xff0c;想必对贝叶斯模型都不会陌生。贝叶斯预测模型是运用贝叶斯统计进行的一种预测&#xff0c;不同于一般的统计方法&#xff0c;其不仅利用模型信息和数据信息&#xff0c;而且充分利用先验信息。通过实证分析的方法&#xff0c;…

QGraphicsProxyWidget paintEvent(from 1+1 =2)

标题不好取&#xff0c;起源于CSDN中看到有网友提问&#xff1a;如果将一个QWidget同时显示在 QGraphicsView 和其他和view同级的普通的Widget中。 QGraphicsProxyWidget QGraphicsProxyWidget 是为将 QWidget 嵌入到 QGraphicsScene 中而引入的代理。 将 event 在二者之间进行…

Asterisk使用数据库配置方法

安装&#xff1a; 1、安装 unixODBC unixODBC-devel libtool-ltdl libtool-ltdl-devel &#xff0c;为了使asterisk支持数据库存储&#xff08;必须先安装&#xff09; 2、安装 mysql 并设置好 C_INCLUDE_PATH 和 LD_LIBRARY_PATH 3、从 http://www.asterisk.org/downloads 下载…

linux文件系统_Linux的文件系统简介

inux操作系统的本质可以说就是文件系统的集合&#xff0c;文件系统既包含文件的数据也包含文件系统的结构。在Linux文件系统中&#xff0c;EXT2文件系统、虚拟文件系统、/proc文件系统是三个具有代表性的文件系统。/proc文件系统是一个伪文件系统&#xff0c;它只存在内存当中&…

matlab如何测两点的角度_根据2点经纬度,计算方位角,以及计算2条线的夹角

以真北为0度起点&#xff0c;由东向南向西顺时针旋转360度&#xff0c;主要是用于控制象限。根据2点经纬度&#xff0c;计算方位角[csharp]////// 给定2点&#xff0c;获得经纬度/// /// 起点经纬度&#xff0c;都是以度为单位/// 终点经纬度&#xff0c;都是以度为单位/// pri…

VMWare 环境下devstack创建虚拟机报错及修改nova-api返回数据得条目

1、在生产环境中&#xff0c; 由于某个tenant下创建了有1300条得security-group通过查询nova得数据库可以看出确实有1300条得存在&#xff0c;但是通过curl调用的时候发现返回得数目只有1000条 可以通过修改nova.conf文件得osapi_max_limit 项修改返回得条目限制&#xff0c;默…

使用数据库保存Asterisk sip账号信息(odbc方式)

在默认情况下&#xff0c;Asterisk的配置文件都保存在/etc/asterisk目录中&#xff0c;以ini文件的格式保存。我们也可以使用数据库来保存大多数Asterisk配置信息。 Asterisk使用数据库保存配置信息有两种方法&#xff1a;静态和动态&#xff0c;对于不经常修改的配置数据&…