Linux内核调试 - 一般人儿我都不告诉他（一）

   悄悄地进入Linux内核调试(一)

   本文基址：http://blog.csdn.net/cugxueyu/archive/2007/12/21/1957740.aspx

※ 调试工作艰苦，是内核级开发区别于用户级开发的一个显著特点。

※ 驾驭内核调试的能力，很大程度上取决于经验和对整个操作系统的把握。

 

一、调试前的准备

   内核级bug具有行为不可靠，定义不清晰或者说很难再现的诸多特定，为内核级的bug跟踪和调试带来了很大的困难。

   ※ 对于一些定义不清楚地bug，问题的关键就是找到bug的源头，很多时候，当你精确地重现一个bug的时候，你就离成功不远了。

 

二、内核中的bug

   从隐藏在源代码中的错误到展现在目击者面前的bug，其发作往往是一系列连锁反应的事件才可能出发的。

   虽然内核调试有一定的困难，但是通过你的努力和理解，说不定你会喜欢上这样的挑战。

 

三、printk( )

 内核提供的格式化打印函数。

 1、printk函数的健壮性

    健壮性是printk最容易被接受的一个特质，几乎在任何地方，任何时候内核都可以调用它（中断上下文、进程上下文、持有锁时、多处理器处理时等）。

   ※ 在系统启动过程中，终端初始化之前，在某些地方是不能调用的。

 

 2、记录等级

    printk函数可以指定一个记录级别，内核根据这个级别来判断是否在终端上打印消息。

    记录级别定义在<linux/kernel.h>中：

    

#define     KERN_EMERG    "<0>"   /* system is unusable */
#define     KERN_ALERT    "<1>"    /* action must be taken immediately    */
#define     KERN_CRIT        "<2>"    /* critical conditions */
#define     KERN_ERR        "<3>"    /* error conditions    */
#define     KERN_WARNING    "<4>"    /* warning conditions */
#define     KERN_NOTICE   "<5>"    /* normal but significant condition    */
#define     KERN_INFO        "<6>"    /* informational */
#define     KERN_DEBUG    "<7>"   /* debug-level messages    */

 

 调用方式：printk(KER_DEBUG “This is a debug notice!/n”);

 内核用这个指定的纪录等级和当前终端的纪录等级console_loglevel比较，来决定是不是向终端打印。

 

 关于< linux/kernel.h >的console_loglevel 定义：

 #define console_loglevel (console_printk[0])

 <printk.c>定义：

 int console_printk[4] = {

           DEFAULT_CONSOLE_LOGLEVEL,  /* console_loglevel */

           DEFAULT_MESSAGE_LOGLEVEL, /* default_message_loglevel */

           MINIMUM_CONSOLE_LOGLEVEL,  /* minimum_console_loglevel */

           DEFAULT_CONSOLE_LOGLEVEL, /* default_console_loglevel */

 };

 

 3、记录缓冲区

   内核消息都被保存在一个LOG_BUF_LEN大小的环形队列中。

   关于LOG_BUF_LEN定义：

   #define __LOG_BUF_LEN     (1 << CONFIG_LOG_BUF_SHIFT)

   ※ 变量CONFIG_LOG_BUF_SHIFT在内核编译时由配置文件定义，对于i386平台，其值定义如下（在linux26/arch/i386/defconfig中）：

   CONFIG_LOG_BUF_SHIFT=18

 

   记录缓冲区操作：

   ①、消息被读出到用户空间时，此消息就会从环形队列中删除。

   ②、当消息缓冲区满时，如果再有printk()调用时，新消息将覆盖队列中的老消息。

   ③、在读写环形队列时，同步问题很容易得到解决。

   ※ 这个纪录缓冲区之所以称为环形，是因为它的读写都是按照环形队列的方式进行操作的。

 

 4、syslogd和klogd

   在标准的Linux系统上，用户空间的守护进程klogd从纪录缓冲区中获取内核消息，再通过syslogd守护进程把这些消息保存在系统日志文件中。klogd进程既可以从/proc/kmsg文件中，也可以通过syslog()系统调用读取这些消息。默认情况下，它选择读取/proc方式实现。klogd守护进程在消息缓冲区有新的消息之前，一直处于阻塞状态。一旦有新的内核消息，klogd被唤醒，读出内核消息并进行处理。默认情况下，处理例程就是把内核消息传给syslogd守护进程。

   syslogd守护进程一般把接收到的消息写入/var/log/messages文件中。不过，还是可以通过/etc/syslog.conf文件来进行配置，可以选择其他的输出文件。

  图1 X光了此过程：

 

 

