Linux内核net／bpf模块的bpf_tail_call()尾调用机制

最新推荐文章于 2024-09-24 10:43:31 发布
原创 最新推荐文章于 2024-09-24 10:43:31 发布 · 1.4k 阅读 · 1 ·
CC 4.0 BY-SA版权
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
文章标签：

#linux kernel #JIT #Tail Call #Stack Unwinding #解释器

本文探讨了BPF作为一种轻量级解释器的核心特性及其与LuaJIT及v8的对比, 并深入分析了v8引擎中CSA机制与尾调用的工作原理。

摘要生成于 C知道 ，由 DeepSeek-R1 满血版支持， 前往体验 >

https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/commit/net/core?h=v4.13-rc2&id=04fd61ab36ec065e194ab5e74ae34a5240d992bb

备注：

（1）BPF实际上核心是一个解释器，加上JIT引擎，但是感觉它的复杂程度应该小于LuaJIT，当然更小于v8

（2）v8解释器引擎里CSA实现了类似的机制。tail call相当于在一个状态机的多个handler之间直接跳转，这些handler有相同的参数原型

有时间再好好看看吧


Android 中ebpf 的集成和调试
私房菜
08-27 2465
在 2013 年，Alexei Starovoitov 对 BPF 进行彻底地改造，这个新版本被命名为eBPF(extended BPF)，与此同时，将以前的 BPF 变成 cBPF (classic BPF)。新版本出现了如映射和尾调用 (tail call)这样的新特性，并且 JIT 编译器也被重写了。新的语言比 cBPF 更接近于原生机器语言。并且，在内核中创建了新的附着点。bpf(2)
ebfp编程常用API介绍
魏言华的博客
10-11 2691
目录 1 用户态API 1.1 加载prog 1.2 查询prog的信息 1.3 prog绑定到固定的dev上 1.4 创建MAP 1.5查询MAP 1.6 Object Pinning（钉住对象) 2 内核态API 2.1 内核总体API 2.2 bpf 加载 2.2.1 prog 加载 2.3 bpf map 操作 2.3.1 map 创建 2.3.2 map 查找 2.3.3BPF_FUNC_map_lookup_elem 2.4 obj pin(盯住对象) 2...
eBPF系列 ：bpf2bpf调用和tail调用
tangzhangyin的专栏
09-24 564
eBPF对函数调用特性的支持详解，always_inline内联，bpf2bpf调用，tail调用
eBPF: 从 BPF to BPF Calls 到 Tail Calls
李兆龙的博客
03-14 4132
本作品采用知识共享署名-非商业性使用-相同方式共享 4.0 国际许可协议进行许可。 本作品 (李兆龙 博文, 由 李兆龙 创作)，由 李兆龙 确认，转载请注明版权。 引言 参考 linux安全之seccomp Using seccomp to limit the kernel attack surface SECure COMPuting with filters seccomp(2) — Linux manual page bpf: introduce bpf_tail_call() helper
BPF架构（二）
barryX的技术笔记
08-11 709
BPF架构（一）指令集：https://blog.csdn.net/byxzone/article/details/132219479。
bpf_xdp_attach源码分析
user_03的博客
08-24 746
函数, 这个函数是通过netlink这个套接字来完成对应的功能的, 那么什么东西是net link呢， net link是一个提供用户空间进程与内核之间的通信方法, 这种方式是比ioctl要好很多的，这个函数是内核编程和网络编程的一部分，通常用于处理来自内核的异步事件或响应。然后是下面这个函数,我们也来分析一下，函数参数我们在之前已经说的的比较清晰了, 下面这个函数最终会调用一个。我们看一下如何使用上面这个函数, 这个函数的第一个参数是ifindex, -1表示对应的。这段代码是一个C语言函数，
论文阅读：BPFINet: Boundary-aware progressive feature integration network for salient object detection
xiongxyowo的博客
07-02 775
论文地址：https://doi.org/10.1016/j.neucom.2021.04.078 发表于：Neurocomputing 2021 内容简介 这个网络是用来进行抠图的 网络结构 比较有意思，不仅仅是一个Encoder-Decoder，而是用了俩。不同的Encoder能学习不同的信息，而不同的Decoder同样能处理不同的信息。 context encoder： matting encoder： alpha decoder： foreground decoder： Refine： 大
CVE-2021-34866 Linux内核提权漏洞分析
Moyun_vackbot的博客
12-31 3138
2021年10月12日，日本安全厂商 Flatt security 披露了 Linux 内核提权漏洞CVE-2021-34866。11月5日，@HexRabbit 在 Github 上公布了此漏洞的利用方式，并写文分析，技术高超，行文简洁。但作为初次研究相关内容，笔者做了一些较基础的内容补充。 eBPF eBPF 是一种在访问内核服务和硬件的新技术。在这项技术诞生之前，如果需要在 Linux 内核执行定制的代码有两种方式，一是提交代码到原生内核项目中，不用赘述其难度；二是使用内核模块，以扩展的方式添加代
Linux内核网络结构，和收发数据基本流程
lingshengxiyou的博客
12-16 1082
不管是大型虚拟化云网络，还是嵌入式物联网系统，Linux网络都扮演着重要的角色。借用一句话说，如果说网络是信息系统的基石，那么Linux网络系统就是基石中的钢筋。它经过几十年的发展，它千锤百炼，几乎包含了市面上所有的网络通讯功能，要想一下子把学透是不容易的，只能顺着代码脉络看着前辈们写的文章，边分析边总结吧。先来看一下整体结构：Linux网络基本结构我把它分成几个层次，每个层次只是一个逻辑上的概念，并没有严格的定义，只是为了理解上的方便，而且很多模块的代码都是交织混用的，要统一来划分也不容易的。况且，通讯技
尾调用（Tail Call）和尾递归（Tail Recursive）
ps_e_udo的专栏
10-31 9057
Tail Call（尾调用）是指在调用函数时直接将被调函数的返回值作为调用函数的返回值返回。如果这个调用是调用了调用函数本身（递归调用），这叫做Tail Recursive（尾递归）。使用尾调用的一个优点在于它不消耗额外的调用栈空间，它可以替换当前的栈帧。因此，使用尾调用来替换标准的调用被称作Tail Call Elimination（尾调用消除），或者Tail Call Optimization（尾调用优化）。
DrawBridge:第4层单数据包身份验证Linux内核模块，利用Netfilter挂钩和内核支持的Berkeley数据包过滤器（BPF）
05-18
第4层单数据包身份验证（SPA）模块，用于隐藏面向公众的计算机上的TCP / UDP端口并增加额外的安全性。 注意：DrawBridge现在支持IPv4和IPv6流量 演示版 请阅读相应的，以更深入地了解该设计。 基本用法 sudo db auth --server [REMOTE_SERVER] --dport 53 -p udp --unlock [PORT_TO_UNLOCK] 要为db二进制文件提供CAP_NET_RAW privs，以便您无需sudo即可运行它： chmod 500 ~ /.cargo/bin/db sudo setcap cap_net_raw=pe ~ /.cargo/bin/db 当您要访问其保护的端口时，创建bash别名以自动运行db也很方便。 alias " connect " = " db auth -s [REMOTE] -d 53 -
【收藏】BPF 技术介绍及学习路线分享
关注微信公众号【开源Linux】，后台回复『10T』，领取10T学习资源大放送，涵盖Linux、虚拟化、容器、云计算、网络、Python、Go等书籍和视频
12-12 1250
来自【分布式实验室】近两年BPF技术跃然成为了一项热门技术，在刚刚结束的KubeCon 2020 Europe会议上有7个关于BPF的技术分享， 而在KubeCon 2020 China会...
eBPF理解（三）
08-20 3241
使用例子第一条如：用户态 setsockopt(sock,SOL_SOCKET,SO_ATTACH_BPF,...)绑定BPF到具体的socket上。在网络驱动程序刚收到数据包时触发，无需通过网络协议栈，可用来实现高性能网络处理方案，常用于DDos防御，防火墙，4层负载均衡等场景。类型：BPF_PROG_TYPE_SCHED_CLS 和 BPF_PROG_TYPE_SCHED_ACT。这些类型的BPF程序都可以通过BPF系统调用的BPF_PROG_ATTACH进行挂载。用于过滤，观测或重定向套接字网络包。
一文看懂eBPF｜eBPF实现原理
MayMatrix 的博客
06-15 1871
eBPF，它的全称是“Extended Berkeley Packet Filter”。从名字看，你可能会觉奇怪，似乎它就是一个用来做网络数据包过滤的模块。其实这么想也没有错，eBPF 的概念最早源自于 BSD 操作系统中的 BPF（Berkeley Packet Filter），1992 伯克利实验室的一篇论文 “The BSD Packet Filter: A New Architecture for User-level Packet Capture”。
解决libbpf error: unknown register name ‘r0‘ in asm 报错
superbfly的专栏
11-08 1619
= 10, 对于clang版本小于10的，执行#define bpf_tail_call_static bpf_tail_call 语句。报这个问题是clang版本低导致的，才clang 10以上的版本就不会报这个错误了。头文件中增加关于clang版本的判断。
【转】BPF详解
mrhesongze的博客
09-25 1万+
原文地址：https://linux.cn/article-9507-1.html 什么是 BPF? BPF，及伯克利包过滤器BerkeleyPacketFilter，最初构想提出于 1992 年，其目的是为了提供一种过滤包的方法，并且要避免从内核空间到用户空间的无用的数据包复制行为。它最初是由从用户空间注入到内核的一个简单的字节码构成，它在那个位置利用一个校验器进行检查 —— 以避免内核...
Linux bpf 1.1、BPF内核实现
热门推荐
pwl999的博客
09-28 1万+
BPF的字面上意思Berkeley Packet Filter意味着它是从包过滤而来。如果在开始前对BPF缺乏感性的认识建议先看一下参考文档：“3.1、Berkeley Packet Filter (BPF) (Kernel Document)”、“3.2、BPF and XDP Reference Guide”。 本质上它是一种内核代码注入的技术： 内核中实现了一个cBPF/eBPF虚拟机； ...
可以在函数中间打点了，以分析bpf_prog_load函数为例
weixin_30590285的博客
11-24 812
可以在函数中间打点了， sudo stap -L 'process("./test").statement("func@test.c:10")' //12.10更新 查看我内核中　bpf_prog_load　到底是位于哪一行，那么执行： sudo sta -L 'kernel.statement("bpf_prog_load")'，可以得到： kernel.statem...
关于bpf实现nat相比dpdk的优缺点是什么
maimang1001的专栏
11-03 391
相比之下，DPDK是一个专注于高性能数据包处理的框架，其主要优点是在处理大量网络流量时具有出色的性能。它提供了一组高效且易用的API来操作网络数据包，可以直接在用户态进行数据包处理，避免了用户态和内核态之间的上下文切换开销。然而，与BPF相比，DPDK可能不够灵活，并且对硬件平台和操作系统有更高的依赖性。BPF (Berkeley Packet Filter)和DPDK (Data Plane Development Kit)是两种不同的技术，用于实现网络数据包处理。
/root/bpf/linux-4.19.90/samples/bpf/xdp_whitelist_kern.c:29:5: error: type name requires a specifier or qualifier __uint(type, BPF_MAP_TYPE_HASH); ^ /root/bpf/linux-4.19.90/samples/bpf/xdp_whitelist_kern.c:29:12: error: a parameter list without types is only allowed in a function definition __uint(type, BPF_MAP_TYPE_HASH); ^ /root/bpf/linux-4.19.90/samples/bpf/xdp_whitelist_kern.c:30:5: error: type name requires a specifier or qualifier __uint(max_entries, 1024); ^ /root/bpf/linux-4.19.90/samples/bpf/xdp_whitelist_kern.c:30:25: error: expected identifier __uint(max_entries, 1024); ^ /root/bpf/linux-4.19.90/samples/bpf/xdp_whitelist_kern.c:30:5: error: duplicate member '__uint' __uint(max_entries, 1024); ^ /root/bpf/linux-4.19.90/samples/bpf/xdp_whitelist_kern.c:29:5: note: previous declaration is here __uint(type, BPF_MAP_TYPE_HASH); ^ /root/bpf/linux-4.19.90/samples/bpf/xdp_whitelist_kern.c:31:5: error: type name requires a specifier or qualifier __type(key, struct flow_key); ^ /root/bpf/linux-4.19.90/samples/bpf/xdp_whitelist_kern.c:31:17: error: expected identifier __type(key, struct flow_key); ^ /root/bpf/linux-4.19.90/samples/bpf/xdp_whitelist_kern.c:32:5: error: type name requires a specifier or qualifier __type(value, __u8); ^ /root/bpf/linux-4.19.90/samples/bpf/xdp_whitelist_kern.c:32:19: error: unexpected type name '__u8': expected identifier __type(value, __u8); ^ /root/bpf/linux-4.19.90/samples/bpf/xdp_whitelist_kern.c:32:12: error: a parameter list without types is only allowed in a function definition __type(value, __u8); ^ /root/bpf/linux-4.19.90/samples/bpf/xdp_whitelist_kern.c:32:5: error: duplicate member '__type' __type(value, __u8); ^ /root/bpf/linux-4.19.90/samples/bpf/xdp_whitelist_kern.c:31:5: note: previous declaration is here __type(key, struct flow_key); ^ /root/bpf/linux-4.19.90/samples/bpf/xdp_whitelist_kern.c:37:5: error: type name requires a specifier or qualifier __uint(type, BPF_MAP_TYPE_PERF_EVENT_ARRAY); ^ /root/bpf/linux-4.19.90/samples/bpf/xdp_whitelist_kern.c:37:12: error: a parameter list without types is only allowed in a function definition __uint(type, BPF_MAP_TYPE_PERF_EVENT_ARRAY); ^ 16 errors generated.
最新发布
07-22
#include <bpf/bpf_helpers.h> #include <bpf/bpf_endian.h> // 与用户态一致的结构定义 struct flow_key { __u32 src_ip; __u32 dst_ip; __u16 src_port; __u16 dst_port; __u8 protocol; }; struct ...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值