page owner: 跟踪谁分配的每个页面¶
概述¶
page owner是用来追踪谁分配的每一个页面。它可以用来调试内存泄漏或找到内存占用者。 当分配发生时,有关分配的信息,如调用堆栈和页面的顺序被存储到每个页面的特定存储中。 当我们需要了解所有页面的状态时,我们可以获得并分析这些信息。
尽管我们已经有了追踪页面分配/释放的tracepoint,但用它来分析谁分配的每个页面是 相当复杂的。我们需要扩大跟踪缓冲区,以防止在用户空间程序启动前出现重叠。而且,启 动的程序会不断地将跟踪缓冲区转出,供以后分析,这将会改变系统的行为,会产生更多的 可能性,而不是仅仅保留在内存中,所以不利于调试。
页面所有者也可以用于各种目的。例如,可以通过每个页面的gfp标志信息获得精确的碎片 统计。如果启用了page owner,它就已经实现并激活了。我们非常欢迎其他用途。
page owner在默认情况下是禁用的。所以,如果你想使用它,你需要在你的启动cmdline 中加入”page_owner=on”。如果内核是用page owner构建的,并且由于没有启用启动 选项而在运行时禁用page owner,那么运行时的开销是很小的。如果在运行时禁用,它不 需要内存来存储所有者信息,所以没有运行时内存开销。而且,页面所有者在页面分配器的 热路径中只插入了两个不可能的分支,如果不启用,那么分配就会像没有页面所有者的内核 一样进行。这两个不可能的分支应该不会影响到分配的性能,特别是在静态键跳转标签修补 功能可用的情况下。以下是由于这个功能而导致的内核代码大小的变化。
尽管启用page owner会使内核的大小增加几千字节,但这些代码大部分都在页面分配器和 热路径之外。构建带有page owner的内核,并在需要时打开它,将是调试内核内存问题的 最佳选择。
有一个问题是由实现细节引起的。页所有者将信息存储到struct page扩展的内存中。这 个内存的初始化时间比稀疏内存系统中的页面分配器启动的时间要晚一些,所以,在初始化 之前,许多页面可以被分配,但它们没有所有者信息。为了解决这个问题,这些早期分配的 页面在初始化阶段被调查并标记为分配。虽然这并不意味着它们有正确的所有者信息,但至 少,我们可以更准确地判断该页是否被分配。在2GB内存的x86-64虚拟机上,有13343 个早期分配的页面被捕捉和标记,尽管它们大部分是由结构页扩展功能分配的。总之,在这 之后,没有任何页面处于未追踪状态。
使用方法¶
构建用户空间的帮助:
cd tools/mm make page_owner_sort
启用page owner: 添加 “page_owner=on” 到 boot cmdline.
做你想调试的工作。
分析来自页面所有者的信息:
cat /sys/kernel/debug/page_owner > page_owner_full.txt ./page_owner_sort page_owner_full.txt sorted_page_owner.txt
page_owner_full.txt
的一般输出情况如下:Page allocated via order XXX, ... PFN XXX ... // 栈详情 Page allocated via order XXX, ... PFN XXX ... // 栈详情 默认情况下,它将以一个给定的pfn开始,做完整的pfn转储,且page_owner支持fseek。 FILE *fp = fopen("/sys/kernel/debug/page_owner", "r"); fseek(fp, pfn_start, SEEK_SET);
page_owner_sort
工具忽略了PFN
行,将剩余的行放在buf中,使用regexp提 取页序值,计算buf的次数和页数,最后根据参数进行排序。在
sorted_page_owner.txt
中可以看到关于谁分配了每个页面的结果。一般输出:XXX times, XXX pages: Page allocated via order XXX, ... // Detailed stack
默认情况下,
page_owner_sort
是根据buf的时间来排序的。如果你想 按buf的页数排序,请使用-m参数。详细的参数是:基本函数:
排序: -a 按内存分配时间排序 -m 按总内存排序 -p 按pid排序。 -P 按tgid排序。 -n 按任务命令名称排序。 -r 按内存释放时间排序。 -s 按堆栈跟踪排序。 -t 按时间排序(默认)。 --sort <order> 指定排序顺序。排序的语法是[+|-]key[,[+|-]key[,...]]。从 **标准格式指定器**那一节选择一个键。"+"是可选的,因为默认的方向是数字或 词法的增加。允许混合使用缩写和完整格式的键。 例子: ./page_owner_sort <input> <output> --sort=n,+pid,-tgid ./page_owner_sort <input> <output> --sort=at 其它函数:: 剔除: --cull <rules> 指定剔除规则。剔除的语法是key[,key[,...]]。从**标准格式指定器** 部分选择一个多字母键。 <rules>是一个以逗号分隔的列表形式的单一参数,它提供了一种指定单个剔除规则的 方法。 识别的关键字在下面的**标准格式指定器**部分有描述。<规则>可以通过键的 序列k1,k2,...来指定,在下面的标准排序键部分有描述。允许混合使用简写和完整形 式的键。 Examples: ./page_owner_sort <input> <output> --cull=stacktrace ./page_owner_sort <input> <output> --cull=st,pid,name ./page_owner_sort <input> <output> --cull=n,f 过滤: -f 过滤掉内存已被释放的块的信息。 选择: --pid <pidlist> 按pid选择。这将选择进程ID号出现在<pidlist>中的块。 --tgid <tgidlist> 按tgid选择。这将选择其线程组ID号出现在<tgidlist> 中的块。 --name <cmdlist> 按任务命令名称选择。这将选择其任务命令名称出现在 <cmdlist>中的区块。 <pidlist>, <tgidlist>, <cmdlist>是以逗号分隔的列表形式的单个参数, 它提供了一种指定单个选择规则的方法。 例子: ./page_owner_sort <input> <output> --pid=1 ./page_owner_sort <input> <output> --tgid=1,2,3 ./page_owner_sort <input> <output> --name name1,name2
标准格式指定器¶
--sort的选项:
短键 长键 描述
p pid 进程ID
tg tgid 线程组ID
n name 任务命令名称
st stacktrace 页面分配的堆栈跟踪
T txt 块的全文
ft free_ts 页面释放时的时间戳
at alloc_ts 页面被分配时的时间戳
ator allocator 页面的内存分配器
--curl的选项:
短键 长键 描述
p pid 进程ID
tg tgid 线程组ID
n name 任务命令名称
f free 该页是否已经释放
st stacktrace 页面分配的堆栈跟踪
ator allocator 页面的内存分配器