四、OOPS

 OOPS（也称 Panic）消息包含系统错误的细节，如 CPU 寄存器的内容等。是内核告知用户有不幸发生的最常用的方式。

 内核只能发布OOPS，这个过程包括向终端上输出错误消息，输出寄存器保存的信息，并输出可供跟踪的回溯线索。通常，发送完OOPS之后，内核会处于一种不稳定的状态。

 OOPS的产生有很多可能原因，其中包括内存访问越界或非法的指令等。

 ※ 作为内核的开发者，必定将会经常处理OOPS。

 ※ OOPS中包含的重要信息，对所有体系结构的机器都是完全相同的：寄存器上下文和回溯线索（回溯线索显示了导致错误发生的函数调用链）。

 

 1、ksymoops

    在 Linux 中，调试系统崩溃的传统方法是分析在发生崩溃时发送到系统控制台的 Oops 消息。一旦您掌握了细节，就可以将消息发送到 ksymoops 实用程序，它将试图将代码转换为指令并将堆栈值映射到内核符号。

    ※ 如：回溯线索中的地址，会通过ksymoops转化成名称可见的函数名。

    图2X光了格式化 Oops 消息过程：

   

 

    ksymoops需要几项内容：Oops 消息输出、来自正在运行的内核的 System.map 文件，还有 /proc/ksyms、vmlinux 和 /proc/modules。

关于如何使用 ksymoops，内核源代码 /usr/src/linux/Documentation/oops-tracing.txt 中或 ksymoops 手册页上有完整的说明可以参考。Ksymoops 反汇编代码部分，指出发生错误的指令，并显示一个跟踪部分表明代码如何被调用。

 

 2、kallsyms

    开发版2.5内核引入了kallsyms特性，它可以通过定义CONFIG_KALLSYMS编译选项启用。该选项可以载入内核镜像所对应的内存地址的符号名称（即函数名），所以内核可以打印解码之后的跟踪线索。相应，解码OOPS也不再需要System.map和ksymoops工具了。另外，

这样做，会使内核变大些，因为地址对应符号名称必须始终驻留在内核所在内存上。

    #cat /proc/kallsyms

     c0100240   T       _stext

     c0100240   t       run_init_process

     c0100240   T      stext

     c0100269   t       init

        …

 

五、内核调试配置选项

 在编译内核的时候，为了方便调试和测试代码，内核提供了许多配置选项。

 ※  启用选项例如：

   slab layer debugging（slab层调试选项）、high-memory debugging（高端内存调试选项）、I/O mapping debugging（I/O映射调试选项）、spin-lock debugging（自旋锁调试选项）、stack-overflow checking（栈溢出检查选项）和sleep-inside-spinlock checking（自旋锁内睡眠选项）等。

 

1、调试原子操作

 从内核2.5开发，为了检查各类由原子操作引发的问题，内核提供了极佳的工具。

 内核提供了一个原子操作计数器，它可以配置成，一旦在原子操作过程中，进城进入睡眠或者做了一些可能引起睡眠的操作，就打印警告信息并提供追踪线索。

 所以，包括在使用锁的时候调用schedule()，正使用锁的时候以阻塞方式请求分配内存等，各种潜在的bug都能够被探测到。

 下面这些选项可以最大限度地利用该特性：

 CONFIG_PREEMPT = y

 CONFIG_DEBUG_KERNEL = y

 CONFIG_KLLSYMS = y

 CONFIG_SPINLOCK_SLEEP = y

 

六、引发bug并打印信息

 1、一些内核调用可以用来方便标记bug，提供断言并输出信息。最常用的两个是BUG()和BUG_ON()。

 定义在<include/asm-generic>中：

#ifndef HAVE_ARCH_BUG
#define  BUG() do { 
    printk( " BUG: failure at %s:%d/%s()! " , __FILE__, __LINE__, __FUNCTION__); 
    panic( " BUG! " );    /*  引发更严重的错误，不但打印错误消息，而且整个系统业会挂起  */
}  while  ( 0 )
#endif

#ifndef HAVE_ARCH_BUG_ON
     #define  BUG_ON(condition) do { if (unlikely(condition)) BUG(); } while(0)
#endif

   

当调用这两个宏的时候，它们会引发OOPS，导致栈的回溯和错误消息的打印。

※ 可以把这两个调用当作断言使用，如：BUG_ON(bad_thing);

 

 2、dump_stack()

    有些时候，只需要在终端上打印一下栈的回溯信息来帮助你调试。这时可以使用dump_stack()。这个函数只在终端上打印寄存器上下文和函数的跟踪线索。

    if (!debug_check) {

        printk(KERN_DEBUG “provide some information…/n”);

        dump_stack();

    }

 备注：大部分内容引自《Linux内核设计与实现 - 第2版》