高效调试与分析:利用ftrace进行Linux内核追踪(上)

简介: 高效调试与分析:利用ftrace进行Linux内核追踪

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/ ,常用文件介绍:

  1. tracing_on,启用/禁用向追踪缓冲区写入功能。1为启用,0为禁用。
  2. trace,以文本格式输出内核中追踪缓冲区的内容,是查看trace日志的接口。
  3. current_tracer,通过该接口指定当前ftrace要使用的tracer,也就是要追踪的函数/时间。
  4. available_tracers,当前内核中可用的插件追踪器。
  5. tracing_cpumask,以十六进制的位掩码指定要作为追踪对象的处理器,例如,指定0xb时仅在处理器0、1、3上进行追踪。
  6. dynamic tracing,动态trace进行过滤的接口,是需要在编译时支持该功能,需要打开对应的宏开关:
  7. set_ftrace_pid,指定作为追踪对象的进程的PID号。
  8. trace_pipe,与trace相同,但是运行时像管道一样,可以在每次事件发生时读出追踪信息,但是读出的内容不能再次读出。
  9. buffer_size_kb,以KB为单位指定各个CPU追踪缓冲区的大小。系统追踪缓冲区的总大小就是这个值乘以CPU的数量。设置buffer_size_kb时,必须设置current_tracer为nop追踪器。
  10. set_ftrace_filter,指定要追踪的函数名称,函数名称仅可以包含一个通配符
  11. set_ftrace_notrace,指定不要追踪的函数名称。

4)ftrace的插件追踪器

  1. function,函数调用追踪器,可以看出哪个函数何时调用。
  2. function_graph,函数调用图表追踪器,可以看出哪个函数被哪个函数调用,何时返回。
  3. mmiotrace,MMIO( Memory MappedI/O)追踪器,用于Nouveau驱动程序等逆向工程。
  4. blk,block I/O追踪器。
  5. wakeup,进程调度延迟追踪器。
  6. wakeup_rt,与wakeup相同,但以实时进程为对象。
  7. irqsoff,当中断被禁止时,系统无法响应外部事件,造成系统响应延迟,irqsoff跟踪并记录内核中哪些函数禁止了中断,对于其中禁止中断时间最长的,irqsoff将在log文件的第一行标示出来,从而可以迅速定位造成系统响应延迟的原因。
  8. preemptoff,追踪并记录禁止内核抢占的函数,并清晰显示出禁止内核抢占时间最长的函数。
  9. preemptirqsoff,追踪并记录禁止内核抢占和中断时间最长的函数
  10. sched_switch,进行上下文切换的追踪,可以得知从哪个进程切换到了哪个进程。
  11. nop,不执行任何操作。不使用插件追踪器时指定。

5)使用ftrace:分为三步

  1. 设置tracer类型
  2. 设置tracer参数
  3. 使能tracer

function trace函数调用追踪器,跟踪函数调用。默认追踪所有函数,通过设置set_ftrace_filter 来跟踪过滤函数,可以看出哪个函数何时调用

  1. vailable_filter_functions:列出当前可以跟踪的内核函数,不在该文件中列出的函数,无法跟踪其活动
  2. enabled_functions:显示有回调附着的函数名称。
  3. function_profile_enabled:打开此选项,在trace_stat中就会显示function的统计信息。
  4. set_ftrace_filter:用于指定跟踪的函数
  5. set_ftrace_notrace:用于指定不跟踪的函数
  6. 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管理。


相关文章
|
21天前
|
存储 安全 Linux
探索Linux操作系统的心脏:内核
在这篇文章中,我们将深入探讨Linux操作系统的核心—内核。通过简单易懂的语言和比喻,我们会发现内核是如何像心脏一样为系统提供动力,处理数据,并保持一切顺畅运行。从文件系统的管理到进程调度,再到设备驱动,我们将一探究竟,看看内核是怎样支撑起整个操作系统的大厦。无论你是计算机新手还是资深用户,这篇文章都将带你领略Linux内核的魅力,让你对这台复杂机器的内部运作有一个清晰的认识。
50 3
|
1月前
|
缓存 安全 Unix
Linux 内核黑客不可靠指南【ChatGPT】
Linux 内核黑客不可靠指南【ChatGPT】
|
1月前
|
网络协议 Ubuntu Linux
用Qemu模拟vexpress-a9 (三)--- 实现用u-boot引导Linux内核
用Qemu模拟vexpress-a9 (三)--- 实现用u-boot引导Linux内核
|
1月前
|
Linux
用clang编译Linux内核
用clang编译Linux内核
|
14天前
|
存储 传感器 Linux
STM32微控制器为何不适合运行Linux系统的分析
总的来说,虽然技术上可能存在某些特殊情况下将Linux移植到高端STM32微控制器上的可能性,但从资源、性能、成本和应用场景等多个方面考虑,STM32微控制器不适合运行Linux系统。对于需要运行Linux的应用,更适合选择ARM Cortex-A系列处理器的开发平台。
76 0
|
1月前
|
Linux API 调度
关于在Linux内核中使用不同延迟/休眠机制 【ChatGPT】
关于在Linux内核中使用不同延迟/休眠机制 【ChatGPT】
|
缓存 NoSQL 安全
Linux设备驱动程序(四)——调试技术3
Linux设备驱动程序(四)——调试技术3
146 0
|
NoSQL 安全 Linux
Linux设备驱动程序(四)——调试技术1
Linux设备驱动程序(四)——调试技术1
151 0
|
11月前
|
Linux 测试技术 API
Linux内核调试技术(一)kprobe使用与实现
Linux内核调试技术(一)kprobe使用与实现
|
安全 Unix Linux
Linux设备驱动程序(四)——调试技术2
Linux设备驱动程序(四)——调试技术2
86 0
下一篇
无影云桌面