调试技术

来源:互联网 发布:淘宝关闭订单运费险 编辑:程序博客网 时间:2024/04/30 17:18
对于任何编写内核代码的人来说,最吸引他们注意的问题之一就是如何完成调试。由于
内核是一个不与某个进程相关的功能集,其代码不能很轻松地放在调试器中执行,而且
也不能跟踪。

本章介绍你可以用来监视内核代码和跟踪错误的技术。

用打印信息调试
最一般的调试技术就是监视,就是在应用内部合适的点加上printf调用。当你调试内核
代码的时候,你可以用printk完成这个任务。

Printk
Printk
在前些章中,我们简单假设printk工作起来和printf很类似。现在是介绍一下它们之间
不同的时候了。

其中一个不同点就是,printk允许你根据它们的严重程度,通过附加不同的“记录级”
来对消息分类,或赋予消息优先级。你可以用宏来指示记录级。例如,KERN_INFO,我们
前面已经看到它被加在打印语句的前面,它就是一种可能的消息记录级。记录级宏展开
为一个字串,在编译时和消息文本拼接在一起;这也就是为什么下面的例子中优先级和
格式字串间没有逗号。这有两个printk的例子,一个是调试信息,一个是关键信息:

(代码)

在<linux/kernel.h>中定义了8种记录级别串。没有指定优先级的printk语句默认使用DE
FAULT_MESSAGE_LOGLEVEL优先级,它是一个在kernel/printk.c中定义的整数。默认记录
级的具体数值在Linux的开发期间曾变化过若干次,所以我建议你最好总是指定一个合适
的记录级。

根据记录级,内核将消息打印到当前文本控制台上:如果优先级低于console_loglevel
这个数值的话,该消息就显示在控制台上。如果系统同时运行了klogd和syslogd,无论c
onsole_loglevel为何值,内核都将消息追加到/var/log/messages中。

变量console_loglevel最初初始化为DEFAULT_CONSOLE_LOGLEVEL,但可以通过sys_syslo
g系统调用修改。如klogd的手册所示,可以在启动klogd时指定-c开关来修改这个变量。
g系统调用修改。如klogd的手册所示,可以在启动klogd时指定-c开关来修改这个变量。
此外,你还可以写个程序来改变控制台记录级。你可以在O’Reilly站点上的源文件中找
到我写的一个这种功能的程序,miscprogs/setlevel.c。新优先级是通过一个1到8之间
的整数值指定的。

你也许需要在内核失效后降低记录级(见“调试系统故障”),这是因为失效处理代码
会将console_loglevel提升到15,之后所有的消息都会出现在控制台上。为看到你的调
试信息,如果你运行的是内核2.0.x话,你需要提升记录级。内核2.0发行降低了MINIMUM
_CONSOLE_LOGLEVEL,而旧版本的klogd默认情况下要打印很多控制消息。如果你碰巧使
用了这个旧版本的守护进程,除非你提升记录级,内核2.0会比你预期的打印出更少的消
息。这就是为什么hello.c中使用了<1>标记,这样可以保证消息显示在控制台上。

从1.3.43一来的内核版本通过允许你向指定虚控制台发送消息,藉此提供一个灵活的记
录策略。默认情况下,“控制台”是当前虚终端。也可以选择不同的虚终端接收消息,
你只需向所选的虚终端调用ioctl(TIOCLINUX)。如下程序,setconsole,可以用来选择
哪个虚终端接收内核消息;它必须以超级用户身份运行。如果你对ioctl还不有把握,你
可以跳过这至下一节,等到读完第5章“字符设备驱动程序的扩展操作”的“ioctl”一
节后,再回到这里读这段代码。

(代码)

setconsole使用了用于Linux专用功能的特殊的ioctl命令TIOCLINUX。为了使用TIOCLINU
X,你要传递给它一个指向字节数组的指针。数组的第一个字节是所请求的子命令的编码
X,你要传递给它一个指向字节数组的指针。数组的第一个字节是所请求的子命令的编码
,随后的字节依命令而不同。在setconsole中使用了子命令11,后一个字节(存放在byt
es[1]中)标别虚拟控制台。TIOCLINUX的完成介绍可以在内核源码drivers/char/tty_io
..c中找到。

消息是如何记录的
printk函数将消息写到一个长度为LOG_BUF_LEN个字节的循环缓冲区中。然后唤醒任何等
待消息的进程,即那些在调用syslog系统调用或读取/proc/kmesg过程中睡眠的进程。这
两个访问记录引擎的接口是等价的。不过/proc/kmesg文件更象一个FIFO文件,从中读取
数据更容易些。一跳简单的cat命令就可以读取消息。

如果循环缓冲区填满了,printk就绕到缓冲区的开始处填写新数据,覆盖旧数据。于是
记录进程就丢失了最旧的数据。这个问题与利用循环缓冲区所获得的好处相比可以忽略
不计。例如,循环缓冲区可以使系统在没有记录进程的情况下照样运行,同时又不浪费
内存。Linux处理消息的方法的另一个特点是,可以在任何地方调用printk,甚至在中断
处理函数里也可以调用,而且对数据量的大小没有限制。这个方法的唯一缺点就是可能
丢失某些数据。

