实时嵌入式系统软件调试问题分析

1、实时嵌入式系统软件调试问题分析本文将讨论常见的调试问题以及预防和检查这些故障问题的一些方法。从历史角度上来看，嵌入式应用代码的调试流程可以分为两类。第一类调试流程是回答“我的代码现在执行到哪里 ?”的问题。当开发商依靠打印语句或者 LED的闪烁来指示应用程序执行到某个节点的调试方法时，往往就属于这种情形。如果开发工具支持这种调试方法，可以沿着应用应当程序应当执行的路径插入断点。第二类调试流程是帮助回答“我看到的这一数值是从哪里来的?”本文将讨论常见的调试问题以及预防和检查这些故障问题的一些方法。从历史角度上来看，嵌入式应用代码的调试流程可以分为两类。第一类调试流程是回答 “我的代码现在执行到哪

2、里 ?” 的问题。当开发商依靠打印语句或者LED的闪烁来指示应用程序执行到某个节点的调试方法时，往往就属于这种情形。如果开发工具支持这种调试方法，可以沿着应用应当程序应当执行的路径插入断点。第二类调试流程是帮助回答“我看到的这一数值是从哪里来的 ?”这一问题。在这种情况下，人们往往依靠寄存器显示窗口观察变量信息、处理器内存的内容。人们还可以尝试单步执行，并且观察所有这些数据窗口以了解某个寄存器状态何时出现错误，内存位置何时得到错误的数据，抑或指针何时出现了误用。当开发商写完全部代码后，如果无需了解网络基础设施，也没有操作系统的任务调度需要考虑，那么就可以利用这些调试方法使一个应用程序运行起来。

3、然而，现在的情况并非如此。嵌入式处理器以超过600 MHz的速度运行，并且拥有可支持 Ethernet和 USB等协议的嵌入式外设，它们支持功能齐备的操作系统，例如 uClinux ，而且这些操作系统所调度的各种应用程序是由数千行代码构成。使用打印语句和利用LED来调试是不现实的，因为现在常常有如此之多的功能在执行是不可能的，或者它们会影响标准I/O 口，从而造成处理器性能大幅度下降。也可能发生这样的情况：处理器的工作速度是如此之快，以至于 LED的亮灭速度会快到人眼无法察觉。另外现代的嵌入式系统通常支持断点的设定，但是伴随这些处理器所运行的代码数量，使得这种类型的断点调试难以驾驭。中断和多线

4、程系统在代码的任何一点上设置一个断点，可能都无法指示系统的正确状态。由于断点设置在物理内存的某个地址上，索引不必了解线程的状态。如果使用寄存器显示方法，那么局部变量窗口和内存窗口都将有助于隔离出所载入的不恰当的量值，但是，由于这些是静态化的工具，不能给出有意义的运行中的调试信息，其适用性也常常很有限。实时嵌入式系统软件最常见的调试问题可以大致划分为如下几类：1. 同步问题2. 内存和寄存器讹误 (corruption)3. 与中断相关的问题4. 硬件配置问题5. 异常情况同步问题在任何系统中，只要有多串序线程或者进程都在运行，而且是异步共享数据，则系统必然存在同步问题。对于共享数据的全部操作必

5、须是原子化的，也就是说，只有在一个线程或者进程完成对数据的操作后，其它的线程才能对数据进行操作。以图 1 为例，线程 A 和线程 B 对共享变量“ counter ”进行操作， A 让 counter 增加，而 B 则让 counter 减少。下方示出了线程 A 的 counter+ 和线程 B counter 的汇编代码。假设线程 B 的优先级要高于线程 A，而线程 A 目前正在运行，则线程 B 将被阻止。举例来说，假设初始的计数值是2，而线程 A 是执行线程。则线程A 读入计数值，并送入一个寄存器，在使其增加一个增量后，再将其写回计数器变量上。在可抢先的多线程系统中，高优先级的线程的执行可

