2、Ftrace核心架构：tracefs文件系统、trace_array、tracer与function tracer的关系

Ftrace 的架构设计遵循“分层解耦”原则，从上到下依次为：用户态接口层（tracefs 文件系统）、核心管理层（trace_array 与 trace 实例）、插件层（各种 tracer 插件）以及 底层钩子层（函数调用跟踪与事件回调）。理解这四层之间的协作关系，是掌握 Ftrace 性能分析能力的基础。

2.1 整体架构分层

Ftrace 的架构可以抽象为以下四个层次，每一层都依赖下一层提供的服务：

2.2 tracefs 文件系统：用户态的控制面板

tracefs 是一个轻量级的内存文件系统，通常挂载在 /sys/kernel/tracing/（旧内核为 /debug/tracing/）。它不存储持久化数据，而是通过文件读写操作直接与内核跟踪子系统交互。

2.3 trace_array：跟踪实例的核心容器

每个 trace_array 结构体代表一个独立的跟踪实例，包含以下关键组件：

• 环形缓冲区（ring buffer）：每个 CPU 一个 per-CPU 缓冲区，用于存储跟踪事件。
• 当前 tracer 指针：指向当前激活的 tracer 插件实例。
• 过滤规则：函数过滤、事件过滤、PID 过滤等。
• 标志位：跟踪开关、快照模式、递归保护等。
• 引用计数：管理实例的生命周期。

默认实例（global_trace）在系统启动时自动创建，用户可以通过 instances/ 目录创建多个独立实例，每个实例拥有独立的缓冲区和配置，互不干扰。

2.4 tracer 插件体系：多态跟踪引擎

Ftrace 的 tracer 采用插件化设计，每个 tracer 都是一个 struct tracer 实例，包含初始化、启动、停止、打印等回调函数。内核启动时会注册所有可用的 tracer，用户通过 current_tracer 文件切换。

2.5 function tracer：最基础的调用跟踪器

function tracer 是 Ftrace 中最基础、最常用的 tracer。它的工作原理如下：

1. 编译期插桩：内核编译时，每个函数入口被插入 mcount 或 fentry 指令（取决于架构和内核版本）。
2. 动态补丁：Ftrace 在启动时将这些指令替换为 nop（空操作），避免性能开销。
3. 激活回调：当用户启用 function tracer 时，Ftrace 将 nop 替换为对 ftrace_caller 的调用。
4. 数据采集：ftrace_caller 检查过滤规则，若匹配则记录函数地址、时间戳、进程信息到 ring buffer。
5. 用户读取：用户通过 trace 或 trace_pipe 文件读取格式化后的跟踪数据。

2.6 四者关系总结

tracefs、trace_array、tracer 和 function tracer 之间的关系可以用一句话概括：用户通过 tracefs 操作 trace_array，trace_array 持有并调度 tracer，function tracer 是 tracer 家族中最基础的成员，负责采集函数调用信息。

2.7 代码示例：手动切换 tracer 并观察

以下操作演示了如何通过 tracefs 接口切换 tracer 并查看效果：

# 查看当前支持的 tracer
cat /sys/kernel/tracing/available_tracers
# 输出示例：function function_graph wakeup irqsoff preemptoff nop

# 切换到 function tracer
echo function > /sys/kernel/tracing/current_tracer

# 确认切换成功
cat /sys/kernel/tracing/current_tracer
# 输出：function

# 开启跟踪
echo 1 > /sys/kernel/tracing/tracing_on

# 等待几秒产生跟踪数据
sleep 2

# 关闭跟踪
echo 0 > /sys/kernel/tracing/tracing_on

# 查看跟踪结果（前 20 行）
head -20 /sys/kernel/tracing/trace

输出示例（简化）：

# tracer: function
#
# entries-in-buffer/entries-written: 1423/1423   #P:4
#
#                              _-----=> irqs-off
#                             / _----=> need-resched
#                            | / _---=> hardirq/softirq
#                            || / _--=> preempt-depth
#                            ||| /     delay
#           TASK-PID   CPU#  ||||    TIMESTAMP  FUNCTION
#              | |       |   ||||       |         |
            bash-1234  [000] .... 12345.678901: mutex_lock <-do_fork
            bash-1234  [000] .... 12345.678902: _raw_spin_lock <-mutex_lock
            bash-1234  [000] .... 12345.678903: __cond_resched <-mutex_lock
            bash-1234  [000] .... 12345.678904: _raw_spin_unlock <-mutex_lock