如果klogd正在运行,它读取内核消息并将它们分派到syslogd,它随后检查/etc/syslog
..conf找到处理这些数据的方式。syslogd根据一个“设施”和“优先级”切分消息;可
以使用的值定义在<sys/syslog.h>中。内核消息根据相应printk中指定的优先级记录到L
OG_KERN设施中。如果klogd没有运行,数据将保存在循环缓冲区中直到有进程来读取数
据或数据溢出。
据或数据溢出。

如果你不希望因监视你的驱动程序的消息而把你的系统记录搞乱,你给klogd指定-f(文
件)选项或修改/etc/syslog.conf将记录写到另一个文件中。另一种方法是一种强硬方
法:杀掉klogd,将消息打印到不用的虚终端上*,或者在一个不用的xterm上执行cat
/proc/kmesg显示消息。

使用预处理方便监视处理
在驱动程序开发早期,printk可以对调试和测试新代码都非常有帮助。然而当你正式发
行驱动程序时,你应该去掉,或者至少关闭,这些打印语句。很不幸,你可能很快就发
现,随着你想不再需要那些消息并去掉它们时,你可能又要加新功能,你又需要这些消
息了。解决这些问题有几种方法――如何从全局打开和关闭消息以及如何打开和关闭个
别消息。

下面给出了我处理消息所用的大部分代码,它有如下一些功能:

l        可以通过在宏名字加一个字母或去掉一个字母打开或关闭每一条语句。

l        通过在编译前修改CFLAGS变量,可以一次关闭所有消息。

l        同样的打印语句既可以用在内核态(驱动程序)也可以用在用户态(演示或测
试程序)。


下面这些直接来自scull.h的代码片断实现了这些功能。

(代码)

符合PDEBUG和PDEBUGG依赖于是否定义了SCULL_DEBUG,它们都和printf调用很类似。

为了进一步方便这个过程,在你的Makefile加上如下几行。

(代码)

本节所给出的代码依赖于gcc对ANSI C预编译器的扩展,gcc可以支持带可变数目参数的
宏。这种对gcc的依赖并不是什么问题,因为内核对gcc特性的依赖更强。此外,Makefil
e依赖于GNU的gmake;基于同样的道理,这也不是什么问题。

如果你很熟悉C预编译器,你可以将上面的定义扩展为可以支持“调试级”概念的,可以
为每级赋一个整数(或位图),说明这一级打印多么琐碎的消息。

但是每一个驱动程序都有它自己的功能和监视需求。好的编程技巧会在灵活性和高效之
间找到一个权衡点,这个我就不能说哪个对你最好了。记住,预编译器条件(还有代码
中的常量表达式)只到编译时运行,你必须重新编译程序来打开或关闭消息。另一种方
法就是使用C条件语句,它在运行时运行,因此可以让你在程序执行期间打开或关闭消息
。这个功能很好,但每次代码执行系统都要进行额外的处理,甚至在消息关闭后仍然会
。这个功能很好,但每次代码执行系统都要进行额外的处理,甚至在消息关闭后仍然会
影响性能。有时这种性能损失是无法接受的。

个人观点,尽管上面给出的宏迫使你每次要增加或去掉消息时都要重新编译,重新加载
模块,但我觉得用这些宏已经很好了。

通过查询调试
上一节谈到了printk是如何工作的以及如何使用它。但没有谈及它的缺点。

由于syslogd会一直保持刷新它的输出文件,每打印一行都会引起一次磁盘操作,因此过
量使用printk会严重降低系统性能。至少从syslogd的角度看是这样的。它会将所有的数
据都一股脑地写到磁盘上,以防在打印消息后系统崩溃;然而,你不想因为调试信息的
缘故而降低系统性能。这个问题可以通过在/etc/syslogd.conf中记录文件的名字前加一
个波折号解决,但有时你不想修改你的配置文件。如果不这样,你还可以运行一个非klo
gd的程序(如前面介绍的cat /proc/kmesg),但这样并不能为正常操作提供一个合适的
环境。

与这相比,最好的方法就是在你需要信息的时候,通过查询系统获得相关信息,而不是
持续不断地产生数据。事实上,每一个Unix系统都提供了很多工具用来获得系统信息:p
s,netstat,vmstat等等。

有许多技术适合与驱动程序开发人员查询系统,简而言之就是,在/proc下创建文件和使
用ioctl驱动程序方法。
用ioctl驱动程序方法。

使用/proc文件系统
Linux中的/proc文件系统与任何设备都没有关系――/proc中的文件都在被读取时有核心
创建的。这些文件都是普通的文本文件,它们基本上可由普通人理解,也可被工具程序
理解。例如,对于大多数Linux的ps实现而言,它都通过读取/proc文件系统获得进程表
信息的。/proc虚拟文件的创意已由若干现代操作系统使用,且非常成功。

/proc的当前实现可以动态创建i节点,允许用户模块为方便信息检索创建如何入口点。

