ftrace是Linux内核中的一种跟踪工具,用于分析和调试内核和应用程序的性能问题。它可以帮助开发人员跟踪函数调用、系统调用、中断事件、定时器事件等各种事件,并生成相应的跟踪数据。
ftrace 最常见的用途之一是事件跟踪。整个内核中有数百个静态事件点,可以通过 Tracefs 文件系统启用这些事件点,以查看内核某些部分发生的情况。
通过分析这些数据,开发人员可以了解代码执行路径、函数耗时、资源使用情况等信息,从而进行性能优化或故障排查。ftrace提供了多个功能组件,如函数图谱(function graph)、事件追踪(event tracing)和动态追踪(dynamic tracing),使得它在不同场景下都有广泛的应用价值。
一、ftrace介绍
ftrace功能 :帮助了解Linux内核的运行时行为,可以查看系统调用情况,以及某个函数的调用流程。2.6内核之后引入内核的。以便进行故障调试或性能分析。
Ftrace 跟踪工具由性能分析器(profiler)和跟踪器(tracer)两部分组成
性能分析器:用来提供统计和直方图数据(需要 CONFIG_ FUNCTION_PROFILER=y)
- 函数性能分析
- 直方图
跟踪器:提供跟踪事件的详情
- 函数跟踪(function)
- 点跟踪(tracepoint)
- kprobe
- uprobe
- 函数调用关系(function_graph)
- hwlat等
ftrace构成
(1)提供函数钩子的基础设施;
(2)基于tracefs文件系统的trace框架;
除了原生操作,还有一些基于ftrace的前端工具,比如perf-tools和trace-cmd,关系图如下:
Ftrace能做什么
Ftrace 可用来快速排查以下相关问题:
- 特定内核函数调用的频次 (function)
- 内核函数在被调用的过程中路径(调用栈) (function + stack)
- 内核函数调用的子函数流程(子调用栈)(function graph)
- 由于抢占导致的高延时路径等
二、ftrace的使用
1)内核支持ftrace
想让内核支持 ftrace 功能,需要将其编译进入内核,需要打开内核配置项:
kernel hacking ----> Tracers (执行make menuconfig)
目的:选择开启相应的追踪器功能
ftrace 通过 debugfs 向用户态提供了访问接口,所以还需要将 debugfs 编译进内核。激活对 debugfs 的支持,可以直接编辑内核配置文件 .config ,设置 CONFIG_DEBUG_FS=y
2)挂载debugfs文件系统
3)ftrace用户层接口
ftrace的目录:/sys/kernel/debug/tracing/ ,常用文件介绍:
- tracing_on,启用/禁用向追踪缓冲区写入功能。1为启用,0为禁用。
- trace,以文本格式输出内核中追踪缓冲区的内容,是查看trace日志的接口。
- current_tracer,通过该接口指定当前ftrace要使用的tracer,也就是要追踪的函数/时间。
- available_tracers,当前内核中可用的插件追踪器。
- tracing_cpumask,以十六进制的位掩码指定要作为追踪对象的处理器,例如,指定0xb时仅在处理器0、1、3上进行追踪。
- dynamic tracing,动态trace进行过滤的接口,是需要在编译时支持该功能,需要打开对应的宏开关:
- set_ftrace_pid,指定作为追踪对象的进程的PID号。
- trace_pipe,与trace相同,但是运行时像管道一样,可以在每次事件发生时读出追踪信息,但是读出的内容不能再次读出。
- buffer_size_kb,以KB为单位指定各个CPU追踪缓冲区的大小。系统追踪缓冲区的总大小就是这个值乘以CPU的数量。设置buffer_size_kb时,必须设置current_tracer为nop追踪器。
- set_ftrace_filter,指定要追踪的函数名称,函数名称仅可以包含一个通配符。
- set_ftrace_notrace,指定不要追踪的函数名称。
4)ftrace的插件追踪器
- function,函数调用追踪器,可以看出哪个函数何时调用。
- function_graph,函数调用图表追踪器,可以看出哪个函数被哪个函数调用,何时返回。
- mmiotrace,MMIO( Memory MappedI/O)追踪器,用于Nouveau驱动程序等逆向工程。
- blk,block I/O追踪器。
- wakeup,进程调度延迟追踪器。
- wakeup_rt,与wakeup相同,但以实时进程为对象。
- irqsoff,当中断被禁止时,系统无法响应外部事件,造成系统响应延迟,irqsoff跟踪并记录内核中哪些函数禁止了中断,对于其中禁止中断时间最长的,irqsoff将在log文件的第一行标示出来,从而可以迅速定位造成系统响应延迟的原因。
- preemptoff,追踪并记录禁止内核抢占的函数,并清晰显示出禁止内核抢占时间最长的函数。
- preemptirqsoff,追踪并记录禁止内核抢占和中断时间最长的函数
- sched_switch,进行上下文切换的追踪,可以得知从哪个进程切换到了哪个进程。
- nop,不执行任何操作。不使用插件追踪器时指定。
5)使用ftrace:分为三步
- 设置tracer类型
- 设置tracer参数
- 使能tracer
function trace函数调用追踪器,跟踪函数调用。默认追踪所有函数,通过设置set_ftrace_filter 来跟踪过滤函数,可以看出哪个函数何时调用
- vailable_filter_functions:列出当前可以跟踪的内核函数,不在该文件中列出的函数,无法跟踪其活动
- enabled_functions:显示有回调附着的函数名称。
- function_profile_enabled:打开此选项,在trace_stat中就会显示function的统计信息。
- set_ftrace_filter:用于指定跟踪的函数
- set_ftrace_notrace:用于指定不跟踪的函数
- set_ftrace_pid:用于指定要跟踪特定进程的函数
使用:echo 0 > tracing_on 清空之前的trace记录 echo function > current_tracer 设置tracer类型为function echo xxxxxx > set_ftrace_filter 过滤要跟踪的函数,对其进行跟踪 echo 1 > tracing_on 收集调用信息 cat trace 查看对跟踪函数的调用信息 wakeup tracer 追踪普通进程从唤醒到真正得到执行之间的延迟 使用:echo wakeup > current_tracer echo 1 > tracing_on cat trace | hrad -40 wakeup_rt tracer
function_graphtrace 可以提供类似 C 代码的函数调用关系信息,通过写文件 set_graph_function可以显示指定要生成调用关系的函数,缺省会对所有可追踪的内核函数生成函数调用关系图
函数图追踪器对函数的进入和退出进行跟踪,有利于观察函数的执行时间,确定代码执行流程。
使用:echo 0 > trace echo function_graph > current_tracer 设置 tracer 类型 echo xxxxxx > set_graph_function 设置要追踪的函数 echo 1 > tracing_on
trace event实现低性能损耗,对执行流无影响的一种信息输出机制
使用:在 events 目录下有很多的event事件,可以看一下sched事件,sched目录下还有很多具体的事件, 打开sched_wakeup事件下,有:enable、filter、format、hist、id、trigger enable:使能这个事件 filter: 查看函数调用栈: 常用方法:函数内部添加 WARN_ON(1) 、ftrace 在trace函数的时候,设置 echo 1 > options/func_stack_trace 即可在 trace 结果中获取追踪函数的调用栈 使用:echo 0 > tracing_on echo function _ current_tracer echo schedule > set_ftrace_filter echo 1 > options/func_stack_trace echo 1 > tracing_on 跟踪一个命令,但是命令执行时间很短
6)前端工具
使用ftrace功能进行二次封装一些命令来操作,trace-cmd 就是ftrace封装命令的其中一种。
该软件包由两部分组成:
- trace-cmd:提供数据抓取和数据分析的功能
- kernelshark:用图形化的方式来详细分析数据,也可以做数据抓取
【文章福利】小编推荐自己的Linux内核技术交流群:【 865977150】整理了一些个人觉得比较好的学习书籍、视频资料共享在群文件里面,有需要的可以自行添加哦!!!
三、ftrace 框架
1)整体流程
kernel:会有很多的桩点,function trace/trace event,每个桩点都在想要被trace的函数里边,如果某个被trace的函数桩点触发,如果该函数的桩点是使能的就会传到之前注册好 tracers 里这个回调函数中,把现场的日志写到ring buffer 里边。
而tracers 都是由ftrace 这个框架来管理的,每个tracer 都由ftrace 框架来注册。ftrace框架的功能一个是管理 tracers ,再一个是当接收到 用户态使能某个函数/event的命令,会动态修改内核的某个函数,使其使能起来。ring buffer的功能是一个 接收tracers的写入,再一个是用户通过debugfs读取ring buffer的内容。
2)以function为例进行插桩
函数插桩,利用gcc -pg选项,在每个函数入口附近插入 mconut 调用,对桩点进行管理scripts/recordmcount.c
在内核编译时,每编译完成一个.c文件,调用recordmcount:对生成的每一个 .o 文件都进行重定位,找到mcount调用的地址,先放在临时缓冲区,等recordmcount找到每个 .o文件的mcount地址后,新增一个_mcount_loc 段,并将 mcount 调用地址写到这个段中。
include/asm-generic/vmlinux.lds.h 通过 vmlinux.lds.h 这个连接脚本,将 .o 中的每个mcount进行收集,在连接脚本中定义变量: _start_mcount_loc _stop_mcount_loc
将所有的 mcount_loc 放在 start 、stop之间,最后通过这两个变量获取中间数据
收集好这些插桩点之后,在内核初始化阶段,通过start、stop这两个变量,遍历将所有的都替换成 nop
上述是在不使能的情况下对 mcount进行的管理,接下来就需要使能某个tracer:需要考虑:首先需要知道这个函数插桩点的位置,记录某个tarce点的状态,就需建立新的控制结构
struct dyn_ ftrace { unsigned long ip; /* address of mcount call-site */ unsigned long flags ; struct dyn_ arch ftrace arch; };
ip:对应的bl那个地址,可以理解成一个ip 就对应一个函数
flags:当前插桩点的状态
arch:这个在当前架构下基本上为空
通过ftrace_pages 来保存dyn_ftrace 数据(ftrace_pages的大小是根据所有的 dyn_ftrace 来分配的)
在将 _ mcount_loc 数据迁移到ftrace_pages后,将其释放
ftrace_pages中数据是有序的,便于查找(根据ip进行排序)
通过dmesg可以看到ftrace_pages 占用的内存
在ftrace_pages填好内容之后,mcount_loc释放,
在用户层 执行 :cat available_filter_functions ,可以看到插桩的函数,这个就是通过ftrace_pages来打印的
dyn_ftrace flag:分成两部分:
在dyn_ftrace中的flag,会置位,通过
根据每个ip对应的flag,给内核函数选择不同的 bl 指令。
接下来是 ftrace_enter 的工作方式,eg:fatrace_caller的实现:当使能 ftrace的时候的过程如下:
首先:mcount_enter 进行压栈。
3)注册回调函数
调用 register_ftrace_function() 注册 提供 ftrace_ops Static ftrace_ops function function graph blk kprobe dynamic ftrace_ops perf
通过下面的数据结构进行回调函数的注册, private 保存 ring buffer的数据内容
到了ftrace_caller这一步时,还没有注册对应的回调函数,通过公共的一个函数 ftrace_ops_list_func() ,在该函数内部会迭代的遍历注册到ftrace 框架中的 ftrace_ops ,这些如果这些ops想对对应的函数进行trace,就会调用注册的回调函数,perf的话只是想trace 当前的函数,而 function tracer的话需要trace所有的函数
4)原理
本质上是一种静态代码插装技术,不需要支持某种编程接口让用户自定义 trace行为。静态代码插装技术更加可靠,不会因为用户的不当使用而导致内核崩溃。 ftrace 代码量很小,稳定可靠。实际上,即使是Dtrace,大多数用户也只使用其静态 trace 功能。因此 ftrace 的设计非常务实。
ftrace依赖的内核特性:tracepoint[3],debugfs[2],kprobe[4],IRQ-Flags[5]
ftrace由两部分组成:framework、一系列的tracer
framework利用debugfs建立tracing目录,并提供一系列的控制文件。一系列的tarcer由framework管理,ftrace的trace信息保存在ring buffer中,也由framework管理。