-10 +

golang ebpf issues

将 ebpf 技术使用到 golang 程序中时,通常会遇到一些问题,这篇 blog 主要是收集这些问题和一些解决方案

Go crash with uretprobe

在 golang 程序中使用 uretprobe 有可能会出现程序奔溃到情况,这还不是最恶劣的情况, 如果程序没有奔溃也有可能出现程序带着脏数据执行,出现完全不可控到情况, 具体 issue 可以参考

why? 为什么会出现这种问题

golang 出现这种情况最主要到原因是 golang 特定的 goroutine 协程机制, 因为 goroutine 的原因,每个 goroutine 会有自己独立的 stack 空间,最开始的时候分配的大小为 2k, 但是如果 goroutine 的栈空间超过了 2k 这时 golang 程序会重新分配一个 4k 的栈空间,并且将之前 stack 上的数据 copy 到新的 stack 上,这就是 golang 的连续栈分配方式。详细的介绍可以参考 连续栈 这篇文章。

其次由于 uretprobe 机制,这个可以参考我前面的文章 从这篇文章可以知道,uretprobe 探针类型会使用 trampoline 蹦床机制,通过 JMP 指令插入自定义逻辑, 但是最后需要 JMP 回原地址,结合 golang 的 连续栈 机制,如果 goroutine 在调用过程发生了栈扩容/收缩 都会导致 JMP 回原地址是错误的,所以会导致 golang 程序崩溃或者不可遇知的错误。

how? 怎么解决这个问题

我们知道 golang 在 uretprobe 探针奔溃的原因后,是不是 golang 程序就无法获取函数的返回值呢? 在这个 issue 中, 提供了一个不依赖 uretprobe 获取返回值的解决方案。

这个方案可以解决上述问题,并且还有一些性能优势,因为避免了 uretprobe 的开销

上述数据使用简单的 libc 循环调用测试。

参考

关于我

85 后程序员, 比较熟悉 Java,JVM,Golang 相关技术栈, 关注 Liunx kernel,目前痴迷于分布式系统的设计和实践。 研究包括但不限于 Docker Kubernetes eBPF 等相关技术。

Blog

Code

Life

Archive