简单实现dump_stack


0.首先确保你能写个内核模块:打印"hello kernel"


  如果熟悉dump_stack的话,完全可以绕开此文,或者自己去看dump_stack代码实现之。


 


1.dump_stack是什么


经常调试内核一定对这个函数不陌生,因为我们大多数人调试内核的时候都受这个函数的


折磨,不信,那么我们调用下这个函数看看(随意写个内核模块调用dump_stack(),插入内核),


我们来看看输出:


Pid: 9982, comm: insmod Not tainted 2.6.31.5-127.fc12.i686.PAE #1


Call Trace:


 [<f7e98008>] init+0x8/0xc [hello]


 [<c040305b>] do_one_initcall+0x51/0x13f


 [<c0462e2f>] sys_init_module+0xac/0x1bd


 [<c0408f7b>] sysenter_do_call+0x12/0x28


看到输出,大家一定很熟悉, 没见过类似输出的,一定没把kernel搞崩过.


(来我教你:*(int *)NULL = 0xdead;)


其实不见得每次内核崩溃都会调用dump_stack,但是看到dump_stack的我们不应该被吓到,


反而应该高兴:内核在临挂前还喘口气给我们提示了宝贵的调试信息


 


2.构造dump_stack第一句


有的人已经不耐烦我这唠叨,自己开始查看代码了,但是为了满足我们小小的虚荣,看懂还不行,


自己也要来写个玩玩,不能老被dump_stack欺负阿。


我们看看dump_stack里面第一句代码:


 printk("Pid: %d, comm: %.20s %s %s %.*s\n",


                 current->pid, current->comm, print_tainted(),


                 init_utsname()->release,


                 (int)strcspn(init_utsname()->version, " "),


                 init_utsname()->version);


这里就不解释printk每个参数了,代码本身就自解释了,剩下的请google,


对于不太理解print_tainted,请看下此函数实现的源码上方的注释:)


 


3.构造dump_stack的call trace


1)先来句printk("Call Trace:\n"),


 


2)接下来就神奇了,当初我就觉得能将函数执行流打印出来实在是很神奇,内核到底用了什么方法呢?


先不说,我们来看一句简单的代码:


printk("[<%p>] %pS\n", &printk, &printk);


观察输出:


[<c0776cf4>] printk+0x0/0x1c


你发现,这个输出结果和dump_stack输出的部分惊人的相似,但是我们传给printk的参数是确确实实的


地址值,原来prink自己能转换地址到相应的函数名,只要用参数"%pS"就可以了。


我相信看到这里的人,估计已经走开自己去实现dump_stack玩了。


但是输出也可能是:


[<c0776cf4>] c0776cf4S


如果你不幸看到这个,那么你还是升级下内核吧,或者仔细阅读下dump_stack代码,完全靠自己去实现


下,那么你收获一定会远超出这篇文章。


printk之所以能够识别函数地址,靠的是kallsyms子系统的帮助,


用过类似grep -w "printk" /proc/kallsyms命令的人,一定要好好谢谢这个子系统,


多亏它我们才能从内核导出symbol


深入研究kallsyms就靠大家了。


 


3)在刚刚的惊喜后,我们回到正题,怎么用printk把当前的执行流打印出来?


这里用到x86中堆栈对函数调用的帮助,详细信息请google,我们要知道一点:每次函数调用时候,


都会将函数的返回地址(调用函数指令的下一句指令的地址)压入堆栈,已备函数返回时。


我们就可以靠这个返回地址来帮助打印函数执行流。


但是这个地址并不是一个函数的准确地址呀?


%pS需要的参数不一定是准确的函数地址,在函数内部任意指令地址都可以,这就解释了输出形式是


"printk+0x0/0x1c",0x0表示参数地址相对于printk地址的偏移,0x1c表示printk函数大小。


你可以尝试下:printk("%pS\n", &printk + 1);


 


