1# kprobe 2 3> 作者: 陈林峰 4> 5> Email: chenlinfeng25@outlook.com 6 7## 概述 8 9Linux kprobes调试技术是内核开发者们专门为了便于跟踪内核函数执行状态所设计的一种轻量级内核调试技术。利用kprobes技术，内核开发人员可以在内核的绝大多数指定函数中动态的插入探测点来收集所需的调试状态信息而基本不影响内核原有的执行流程。 10 11kprobes技术依赖硬件架构相关的支持，主要包括CPU的异常处理和单步调试机制，前者用于让程序的执行流程陷入到用户注册的回调函数中去，而后者则用于单步执行被探测点指令。需要注意的是，在一些架构上硬件并不支持单步调试机制，这可以通过一些软件模拟的方法解决(比如riscv)。 12 13 14 15## kprobe工作流程 16 17<img src="./kprobe_flow.png" style="zoom: 67%;" alt="xxx"/> 18 19 20 211. 注册kprobe后，注册的每一个kprobe对应一个kprobe结构体，该结构中记录着探测点的位置，以及该探测点本来对应的指令。 222. 探测点的位置被替换成了一条异常的指令，这样当CPU执行到探测点位置时会陷入到异常态，在x86_64上指令是int3（如果kprobe经过优化后，指令是jmp） 233. 当执行到异常指令时，系统换检查是否是kprobe 安装的异常，如果是，就执行kprobe的pre_handler,然后利用CPU提供的单步调试（single-step）功能，设置好相应的寄存器，将下一条指令设置为插入点处本来的指令，从异常态返回； 244. 再次陷入异常态。上一步骤中设置了single-step相关的寄存器，所以原指令刚一执行，便会再次陷入异常态，此时将single-step清除，并且执行post_handler，然后从异常态安全返回. 255. 当卸载kprobe时，探测点原来的指令会被恢复回去。 26 27 28 29内核目前对x86和riscv64都进行了支持，由于 riscv64 没有单步执行模式，因此我们使用 break 异常来进行模拟，在保存探测点指令时，我们会额外填充一条 break 指令，这样就可以使得在riscv64架构上，在执行完原指令后，会再次触发break陷入异常。 30 31## kprobe的接口 32 33```rust 34pub fn register_kprobe(kprobe_info: KprobeInfo) -> Result<LockKprobe, SystemError>; 35pub fn unregister_kprobe(kprobe: LockKprobe) -> Result<(), SystemError>; 36 37impl KprobeBasic { 38 pub fn call_pre_handler(&self, trap_frame: &dyn ProbeArgs) 39 pub fn call_post_handler(&self, trap_frame: &dyn ProbeArgs) 40 pub fn call_fault_handler(&self, trap_frame: &dyn ProbeArgs) 41 pub fn call_event_callback(&self, trap_frame: &dyn ProbeArgs) 42 pub fn update_event_callback(&mut self, callback: Box<dyn CallBackFunc>) 43 pub fn disable(&mut self) 44 pub fn enable(&mut self) 45 pub fn is_enabled(&self) -> bool 46 pub fn symbol(&self) -> Option<&str> 47} 48``` 49 50- `call_pre_handler` 在探测点指令被执行前调用用户定义的回调函数 51- `call_post_handler` 在单步执行完探测点指令后调用用户定义的回调函数 52- `call_fault_handler` 在调用前两种回调函数发生失败时调用 53- `call_event_callback` 用于调用eBPF相关的回调函数，通常与`call_post_handler` 一样在单步执行探测点指令会调用 54- `update_event_callback`用于运行过程中更新回调函数 55- `disable` 和 `enable` 用于动态关闭kprobe，在`disable`调用后，kprobe被触发时不执行回调函数 56- `symbol` 返回探测点的函数名称 57 58
