高效调试与分析:利用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管理。


相关文章
|
2天前
|
监控 安全 Linux
启用Linux防火墙日志记录和分析功能
为iptables启用日志记录对于监控进出流量至关重要
|
15天前
|
运维 监控 Linux
BPF及Linux性能调试探索初探
BPF技术从最初的网络数据包过滤发展为强大的系统性能优化工具,无需修改内核代码即可实现实时监控、动态调整和精确分析。本文深入探讨BPF在Linux性能调试中的应用,介绍bpftune和BPF-tools等工具,并通过具体案例展示其优化效果。
40 14
|
20天前
|
算法 Linux
深入探索Linux内核的内存管理机制
本文旨在为读者提供对Linux操作系统内核中内存管理机制的深入理解。通过探讨Linux内核如何高效地分配、回收和优化内存资源,我们揭示了这一复杂系统背后的原理及其对系统性能的影响。不同于常规的摘要,本文将直接进入主题,不包含背景信息或研究目的等标准部分,而是专注于技术细节和实际操作。
|
20天前
|
存储 缓存 网络协议
Linux操作系统的内核优化与性能调优####
本文深入探讨了Linux操作系统内核的优化策略与性能调优方法,旨在为系统管理员和高级用户提供一套实用的指南。通过分析内核参数调整、文件系统选择、内存管理及网络配置等关键方面,本文揭示了如何有效提升Linux系统的稳定性和运行效率。不同于常规摘要仅概述内容的做法,本摘要直接指出文章的核心价值——提供具体可行的优化措施,助力读者实现系统性能的飞跃。 ####
|
21天前
|
监控 算法 Linux
Linux内核锁机制深度剖析与实践优化####
本文作为一篇技术性文章,深入探讨了Linux操作系统内核中锁机制的工作原理、类型及其在并发控制中的应用,旨在为开发者提供关于如何有效利用这些工具来提升系统性能和稳定性的见解。不同于常规摘要的概述性质,本文将直接通过具体案例分析,展示在不同场景下选择合适的锁策略对于解决竞争条件、死锁问题的重要性,以及如何根据实际需求调整锁的粒度以达到最佳效果,为读者呈现一份实用性强的实践指南。 ####
|
21天前
|
缓存 监控 网络协议
Linux操作系统的内核优化与实践####
本文旨在探讨Linux操作系统内核的优化策略与实际应用案例,深入分析内核参数调优、编译选项配置及实时性能监控的方法。通过具体实例讲解如何根据不同应用场景调整内核设置,以提升系统性能和稳定性,为系统管理员和技术爱好者提供实用的优化指南。 ####
|
1月前
|
Linux 网络安全 数据安全/隐私保护
Linux 超级强大的十六进制 dump 工具:XXD 命令,我教你应该如何使用!
在 Linux 系统中,xxd 命令是一个强大的十六进制 dump 工具,可以将文件或数据以十六进制和 ASCII 字符形式显示,帮助用户深入了解和分析数据。本文详细介绍了 xxd 命令的基本用法、高级功能及实际应用案例,包括查看文件内容、指定输出格式、写入文件、数据比较、数据提取、数据转换和数据加密解密等。通过掌握这些技巧,用户可以更高效地处理各种数据问题。
108 8
|
1月前
|
监控 Linux
如何检查 Linux 内存使用量是否耗尽?这 5 个命令堪称绝了!
本文介绍了在Linux系统中检查内存使用情况的5个常用命令:`free`、`top`、`vmstat`、`pidstat` 和 `/proc/meminfo` 文件,帮助用户准确监控内存状态,确保系统稳定运行。
381 6