6、以抢先于低优先级的线程。例如，假定线程 A 执行 Reg1 = Reg1+1 指令后，一个事件唤醒线程 B。此时， Reg1储存量值 3。现在线程 B 被唤醒 ( 正如蓝线所标示的那样 ) ，并读入计数器的量值 2( 它尚未被线程 A 刷新 ) 并将其量值减小到 1。正如棕色的线所显示的那样，经过一段时间，线程 A 恢复运行，将 Reg1写入计数器中，而该计数器的储存量值为 3。 在这个过程中，线程 B 的减量操作结果被丢弃。计数器存储的量值变为 2，即线程 A 进行一次增量后，线程 B 又进行了一次减量操作。被窜改的链接表则是另一个例子。如果数据被一个线程和中断例程共享，则也会出现上面的问题

7、，因为中断的执行与线程的执行之间是异步关系。同步化方面的问题常常是很难进行调试的，因为它们取决于时序，是随着软件对数据的操作而随机出现的。幸运的是，这些问题可以通过恰当地保护任何共享数据来避免。大多数的实时操作系统可以提供同步化原语。开发商 可以使用最适当的机制来保护共享数据，而不至于影响系统的性能。如果数据在多个线程之间共享，则开发商将有如下的选择：a.关闭调度器以便当前的线程永远不会被其它线程抢先。( 无调度区 )b.使用信号两 (Semaphore)或者互斥信号量 (Mutex) 来保护共享数据。c. 利用关键区域来进行保护，即屏蔽所有的中断。开发商必须从性能出发来选择恰当的技术选项。关

8、闭调度器，将防止任何一种环境的切换，从而使得现在的线程能继续执行，直到调度器重新打开为止。这种方法有一个负面的影响：它将阻止任何准备好运行的高优先级的线程。这一现象被称为优先级倒置。将中断关闭是最安全的方法，对于执行时间短的情形来说是理想选择。于是，最差情况的中断延迟就是所有未发生中断的持续时间的总和。在硬实时系统中，一般来说，一个中断功能可以被关闭的时间存在上限。调试的一个小窍门就是，如果共享的数据被破坏，则编程者就应当首先检查出任何一种多个线程或者中断对共享数据同时进行的操作。如果线程和中断共享了数据，那么在线程代码中必须将中断关闭。如果数据在多个中断例程之间共享的话，则中断也应当被关闭，

9、因为高优先级的中断可以抢先于低优先级的中断。在多线程的系统中，高优先级的线程可以抢在低优先级的线程之前执行。因此，如果数据在多个线程间共享的话，则必须采用某种恰当的机制来保护被共享的数据。另外一个同步化问题则与线程优先级的不恰当的分配有关。应当确保系统的初始化线程在引导时间内就启动，并在生成其它的优先级更高的线程之前，完成整个系统的初始化。例如，如果一个用于配置一个器件的低优先级现场被一个使用该设备的高优先级的线程抢先后，配置可能会完成，并可能会造成设备的故障。为了避免这种情形，开发商应当使用操作系统所支持的信号量或者其它同步化的原语。内存和寄存器的数据讹误大多数的嵌入式系统都采用了平面化的内

10、存模式，也并没有内存管理单元( MMU) ，于是没有硬件支持的内存保护机制。即使采用能提供这种功能的处理器，也需要由开发商来实现对某些内存区域的保护。进程和线程将对其它进程和线程的内存空间有完全的访问权限。这可能会造成下面所描述的、各种类型的内存讹误问题。堆栈溢出运行时堆栈是在函数调用进程中所使用的一种暂存空间，用于存储局部变量。硬件寄存器指针 ( SP) 将跟踪堆栈指针的地址。如果你在高级的语言中编程，如C语音，则编译器所生成的代码将使用与 C语言运行时间模型相一致的堆栈。运行时间模式定义了变量是如何存储在堆栈中的以及编译器将如何使用堆栈。局部的变量被放置在当前的堆栈中。下面给出的例子描述了