为了在/proc中创建一个健全的文件节点(可以read,write,seek等等),你需要定义f
ile_operations结构和inode_operations结构,后者与前者有类似的作用和尺寸。创建
这样一个i节点比起创建整个字符设备并没有什么不同。我们这里不讨论这个问题,如果
你感兴趣,你可以在源码树fs/proc中获得进一步细节。

与大多数/proc文件一样,如果文件节点仅仅用来读,创建它们是比较容易的,我将这里
介绍这一技术。很不幸,这一技术只能在Linux 2.0及其后续版本中使用。

这里是创建一个称为/proc/scullmem文件的scull代码,这个文件用来获取scull使用的
内存信息。

(代码)


填写/proc文件非常容易。你的函数获取一个空闲页面填写数据;它将数据写进缓冲区并
返回所写数据的长度。其他事情都由/proc文件系统处理。唯一的限制就是所写的数据不
能超过PAGE_SIZE个字节(宏PAGE_SIZE定义在头文件<asm/page.h>中;它是与体系结构
相关的,但你至少可以它有4KB大小)。

如果你需要写多于一个页面的数据,你必须实现功能健全的文件。

注意,如果一个正在读你的/proc文件的进程发出了若干read调用,每一个都获取新数据
,尽管只有少量数据被读取,你的驱动程序每次都要重写整个缓冲区。这些额外的工作
会使系统性能下降,而且如果文件产生的数据与下一次的不同,以后的read调用要重新
装配不相关的部分,这一会造成数据错位。事实上,由于每个使用C库的应用程序都大块
地读取数据,性能并不是什么问题。然而,由于错位时有发生,它倒是一个值得考虑的
问题。在获取数据后,库调用至少要调用1次read――只有当read返回0时才报告文件尾
。如果驱动程序碰巧比前面产生了更多的数据,系统就返回到用户空间额外的字节并且
与前面的数据块是错位的。我们将在第6章“时间流”的“任务队列”一节中涉及/proc/
jiq*,那时我们还会遇到错位问题。

cleanup_module中应该使用下面的语句注销/proc节点:

(代码)

传递给函数的参数是包含要撤销文件的目录名和文件的i节点号。由于i节点号是自动分
传递给函数的参数是包含要撤销文件的目录名和文件的i节点号。由于i节点号是自动分
配的,在编译时是无法知道的,必须从数据结构中读取。

ioctl方法
ioctl,下一章将详细讨论,是一个系统调用,它可以操做在文件描述符上;它接收一个
“命令”号和(可选的)一个参数,通常这是一个指针。

做为替代/proc文件系统的方法,你可以为调试实现若干ioctl命令。这些命令从驱动程
序空间复制相关数据到进程空间,在进程空间里检查这些数据。

只有使用ioctl获取信息比起/proc来要困难一些,因为你一个程序调用ioctl并显示结果
。必须编写这样的程序,还要编译,保持与你测试的模块间的一致性等。

不过有时候这是最好的获取信息的方法,因为它比起读/proc来要快得多。如果在数据写
到屏幕前必须完成某些处理工作,以二进制获取数据要比读取文本文件有效得多。此外
,ioctl不限制返回数据的大小。

ioctl方法的一个优点是,当调试关闭后调试命令仍然可以保留在驱动程序中。/proc文
件对任何查看这个目录的人都是可见的,然而与/proc文件不同,未公开的ioctl命令通
常都不会被注意到。此外,如果驱动程序有什么异常,它们仍然可以用来调试。唯一的
缺点就是模块会稍微大一些。

通过监视调试
通过监视调试
有时你遇到的问题并不特别糟,通过在用户空间运行应用程序来查看驱动程序与系统之
间的交互过程可以帮助你捕捉到一些小问题,并可以验证驱动程序确实工作正常。例如
,看到scull的read实现如何处理不同数据量的read请求后,我对scull更有信心。

有许多方法监视一个用户态程序的工作情况。你可以用调试器一步步跟踪它的函数,插
入打印语句,或者用strace运行程序。在实际目的是查看内核代码时,最后一项技术非
常有用。

strace命令是一个功能非常强大的工具,它可以现实程序所调用的所有系统调用。它不
仅可以显示调用,而且还能显示调用的参数,以符号方式显示返回值。当系统调用失败
时,错误的符号值(如,ENOMEM)和对应的字串(Out of memory)同时显示。strace还
有许多命令行选项;最常用的是-t,它用来显示调用发生的时间,-T,显示调用所花费
的时间,以及-o,将输出重定向到一个文件中。默认情况下,strace将所有跟踪信息打
印到stderr上。

strace从内核接收信息。这意味着一个程序无论是否按调试方式编译(用gcc的-g选项)
或是被去掉了符号信息都可以被跟踪。与调试器可以连接到一个运行进程并控制它类似
,你还可以跟踪一个已经运行的进程。

跟踪信息通常用来生成错误报告报告给应用开发人员,但是对内核编程人员来说也一样
非常有用。我们可以看到系统调用是如何执行驱动程序代码的;strace允许我们检查每
一次调用输入输出的一致性。
一次调用输入输出的一致性。

例如,下面的屏幕输出给出了命令ls /dev > /dev/scull0的最后几行:

(代码)

