3. ftrace 架构解析：框架组成、tracefs 文件系统与核心数据结构

ftrace 是 Linux 内核内置的追踪基础设施，其设计遵循“分层解耦”原则：追踪源（tracepoint、kprobe、function tracer）产生事件，核心框架负责事件收集与缓冲，tracefs 文件系统提供用户态控制接口。理解这三层架构是掌握 ftrace 调试能力的前提。

3.1 ftrace 整体框架组成

ftrace 框架由四个逻辑层构成，各层职责清晰，通过回调函数和环形缓冲区串联。

3.2 tracefs 文件系统

tracefs 是 ftrace 的用户态控制面，挂载路径为 /sys/kernel/tracing（旧内核为 /debug/tracing）。该文件系统不存储持久数据，所有文件都是内核与用户态交互的“控制寄存器”和“数据管道”。

3.2.1 核心控制文件

3.2.2 追踪实例（instances）机制

ftrace 支持创建多个追踪实例，每个实例拥有独立的 ring_buffer 和控制文件，实现多任务隔离追踪。实例通过 instances/ 目录下的子目录管理。

# 创建名为 mytrace 的追踪实例
mkdir /sys/kernel/tracing/instances/mytrace

# 在该实例中启用函数追踪
echo function > /sys/kernel/tracing/instances/mytrace/current_tracer
echo 1 > /sys/kernel/tracing/instances/mytrace/tracing_on

# 读取该实例的追踪结果
cat /sys/kernel/tracing/instances/mytrace/trace

# 删除实例
rmdir /sys/kernel/tracing/instances/mytrace

3.3 核心数据结构

ftrace 的高效运行依赖于精心设计的内核数据结构。理解这些结构有助于分析追踪性能瓶颈和调试异常行为。

3.3.1 ring_buffer（环形缓冲区）

ring_buffer 是 ftrace 的存储核心，采用无锁（lockless）设计，支持多 CPU 并发写入。每个 CPU 拥有独立的缓冲区页，避免缓存行 bouncing。

ring_buffer 的关键设计特性：

• 无锁写入： 每个 CPU 写自己的缓冲区，仅需本地原子操作更新写指针。
• commit 页机制： 写入完成后原子更新 commit 页，保证读端不会读到不完整记录。
• 覆盖策略： 缓冲区满时默认覆盖最旧数据，可通过 trace 文件控制。
• 子缓冲区： 每个 CPU 缓冲区由多个子缓冲区（sub-buffer）组成，子缓冲区大小可配置。

3.3.2 trace_array 与 trace_cpu

trace_array 是 ftrace 追踪实例的顶层数据结构，每个实例对应一个 trace_array。它包含该实例的所有控制状态、缓冲区引用和追踪器指针。

// trace_array 核心字段（简化）
struct trace_array {
    struct list_head    list;           // 全局 trace_array 链表
    struct trace_cpu    __percpu *trace_cpu; // 每个 CPU 的追踪数据
    struct ring_buffer  *buffer;        // 环形缓冲区指针
    int                 cpu;            // 绑定的 CPU（-1 表示所有 CPU）
    int                 buffer_disabled; // 缓冲区是否禁用
    struct tracer       *current_trace; // 当前激活的追踪器
    char                name[TRACE_ARRAY_NAME_LEN]; // 实例名称
    struct dentry       *dir;           // tracefs 目录 dentry
};

trace_cpu 是 per-CPU 结构，记录每个 CPU 的追踪状态：

struct trace_cpu {
    struct ring_buffer  *buffer;        // 该 CPU 的缓冲区
    unsigned long       entries;        // 已写入事件数
    unsigned long       overrun;        // 溢出丢弃事件数
    unsigned long       commit_overrun; // commit 溢出数
    unsigned long       dropped_events; // 丢弃事件总数
};

3.3.3 tracer 与 callback 注册机制

每个追踪器（如 function、function_graph）通过 register_tracer() 注册到全局链表。核心框架通过 trace_array 中的 current_trace 指针调用对应追踪器的回调函数。

3.4 数据流全景

从事件产生到用户态读取，ftrace 的数据流经过以下关键路径：

1. 事件触发： tracepoint 或 kprobe 被命中，调用注册的回调函数。
2. 回调写入： 回调函数构造 trace_entry 结构，调用 ring_buffer_write() 写入当前 CPU 的 ring_buffer。
3. 原子提交： 写入完成后更新 commit 页，保证读端可见性。
4. 用户态读取： 用户通过 cat trace 触发 tracing_read_pipe()，从 ring_buffer 中读取数据并格式化输出。
5. 缓冲区管理： 读操作通过 ring_buffer_consume() 消费数据，写指针自动推进。

3.5 本章小结

• ftrace 采用四层架构：事件源 → 追踪器 → 核心框架 → tracefs 用户态接口，层间通过回调函数和 ring_buffer 解耦。
• tracefs 文件系统是 ftrace 的控制面板，核心文件包括 current_tracer、tracing_on、trace、set_ftrace_filter 等。
• ring_buffer 是 ftrace 的高性能存储核心，采用 per-CPU 无锁设计，支持原子 commit 和覆盖策略。
• trace_array 管理追踪实例，每个实例拥有独立的缓冲区和控制状态，支持多任务隔离追踪。
• 理解这些架构组件是后续章节中配置复杂追踪场景、分析追踪性能开销的基础。