并且如果函数属于某个模块,还会在输出后面加上模块名称,类似:" [<f8cd40a5>] exit+0xd/0xf [hello]"


 


这里知道地址在堆栈里,那么怎么取堆栈呢?


其实很简单:


int stack_pointer;


我们只要取临时变量地址值 &stack_pointer 就可以了(也可以用内联汇编取esp值),然后只要循环遍历堆栈上所有值,然后判断该值是否在


内核代码段空间内,如果是那么就用%pS输出。


 


那么堆栈的结束地址是什么呢?


就是当前进程的内核态堆栈段,不懂的话请google,一定要搞清除这个。


这里我们记堆栈底为:


bottom = (unsigned int)current_thread_info() + THREAD_SIZE;


 


但是怎么判断地址值是否在内核代码段呢?


我们可以用kernel_text_address这个函数就可以了,但是很不幸的是此函数内核没有导出,我们不能使用,


那么我们就自己实现个kernel_text_address吧,但是更不幸的是此函数内部实现所依赖的变量_etext等也没有


被内核导出,其实我也没想到很好的方法,索性就用个笨办法:


手动找出此函数内核中的地址,


# grep kernel_text_address /proc/kallsyms


c044f107 T kernel_text_address


在代码中通过地址值调用kernel_text_address


int (*kernel_text_addressp)(unsigned int) = (int (*)(unsigned int))0xc044f107;


 


4)给出个较为完整的代码(在本机上写的:2.6.31.5-127.fc12.i686.PAE, 虚拟机上文档写的麻烦)


#include <linux/init.h>


#include <linux/module.h>


#include <linux/kernel.h>


#include <linux/utsname.h>


 


/* 


 * change the value to real addr of kernel_text_address :


 * grep -w kernel_text_address /proc/kallsyms


 */


static int (*kernel_text_addressp)(unsigned int) = (int (*)(unsigned int))0xc044f107;


 


void my_dump_stack(void)


{


unsigned int stack;


unsigned int bottom;


unsigned int addr;


printk("Pid: %d, comm: %.20s %s %s %.*s\n",


current->pid, current->comm, print_tainted(),


init_utsname()->release,


(int)strcspn(init_utsname()->version, " "),


init_utsname()->version); 


printk("Call Trace:\n");


 


/* get stack point */


stack = (unsigned int)&stack;


 


/* get stack bottom point */


bottom = (unsigned int)current_thread_info() + THREAD_SIZE;


 


for (; stack < bottom; stack += 4) {


addr = *(unsigned int *)stack;


if (kernel_text_addressp(addr))


printk(" [<%p>] %pS\n", (void *)addr, (void *)addr);


}


}


 


static int __init init(void)


{


/* test */


my_dump_stack();


return 0;


}


 


static void __exit exit(void)


{


/* test */


my_dump_stack();


}


 


MODULE_LICENSE("GPL");


module_init(init);


module_exit(exit);


 


3.改进


1)


如果你还没厌烦的话,这里有个改进的地方。


你会发现内核中的dump_stack会又类似如下输出:


 [<c04cf4e6>] ? path_put+0x1a/0x1d


这里有个问号:这个表示堆栈中有确有此值(某个函数内部地址),但是并不代表此函数被


执行,也许这个值是个临时变量寄存在堆栈中。


要区分这个很容易,只要比较地址值所在堆栈的位置是否紧贴当前函数栈空间底的上方,


可以利用ebp(记录当前堆栈底)指针值来作比较,代码就留给大家写了。


 


2)


x86 64 实现要比x86 32复杂(见内核注释):


/*


 * x86-64 can have up to three kernel stacks:


 * process stack


 * interrupt stack


 * severe exception (double fault, nmi, stack fault, debug, mce) hardware stack


 */


 


4.后记


你可能认为作者在忽悠你,这就整一个dump_stack注释的文章呀,贯上了写dump_stack的头衔!


我只有一句话:


Just for fun!


【作者】​​张昺华​


【微信公众号】 张昺华