jump label

这段代码的反汇编如下所示
static inline bool test_idle_cores(int cpu, bool def)
{struct sched_domain_shared *sds;if (static_branch_unlikely(&sched_smt_present)) {sds = rcu_dereference(per_cpu(sd_llc_shared, cpu));if (sds)return READ_ONCE(sds->has_idle_cores);}return def;
}0000000000000884 <test_idle_cores>:
{884:       12001c21        and     w1, w1, #0xff
#define JUMP_LABEL_NOP_SIZE             AARCH64_INSN_SIZEstatic __always_inline bool arch_static_branch(struct static_key *key,bool branch)
{asm_volatile_goto(888:       d503201f        nop
}88c:       2a0103e0        mov     w0, w1890:       d65f03c0        retsds = rcu_dereference(per_cpu(sd_llc_shared, cpu));894:       90000003        adrp    x3, 0 <__per_cpu_offset>898:       91000063        add     x3, x3, #0x089c:       90000002        adrp    x2, 0 <sd_llc_shared>8a0:       91000042        add     x2, x2, #0x08a4:       f860d860        ldr     x0, [x3, w0, sxtw #3]8a8:       f8606840        ldr     x0, [x2, x0]if (sds)8ac:       b4ffff00        cbz     x0, 88c <test_idle_cores+0x8>return READ_ONCE(sds->has_idle_cores);8b0:       b9400800        ldr     w0, [x0, #8]8b4:       7100001f        cmp     w0, #0x08b8:       1a9f07e1        cset    w1, ne  // ne = any8bc:       17fffff4        b       88c <test_idle_cores+0x8>为什么会是这样呢，我们看看static_branch_likely的实现
如果使能jump_label的话是先如下，如果没有的话就等同普通的unlikely
#define static_branch_unlikely(x)                       \
({                                      \bool branch;                               \if (__builtin_types_compatible_p(typeof(*x), struct static_key_true))  \branch = arch_static_branch_jump(&(x)->key, false);        \else if (__builtin_types_compatible_p(typeof(*x), struct static_key_false)) \branch = arch_static_branch(&(x)->key, false);            \else                                   \branch = ____wrong_branch_error();                \unlikely_notrace(branch);                          \
})由于本例中的sched_smt_present 默认为false，所以我们看看     arch_static_branch的实现static __always_inline bool arch_static_branch(struct static_key *key,bool branch)
{asm_volatile_goto("1: nop                 \n\t""    .pushsection    __jump_table, \"aw\"  \n\t""    .align      3           \n\t""    .long       1b - ., %l[l_yes] - .   \n\t""    .quad       %c0 - .         \n\t""    .popsection             \n\t":  :  "i"(&((char *)key)[branch]) :  : l_yes);return false;
l_yes:return true;
}可以和上面的汇编对比下。这里也可以看出static_branch_unlikely 是一个宏，会被展开，最后就是一行unlikely_notrace
可见static_branch_unlikely 是包含unlikely_notrace.
简单理解就是
仔细看代码就会发现 static_branch_likely 不等于 ！static_branch_unlikely 同样！static_branch_likely 也不等于static_branch_unlikely.
可以通过反汇编查询上面两种情况的区别. 性能上也是有差异的，取决于key的初始值是true还是false.
那什么时候用！static_branch_unlikely这个组合呢？
那就是当key是false时，static_branch_unlikely 对应的就是nop，但是代码中又不需要这个条件成立时，可以自己体会下.

jump label相关推荐

Linux Jump Label/static-key机制详解
Linux Jump Label/static-key机制详解 RToax 2021年3 关于Linux Jump Label(x86)已经进行过概述,下面就static-key进行详述. 内核中有很 ...
Linux Jump Label(x86)
Jump Label RToax 2021年3月27日 1. Jump Label The kernel is filled with tests whose results almost never ...
Linux内核jump label与static key的原理与示例
jump label机制进入Linux内核已经很多很多年了,它的目的是消除分支. 为了达到这个目的,jump label的手段是修改分支处的代码. -把代码当做数据,代码和数据在冯诺伊曼计算机中得 ...
Html5 Json应用
本文主要说明Json的基本概念,和一个在Html中使用Json给元素赋值的小例子,属于基础性信息什么是 JSON ? JSON 指的是 JavaScript 对象表示法(JavaScript Obj ...
linux c gcc编译报错 can not be used when making a shared object； recompile with -fPIC
目录错误现象错误原因解决方法 PIC 简介错误现象使用 google protobuf 时,出现错误 /usr/bin/ld: /usr/local/lib/libprotobuf.a(me ...
【机器视觉】 case算子
00. 目录文章目录 00. 目录 01. 概述 02. 签名 03. 描述 04. 注意 05. 参数 06. 结果 07. 附录 01. 概述 case - 跳转标记,在switch段内开启一个 ...
gcc -fPIC选项
使用 -fPIC 选项,会生成 PIC 代码..so 要求为 PIC,以达到动态链接的目的,否则,无法实现动态链接. non-PIC 与 PIC 代码的区别主要在于 access global dat ...
Web前端笔记-element ui中table中某列添加a便签进行跳转
效果是这样的: 这里的文章标题和查看都可以进行跳转. 其中对应的代码如下: <template style="height: 100%"><el-table:da ...
Linux内核 eBPF基础：Tracepoint原理源码分析
Linux内核 eBPF基础 Tracepoint原理源码分析荣涛 2021年5月10日 1. 基本原理需要注意的几点: 本文将从sched_switch相关的tracepoint展开: 关于st ...

jump label

jump label相关推荐

最新文章

热门文章