很明显,在ls完成目标目录的检索后首次对write的调用中,它试图写4KB。很奇怪,只
写了4000个字节,接着重试这一操作。然而,我们知道scull的write实现每次只写一个
量子,我在这里看到了部分写。经过若干步骤之后,所有的东西都清空了,程序正常退
出。

另一个例子,让我们来读scull设备:

(代码)

正如所料,read每次只能读到4000个字节,但是数据总量是不变的。注意本例中重试工
作是如何组织的,注意它与上面写跟踪的对比。wc专门为快速读数据进行了优化,它绕
过了标准库,以便每次用一个系统调用读取更多的数据。你可以从跟踪的read行中看到w
c每次要读16KB。

Unix专家可以在strace的输出中找到很多有用信息。如果你被这些符号搞得满头雾水,
我可以只看文件方法(open,read等等)是如何工作的。


个人认为,跟踪工具在查明系统调用的运行时错误过程中最有用。通常应用或演示程序
中的perror调用不足以用来调试,而且对于查明到底是什么样的参数触发了系统调用的
错误也很有帮助。

调试系统故障
即便你用了所有监视和调试技术,有时候驱动程序中依然有错误,当这样的驱动程序执
行会会造成系统故障。当这种情况发生时,获取足够多的信息来解决问题是至关重要的


注意,“故障”不意味着“panic”。Linux代码非常鲁棒,可以很好地响应大部分错误
:故障通常会导致当前进程的终止,但系统继续运行。如果在进程上下文之外发生故障
,或是组成系统的重要部件发生故障时,系统可能panic。但问题出在驱动程序时,通常
只会导致产生故障的进程终止――即那个使用驱动程序的进程。唯一不可恢复的损失就
是当进程被终止时,进程上下文分配的内存丢失了;例如,由驱动程序通过kmalloc分配
的动态链表可能丢失。然而,由于内核会对尚是打开的设备调用close,你的驱动程序可
以释放任何有open方法分配的资源。

我们已经说过,当内核行为异常时会在控制台上显示一些有用的信息。下一节将解释如
何解码和使用这些消息。尽管它们对于初学者来说相当晦涩,处理器的给出数据都是些
很有意思的信息,通常无需额外测试就可以查明程序错误。

Oops消息
Oops消息
大部分错误都是NULL指针引用或使用其他不正确的指针数值。这些错误通常会导致一个o
ops消息。

由处理器使用的地址都是“虚”地址,而且通过一个复杂的称为页表(见第13章“Mmap
和DMA”中的“页表”一节)的结构映射为物理地址。当引用一个非法指针时,页面映射
机制就不能将地址映射到物理地址,并且处理器向操作系统发出一个“页面失效”。如
果地址确实是非法的,内核就无法从失效地址上“换页”;如果此时处理在超级用户太
,系统于是就产生一个“oops”。值得注意的是,在版本2.1中内核处理失效的方式有所
变化,它可以处理在超级用户态的非法地址引用了。新实现将在第17章“最近发展”的
“处理内核空间失效”中介绍。