11、在堆栈上采用的某些关键性的内存。当堆栈指针超出了其所指定的边界时，就会出现堆栈溢出。这将造成内存的讹误，并最终造成系统的失效。在上述的实例中，如果总的堆栈内存区不足以容纳所有的局部变量，堆栈溢出就会发生。调试的一个技巧就是，如果你担心溢出，一个好的做法，就是将堆栈安排在内存边界上，这样，如果在调试过程中出现了溢出，则 仿真器将触发一个硬件异常提示。开发商可以采用的一个技巧是，如果你担心堆栈的溢出，你就应当考虑把它放在有效的内存的边界上。这样，当堆栈溢出时，设备将报告硬件异常，而不是造成其它内存空间的讹误。在独立运行的应用中，运行时间堆栈可能就已经够用。然而，在使用任何一种实时操作系统时，每个线

12、程和过程都将有自己的堆栈。考虑到性能方面的原因，大多数嵌入式实时操作系统的堆栈尺寸都是事先确定的，无法在运行中动态扩展。这意味着，如果针对特定的线程 / 进程所选用的堆栈尺寸不恰当的话，堆栈溢出就会发生。如果应用大量使用局部变量 ( 如阵列和大的结构 ) ，则将不得不按比例为其分配堆栈的空间。人们可以利用 malloc() 来分配内存，或者将其设置为静态的全局变量，具体是何种方法，则取决于实际应用。有些实时操作系统可能会提供调试功能，例如保护位，以形成对堆栈溢出的防护。这些操作系统要么记录关于堆栈溢出的错误信息，要么提交一个异常报告，以便动态地增加堆栈。最起码当前的大多数实时操作系统都能报告堆

13、栈以及已经被线程和进程所采用的堆栈的情况。在任何中断驱动的系统中，堆栈的分配方式都必须考虑到中断服务例程所采用的空间。如果中断例程的设计目标是使用当前的执行对象栈，则在这种情况下，每一个线程或进程所拥有的最小的堆栈尺寸都应大于或者等于执行对象所要求的堆栈尺寸加上所有中断例程累积起来所需要的最大的堆栈尺寸。嵌入式系统开发商必须掌握各种应用链接库。例如，第三方的库可能会认定堆栈上为其提供了空间。中断服务例程代码编写时所出的问题：在嵌入式系统中，一般情况下，出于性能方面的考虑，中断服务例程是以汇编形式编写的。中断本质上是异步的，在应用执行中的任何时刻都有可能出现。汇编层次上的中断例程最常见的问题，是

14、寄存器的讹误。在中断服务例程中所采用的寄存器所存储的数据，在寄存器被使用之前都必须被保存，而在从中断服务例程返回之前，这些数据将被恢复。开发商必须了解状态寄存器的情况，而任何一种 ALU的操作都会改变其状态。在这种情形中， ISR 应该保存其状态并进行恢复，仿佛它是一个已被使用的寄存器一般。如果中断例程是用 C 语言编写 的，它们的开发也是为了使用当前的堆栈，则开发商就应该针对堆栈溢出情况进行防护，即每个线程都应该拥有足够多的堆栈，来满足中断或者嵌套的中断堆栈的要求。最好的做法，就是让中断例程的规模尽可能小，推迟处理过程，交给一个线程或者优先级较低的中断。在开发过程中，开发商可以在中断的开始和

15、结束部分添加诊断功能，对基础的架构中的寄存器的状态进行比较。中断嵌套可以让一个高优先级的中断抢先于低优先级的中断例程执行。开发商应该考虑到堆栈要求的峰值，并为其分配充足的空间 ( 考虑最差的情况，即你的系统中的每一个中断都被一个优先级更高的中断所抢先 ) 。而操作内存映射寄存器 ( MMR) 时，人们常常采用在线汇编以改善性能。例如，你在屏蔽中断时，可能希望直接设定中断屏蔽寄存器 (IMASK)而不是执行 RTOS所提供的应用软件编程接口 (API) 。例如原子增加或减少操作常常是用汇编语言编写的。在 C 函数中，这些宏汇编可能会被调用，在这种情况下，编译器可能不了解在宏汇编中所使用的寄存器。

