yunwei37

尝试学习和探索的一个小透明：目前对编译技术、ebpf、wasm 感兴趣 | eunomia.dev | www.yunwei37.com

赞

41

|

搜索文章

赞

文章( 41 ) 沸点( 0 )

使用 ChatGPT ，通过自然语言编写 eBPF 程序和追踪 Linux 系统

但是，eBPF 的开发，或者追踪内核产生的各类事件，需要一定的专业知识，对于一些不熟悉该技术的开发人员来说，可能会有一定的困难。这时，我们的 demo 工具 GPTtrace 所带来的一些新的思路

yunwei37
2年前
2.0k
4
评论

使用 ChatGPT ，通过自然语言编写 eBPF 程序和追踪 Linux 系统

论文阅读：eBPF虚拟机的端到端形式化证明

本文展示了如何在Coq证明助手中直接从Gallina规范中派生已验证的C实现的eBPF虚拟机。利用CompCert C编译器的形式化语义，我们得到了一个端到端的定理，说明我们的VM的C代码继承了Gal

yunwei37
2年前
175
1
评论

使用 VUE 和 Go 触摸 WebAssembly

本文将展示如何在 Go 中使用 WebAssembly。本文一起来学习如何从 Go 代码构建到 WebAssembly，通过VUE来展示使用 WebAssembly 的API。

天行无忌
3年前
5.5k
43
6

使用 VUE 和 Go 触摸 WebAssembly

eBPF 入门实践教程七：捕获进程执行/退出时间，通过 perf event array 向用户态打印输出

eBPF 提供了两个环形缓冲区，可以用来将信息从 eBPF 程序传输到用户区控制器。第一个是perf环形缓冲区，，它至少从内核v4.15开始就存在了。第二个是后来引入的 BPF 环形缓冲区。

yunwei37
2年前
583
2
评论

eBPF 入门开发实践教程八：在 eBPF 中使用 exitsnoop 监控进程退出事件，使用 ring buffer 向用户态打印输出

eBPF (Extended Berkeley Packet Filter) 是 Linux 内核上的一个强大的网络和性能分析工具。它允许开发者在内核运行时动态加载、更新和运行用户定义的代码。本文是

yunwei37
2年前
487
2
评论

eBPF 入门开发实践教程六：捕获进程发送信号的系统调用集合，使用 hash map 保存状态

eBPF (Extended Berkeley Packet Filter) 是 Linux 内核上的一个强大的网络和性能分析工具，它允许开发者在内核运行时动态加载、更新和运行用户定义的代码。本文是

yunwei37
2年前
344
2
评论

eBPF 入门开发实践教程一：介绍 eBPF 的基本概念、常见的开发工具

eBPF 入门开发实践指南一：介绍 eBPF 的基本概念、常见的开发工具 1. 为什么会有 eBPF 技术？ 1.1. 起源 1.2. 执行逻辑 1.3. 架构 1.3.1. 寄存器设计 1.3.2.

yunwei37
2年前
1.3k
4
评论

eBPF 入门开发实践教程二：在 eBPF 中使用 kprobe 监测捕获 unlink 系统调用

eBPF (Extended Berkeley Packet Filter) 是 Linux 内核上的一个强大的网络和性能分析工具。它允许开发者在内核运行时动态加载、更新和运行用户定义的代码。本文是

yunwei37
2年前
641
2
评论

eBPF 入门开发实践教程三：在 eBPF 中使用 fentry 监测捕获 unlink 系统调用

eBPF (Extended Berkeley Packet Filter) 是 Linux 内核上的一个强大的网络和性能分析工具。它允许开发者在内核运行时动态加载、更新和运行用户定义的代码。本文是

yunwei37
2年前
686
2
评论

eBPF 入门开发实践教程四：在 eBPF 中捕获进程打开文件的系统调用集合，使用全局变量过滤进程 pid

eBPF (Extended Berkeley Packet Filter) 是 Linux 内核上的一个强大的网络和性能分析工具，它允许开发者在内核运行时动态加载、更新和运行用户定义的代码。本文

yunwei37
2年前
513
2
评论

个人成就

文章被点赞 96

文章被阅读 38,131

加入于

2023-01-23