oops显示故障时的处理器状态,模块CPU寄存器内容,页描述符表的位置,以及其他似乎
不能理解的信息。这些是由失效处理函数(arch/*/kernel/traps.c)中的printk语句产
生的,而且象前面“Printk”一节介绍的那样进行分派。

让我们看看这样一个消息。这里给出的是传统个人电脑(x86平台),运行Linux 2.0或
更新版本的oops――版本1.2的输出稍有不同。

(代码)

上面的消息是在一个有意加入错误的失效模块上运行cat所至。fault.c崩溃如下代码:


(代码)

由于read从它的小缓冲区(faulty_buf)复制数据到用户空间,我们希望读一小块文件
能够工作。然而,每次读出多于1KB的数据会跨越页面边界,如果访问了非法页面read就
会失败。事实上,前面给出的oops是在请求一个4KB大小的read时发生的,这条消息在/v
ar/log/messages(syslogd默认存放内核消息的文件)的oops消息前给出了:

(代码)

同样的cat命令却不能在Alpha上产生oops,这是因为从faulty_buf读取4KB字节没有超出
页边界(Alpha上的页面大小是8KB,缓冲区正好在页面的起始位置附近)。如果在你的
系统上读取faulty没有产生oops,试试wc,或者给dd显式地指定块大小。

使用ksymoops
oops消息的最大问题就是十六进制数值对于程序员来说没什么意义;需要将它们解析为
符号。

内核源码通过其所包含的ksymoops工具帮助开发人员――但是注意,版本1.2的源码中没
有这个程序。该工具将oops消息中的数值地址解析为内核符号,但只限于PC机产生的oop
s消息。由于消息本身就是处理器相关的,每一体系结构都有其自身的消息格式。

ksymoops从标准输入获得oops消息,并从命令行内核符号表的名字。符号表通常就是/us
ksymoops从标准输入获得oops消息,并从命令行内核符号表的名字。符号表通常就是/us
r/src/linux/System.map。程序以更可读的方式打印调用轨迹和程序代码,而不是最原
始的oops消息。下面的片断就是用上一节的oops消息得出的结果:

(代码)

由ksymoops反汇编出的代码给出了失效的指令和其后的指令。很明显――对于那些知道
一点汇编的人――repz movsl指令(REPeat till cx is Zero, MOVe a String of
Longs)用源索引(esi,是0x202e000)访问了一个未映射页面。用来获得模块信息的ks
ymoops -m命令给出,模块映射到一个在0x0202dxxx的页面上,这也确认乐esi确实超出
了范围。

由于faulty模块所占用的内存不在系统表中,被解码的调用轨迹还给出了两个数值地址
。这些值可以手动补充,或是通过ksyms命令的输出,或是在/proc/ksyms中查询模块的
名字。

然而对于这个失效,这两个地址并不对应与代码地址。如果你看了arch/i386/kernel/tr
aps.c,你就发现,调用轨迹是从整个堆栈并利用一些启发式方法区分数据值(本地变量
和函数参数)和返回地址获得的。调用轨迹中只给出了引用内核代码的地址和引用模块
的地址。由于模块所占页面既有代码也有数据,错综复杂的栈可能会漏掉启发式信息,
这就是上面两个0x202xxxx地址的情况。

如果你不愿手动查看模块地址,下面这组管道可以用来创建一个既有内核又有模块符号
如果你不愿手动查看模块地址,下面这组管道可以用来创建一个既有内核又有模块符号
的符号表。无论何时你加载模块,你都必须重新创建这个符号表。

(代码)

这个管道将完整的系统表与/proc/ksyms中的公开内核符号混合在一起,后者除了内核符
号外,还包括了当前内核里的模块符号。这些地址在insmod重定位代码后就出现在/proc
/ksyms中。由于这两个文件的格式不同,使用了sed和awk将所有的文本行转换为一种合
适的格式。然后对这张表排序,去除重复部分,这样ksymoops就可以用了。

如果我们重新运行ksymoops,它从新的符号表中截取出如下信息:

(代码)

正如你所见到的,当跟踪与模块有关的oops消息时,创建一个修订的系统表是很有助益
的:现在ksymoops能够对指令指针解码并完成整个调用轨迹了。还要注意,显式反汇编
码的格式和objdump所使用的格式一样。objdump也是一个功能强大的工具;如果你需要
查看失败前的指令,你调用命令objdump –d faulty.o。

在文件的汇编列表中,字串faulty_read+45/60标记为失效行。有关objdump的更多的信
息和它的命令行选项可以参见该命令的手册。

即便你构建了你自己的修订版符号表,上面提到的有关调用轨迹的问题仍然存在:虽然0
即便你构建了你自己的修订版符号表,上面提到的有关调用轨迹的问题仍然存在:虽然0
x202xxxx指针被解码了,但仍然是假的。

学会解码oops消息需要一定的经验,但是确实值得一做。用来学习的时间很快就会有所
回报。不过由于机器指令的Unix语法与Intel语法不同,唯一的问题在于从哪获得有关汇
编语言的文档;尽管你了解PC汇编语言,但你的经验都是用Intel语法的编程获得的。在
参考书目中,我给一些有所补益的书籍。

使用oops
使用ksymoops有些繁琐。你需要C++编译器编译它,你还要构建你自己的符号表来充分发
挥程序的能力,你还要将原始消息和ksymoops输出合在一起组成可用的信息。

如果你不想找这么多麻烦,你可以使用oops程序。oops在本书的O’Reilly FTP站点给出
的源码中。它源自最初的ksymoops工具,现在它的作者已经不维护这个工具了。oops是
用C语言写成的,而且直接查看/proc/ksyms而无需用户每次加载模块后构建新的符号表


该程序试图解码所有的处理器寄存器并 颜 轨迹解析为符号值。它的缺点是,它要比ksy
moops罗嗦些,但通常你所有的信息越多,你发现错误也就越快。oops的另一个优点是,
它可以解析x86,Alpha和Sparc的oops消息。与内核源码相同,这个程序也按GPL发行。

oops产生的输出与ksymoops的类似,但是更完全。这里给出前一个oops输出的开始部分
—由于在这个oops消息中堆栈没保存什么有用的东西,我不认为应该显示整个 颜 轨迹
—由于在这个oops消息中堆栈没保存什么有用的东西,我不认为应该显示整个 颜 轨迹


(代码)

当你调试“真正的”模块(faulty太短了,没有什么意义)时,将寄存器和堆栈解码是
非常有益的,而且如果被调试的所有模块符号都开放出来时更有帮助。在失效时,处理
器寄存器一般不会指向模块的符号,只有当符号表开放给/proc/ksyms时,你才能输出中
标别它们。

我们可以用一下步骤制作一张更完整的符号表。首先,我们不应在模块中声明静态变量
,否则我们就无法用insmod开放它们了。第二,如下面的截取自scull的init_module函
数的代码所示,我们可以用#ifdef SCULL_DEBUG或类似的宏屏蔽register_symtab调用。


(代码)

我们在第2章“编写和运行模块”的“注册符号表”一节中已经看到了类似内容,那里说
,如果模块不注册符号表,所有的全局符号就都开放。尽管这一功能仅在SCULL_DEBUG被
激活时才有效,为了避免内核中的名字空间污染,所有的全局符号有合适的前缀(参见
第2章的“模块与应用程序”一节)。

使用klogd
使用klogd
klogd守护进程的近期版本可以在oops存放到记录文件前对oops消息解码。解码过程只由
版本1.3或更新版本的守护进程完成,而且只有将-k /usr/src/linux/System.map做为参
数传递给守护进程时才解码。(你可以用其他符号表文件代替System.map)

有新的klogd给出的faulty的oops如下所示,它写到了系统记录中:

(代码)

我想能解码的klogd对于调试一般的Linux安装的核心来说是很好的工具。由klogd解码的
消息包括大部分ksymoops的功能,而且也要求用户编译额外的工具,或是,当系统出现
故障时,为了给出完整的错误报告而合并两个输出。当oops发生在内核时,守护进程还
会正确地解码指令指针。它并不反汇编代码,但这不是问题,当错误报告给出消息时,
二进制数据仍然存在,可以离线反汇编代码。

守护进程的另一个功能就是,如果符号表版本与当前内核不匹配,它会拒绝解析符号。
如果在系统记录中解析出了符号,你可以确信它是正确的解码。

然而,尽管它对Linux用户很有帮助,这个工具在调试模块时没有什么帮助。我个人没有
在开放软件的电脑里使用解码选项。klogd的问题是它不解析模块中的符号;因为守护进
程在程序员加载模块前就已经运行了,即使读了/proc/ksyms也不会有什么帮助。记录文
件中存在解析后的符号会使oops和ksymoops混淆,造成进一步解析的困难。


如果你需要使用klogd调试你的模块,最新版本的守护进程需要加入一些新的特殊支持,
我期待它的完成,只要给内核打一个小补丁就可以了。

系统挂起
尽管内核代码中的大多数错误仅会导致一个oops消息,有时它们困难完全将系统挂起。
如果系统挂起了,没有消息能够打印出来。例如,如果代码遇到一个死循环,内核停止
了调度过程,系统不会再响应任何动作,包括魔法键Ctrl-Alt-Del组合。

处理系统挂起有两个选择――一个是防范与未然,另一个就是亡羊补牢,在发生挂起后
调试代码。

通过在策略点上插入schedule调用可以防止死循环。schedule调用(正如你所猜想到的
)调用调度器,因此允许其他进程偷取当然进程的CPU时间。如果进程因你的驱动程序中
的错误而在内核空间循环,你可以在跟踪到这种情况后杀掉这个进程。

在驱动程序代码中插入schedule调用会给程序员带来新的“问题”:函数,,以及调用轨
迹中的所有函数,必须是可重入的。在正常环境下,由于不同的进程可能并发地访问设
备,驱动程序做为整体是可重入的,但由于Linux内核是不可抢占的,不必每个函数都是
可重入的。但如果驱动程序函数允许调度器中断当前进程,另一个不同的进程可能会进
入同一个函数。如果schedule调用仅在调试期间打开,如果你不允许,你可以避免两个
并发进程访问驱动程序,所以并发性倒不是什么非常重要的问题。在介绍阻塞型操作时
(第5章的“写可重入代码”)我们再详细介绍并发性问题。
(第5章的“写可重入代码”)我们再详细介绍并发性问题。

如果要调试死循环,你可以利用Linux键盘的特殊键。默认情况下,如果和修饰键一起按
了PrScr键(键码是70),系统会向当前控制台打印有关机器状态的有用信息。这一功能
在x86和Alpha系统都有。Linux的Sparc移植也有同样的功能,但它使用了标记为“Break
/Scroll Lock”的键(键码是30)。

每一个特殊函数都有一个名字,并如下面所示都有一个按键事件与之对应。组合键之后
的括号里是函数名。

Shift-PrScr(Show_Memory)

打印若干行关于内存使用的信息,尤其是有关缓冲区高速缓存的使用情况。

Control-PrScr(Show_State)

针对系统里的每一个处理器打印一行信息,同时还打印内部进程树。对当前进程进行标
记。

RightAlt-PrScr(Show_Registers)

由于它可以打印按键时的处理器寄存器内容,它是系统挂起时最重要的一个键了。如果
有当前内核的系统表的话,查看指令计数器以及它如何随时间变化,对了解代码在何处
有当前内核的系统表的话,查看指令计数器以及它如何随时间变化,对了解代码在何处
循环非常有帮助。

如果想将这些函数映射到不同的键上,每一个函数名都可以做为参数传递给loadkeys。
键盘映射表可以任意修改(这是“策略无关的”)。

如果console_loglevel足够到的话,这些函数打印的消息会出现在控制台上。如果不是
你运行了一个旧klogd和一个新内核的话,默认记录级应该足够了。如果没有出现消息,
你可以象以前说的那样提升记录级。“足够高”的具体值与你使用的内核版本有关。对
于Linux 2.0或更新的版本来说是5。

即便当系统挂起时,消息也会打印到控制台上,确认记录级足够高是非常重要的。消息
是在产生中断时生成的,因此即便有错的进程不释放CPU也可以运行――当然,除非中断
被屏蔽了,不过如果发生这种情况既不太可能也非常不幸。

有时系统看起来象是挂起了,但其实不是。例如,如果键盘因某种奇怪的原因被锁住了
就会发生这种情况。这种假挂起可以通过查看你为探明此种情况而运行的程序输出来判
断。我有一个程序会不断地更新LED显示器上的时钟,我发现这个对于验证调度器尚在运
行非常有用。你可以不必依赖外部设备就可以检查调度器,你可以实现一个程序让键盘L
ED闪烁,或是不断地打开关闭软盘马达,或是不断触动扬声器――不过我个人认为,通
常的蜂鸣声很烦人,应该尽量避免。看看ioctl命令KDMKTONE。O’Reilly FTP站点上的
例子程序(misc-progs/heartbeat.c)中有一个是让键盘LED不断闪烁的。


如果键盘不接收输入了,最佳的处理手段是从网络登录在系统中,杀掉任何违例的进程
,或是重新设置键盘(用kdb_mode -a)。然而,如果你没有网络可用来恢复的话,发现
系统挂起是由键盘锁死造成的一点儿用也没有。如果情况确实是这样,你应该配置一种
替代输入设备,至少可以保证正常地重启系统。对于你的计算机来说,关闭系统或重启
比起所谓的按“大红钮”要更方便一些,至少它可以免去长时间地fsck扫描磁盘。

这种替代输入设备可以是游戏杆或是鼠标。在sunsite.edu.cn上有一个游戏杆重启守护
进程,gpm-1.10或更新的鼠标服务器可以通过命令行选项支持类似的功能。如果键盘没
有锁死,但是却误入“原始”模式,你可以看看kdb包中文档介绍的一些小技巧。我建议
最好在问题出现以前就看看这些文档,否则就太晚了。另一种可能是配置gpm-root菜单
,增添一个“reboot”或“reset keyboard”菜单项;gpm-root一个响应控制鼠标事件
的守护进程,它用来在屏幕上显示菜单和执行所配置的动作。

最好,你会可以按“留意安全键”(SAK),一个用于将系统恢复为可用状态的特殊键。
由于不是所有的实现都能用,当前Linux版本的默认键盘表中没有为此键特设一项。不过
你还是可以用loadkeys将你的键盘上的一个键映射为SAK。你应该看看drivers/char目录
中的SAK实现。代码中的注释解释了为什么这个键在Linux 2.0中不是总能工作,这里我
就不多说了。

不过,如果你运行版本2.1.9或是更新的版本,你就可以使用非常可靠地留意安全键了。
此外,2.1.43及后续版本内核还有一个编译选项选择是否打开“SysRq魔法键”;我建议
你看一看drivers/char/sysrq.c中的代码并使用这项新技术。
你看一看drivers/char/sysrq.c中的代码并使用这项新技术。

如果你的驱动程序真的将系统挂起了,而且你有不知道在哪插入schedule调用,最佳的
处理方法就是加一些打印消息,并将它们打印到控制台上(通过修改console_loglevel
变量值)。在重演挂起过程时,最好将所有的磁盘都以只读方式安装在系统上。如果磁
盘是只读的或没有安装,就不会存在破坏文件系统或使其进入不一致状态的危险。至少
你可以避免在复位系统后运行fsck。另一中方法就是使用NFS根计算机来测试模块。在这
种情况下,由于NFS服务器管理文件系统的一致性,而它又不会受你的驱动程序的影响,
你可以避免任何的文件系统崩溃。

使用调试器
最后一种调试模块的方法就是使用调试器来一步步地跟踪代码,查看变量和机器寄存器
的值。这种方法非常耗时,应该尽可能地避免。不过,某些情况下通过调试器对代码进
行细粒度的分析是非常有益的。在这里,我们所说的被调试的代码运行在内核空间――
除非你远程控制内核,否则不可能一步步跟踪内核,这会使很多事情变得更加困难。由
于远程控制很少用到,我们最后介绍这项技术。所幸的是,在当前版本的内核中可以查
看和修改变量。

在这一级上熟练地使用调试器需要精通gdb命令,对汇编码有一定了解,并且有能够将源
码与优化后的汇编码对应起来的能力。

不幸的是,gdb更适合与调试核心而不是模块,调试模块化的代码需要更多的技术。这更
多的技术就是kdebug包,它利用gdb的“远程调试”接口控制本地内核。我将在介绍普通
多的技术就是kdebug包,它利用gdb的“远程调试”接口控制本地内核。我将在介绍普通
调试器后介绍kdebug。

使用gdb
gdb在探究系统内部行为时非常有用。启动调试器时必须假想内核就是一个应用程序。除
了指定内核文件名外,你还应该在命令行中提供内存镜象文件的名字。典型的gdb调用如
下所示:

(代码)

第一个参数是未经压缩的内核可执行文件(在你编译完内核后,这个文件在/usr/src/li
nux目录中)的名字。只有x86体系结构有zImage文件(有时称为vmlinuz),它是一种解
决Intel处理器实模式下只有640KB限制的一种技巧;而无论在哪个平台上,vmlinux都是
你所编译的未经压缩的内核。

gdb命令行的第二个参数是是内存镜象文件的名字。与其他在/proc下的文件类似,/proc
/kcore也是在被读取时产生的。当read系统调用在/proc文件系统执行时,它映射到一个
用于数据生成而不是数据读取的函数上;我们已在“使用/proc文件系统”一节中介绍了
这个功能。系统用kcore来表示按内存镜象文件格式存储的内核“可执行文件”;由于它
要表示整个内核地址空间,它是一个非常巨大的文件,对应所有的物理内存。利用gdb,
你可以通过标准gdb命令查看内核标量。例如,p jiffies可以打印从系统启动到当前时
刻的时钟滴答数。


当你从gdb打印数据时,内核还在运行,不同数据项会在不同时刻有不同的数值;然而,
gdb为了优化对内存镜象文件的访问会将已经读到的数据缓存起来。如果你再次查看jiff
ies变量,你会得到和以前相同的值。缓存变量值防止额外的磁盘操作对普通内存镜象文
件来说是对的,但对“动态”内存镜象文件来说就不是很方便了。解决方法是在你想刷
新gdb缓存的时候执行core-file /proc/kcore命令;调试器将使用新的内存镜象文件并
废弃旧信息。但是,读新数据时你并不总是需要执行core-file命令;gdb以1KB的尺度读
取内存镜象文件,仅仅缓存它所引用的若干块。

你不能用普通gdb做的是修改内核数据;由于调试器需要在访问内存镜象前运行被调试程
序,它是不会去修改内存镜象文件的。当调试内核镜象时,执行run命令会导致在执行若
干指令后导致段违例。出于这个原因,/proc/kcore都没有实现write方法。

如果你用调试选项(-g)编译了内核,结果产生的vmlinux比没有用-g选项的更适合于gd
b。不过要注意,用-g选项编译内核需要大量的磁盘空间――支持网络和很少几个设备和
文件系统的2.0内核在PC上需要11KB。不过不管怎样,你都可以生成zImage文件并用它来
其他系统:在生成可启动镜象时由于选项-g而加入的调试信息最终都被去掉了。如果我
有足够的磁盘空间,我会一致打开-g选项的。

在非PC计算机上则有不同的方法。在Alpha上,make boot会在生成可启动镜象前将调试
信息去掉,所以你最终会获得vmlinux和vmlinux.gz两个文件。gdb可以使用前者,但你
只能用后者启动。在Sparc上,默认情况下内核(至少是2.0内核)不会被去掉调试信息
,所以你需要在将其传递给silo(Sparc的内核加载器)前将调试信息去掉,这样才能启
,所以你需要在将其传递给silo(Sparc的内核加载器)前将调试信息去掉,这样才能启
动。由于尺寸的问题,无论milo(Alpha的内核加载器)还是silo都不能启动未去掉调试
信息的内核。

当你用-g选项编译内核并且用vmlinux和/proc/kcore一起使用调试器,gdb可以返回很多
有关内核内部结构的信息。例如,你可以使用类似于这样的命令,p *module_list,p
*module_list->next和p *chrdevs[4]->fops等显示这些结构的内容。如果你手头有内核
映射表和源码的话,这些探测命令是非常有用的。

另一个gdb可以在当前内核上执行的有用任务是,通过disassemble命令(它可以缩写)
或是“检查指令”(x/i)命令反汇编函数。disassemble命令的参数可以是函数名或是
内存区范围,而x/i则使用一个内存地址做为参数,也可以用符号名。例如,你可以用x/
20i反汇编20条指令。注意,你不能反汇编一个模块的函数,这是因为调试器处理vmlinu
x,它并不知道你的模块的信息。如果你试图用模块的地址反汇编代码,gdb很有可能会
报告“不能访问xxxx处的内存(Cannot access memory at xxxx)”。基于同样的原因
,你不查看属于模块的数据项。如果你知道你的变量的地址,你可以从/dev/mem中读出
它的值,但很难弄明白从系统内存中分解出的数据是什么含义。

如果你需要反汇编模块函数,你最好对用objdump工具处理你的模块文件。很不幸,该工
具只能对磁盘上的文件进行处理,而不能对运行中的模块进行处理;因此,objdump中给
出的地址都是未经重定位的地
--

或是“检查指令”(x/i)命令反汇编函数。disassemble命令的参数可以是函数名或是
内存区范围,而x/i则使用一个内存地址做为参数,也可以用符号名。例如,你可以用x/
20i反汇编20条指令。注意,你不能反汇编一个模块的函数,这是因为调试器处理vmlinu
x,它并不知道你的模块的信息。如果你试图用模块的地址反汇编代码,gdb很有可能会
报告“不能访问xxxx处的内存(Cannot access memory at xxxx)”。基于同样的原因
,你不查看属于模块的数据项。如果你知道你的变量的地址,你可以从/dev/mem中读出
它的值,但很难弄明白从系统内存中分解出的数据是什么含义。

如果你需要反汇编模块函数,你最好对用objdump工具处理你的模块文件。很不幸,该工
具只能对磁盘上的文件进行处理,而不能对运行中的模块进行处理;因此,objdump中给
出的地址都是未经重定位的地
 
原创粉丝点击