16、因此这会导致寄存器的讹误。有些编译器具有汇编的扩展版，可以将关于这些函数的更多的信息传递给编译器，例如已被使用的寄存器、代码在内存中的位置等等。这将使得编译器可以生成恰当的代码。有时，某些函数是以汇编语言编写的，将被 C 函数所调用。如果汇编代码并未按照 C 函数运行时间调用规范来编写，即按照编译器所要求的那样进行，则会导致参数传递 (argument passing) 无效和讹误。例如， C函数运行时间模型可以规定前两个参量必须通过寄存器 R0 和 R1来传递，则汇编的实现方式就必须按照这种语法来编写。在另一种情况下，运行时间模型可能需要存储堆栈上的函数的返回地址。如果汇编的实现方法并不符合

17、运行时间模型，则它可能会搅乱某些 寄存器，并带来系统的故障。如果开发商使用混合模式的语言来避免这种类型的问题的话，开发商就必须清楚运行时间模型。编译器：编译器的优化，即使实现了逻辑上的正确性，有时也仍然会造成故障。采用低水平的设备驱动器时，这一问题特别关键。重排指令是实现更高性能的常用方法，因为处理器常常支持单个周期内执行多条指令。因此，编译器将试图调度指令，使得所有的指令时间片都得到充分的利用，即使这意味着在寄存器使用前很久就载入数据，或者在数值被计算完毕后很久，也让内存保持载入的数据。请看附图，其中描述了这种内存的移动是如何发生的。例如，假设一个设备必须在向其发任何指令前就完成初始化。编译

18、器可能会移动指令位置，以便改善性能。这可能会造成设备的故障。如果你的设备驱动器调试后的版本是可行的，而采用经过优化的版本时会出现故障，那么你会想查看设备的初始化中是否有被移动的指令。你可能不得不采用恰当的编译器指南以便指导编译器不去对每条基本函数执行这样的优化，而不至于损失性能。有时，将代码从一个架构移植到另一种架构上，也会带来某种数据类型上的问题。例如，一种架构内的整数可能是 32 bit 的，而其它的架构中可能是 48bit 或者 64 bit 的。这可能会导致数据的失效或者被截断。异常所带来的问题如果异常是与程序的执行相同步的，则这往往是一种不当的操作的结果，例如零作为除数所造成的异常。

19、某些异常则是架构所特有的。处理异常的最佳方法是采用缺省的异常处理器，并在出现异常时检查异常出现的环境。异常所处的环境背景是寄存器量值的集合，包括状态寄存器。大多数架构将拥有一个指令地址寄存器，用来保存造成问题的指令地址。在多数情况下，要知道一个异常是如何发生的并不难，但是，是何种指令路径可以隔离出这一失效，则是调试时棘手的地方。有些架构支持跟踪，即让你可以看到程序顺序执行的指令的历史。这将给出造成异常的指令顺序的某些细节信息。内存和寄存器讹误则是造成异常及程序逻辑错误的主要原因。通过细致检查造成异常的内存指向或者寄存器，将可以缩小问题的范围。不能执行错误检验的代码会造成内存的讹误由于性能方面的

20、原因，开发商可能会放弃对错误的检查。跳过错误检查将让内存泄漏等事件无法为人所知，而最终导致内存讹误。例如，如果malloc()出现故障，而由于返回的值并未得到检验，则开发商将开始覆盖在内存的地址 0x0 地址所写入的量值，在很多嵌入式系统中，这则是一个有效的内存区域。一个技巧是，让某些地址 0x0 处的内存控制，以便排查出任何一种潜在的讹误。某些处理器架构就容许应用监测数据总线的活动，从而能抓住相应事件。探寻架构特有的功能 :大多数嵌入式处理器都支持某种层次上的调试功能。内置的跟踪单元就是一种得到硬件支持的跟踪机制。例如， ADI 公司的 Blackfin 处理器系列就具有硬件跟踪单元，它可以跟踪至少 16 路的时序控制器的访问。当硬件跟踪缓冲器充满后，就会产生跟踪异常。使用这种跟踪单元后，人们可以构建出完整的执行路径。所提供的跟踪输出来自于一种可以免费提供的工具(ht