并行调试环境中的追踪和重演

通过传递消息进行通信的并行程序，由于受进程调度和消息等待时间变化的影响，其执行结果可能是不确定的。这导致调试时相继执行不能再现先前的故障，为此，在并行调试环境中引入了追踪和重演机制。本文详细讨论了一种比较先进的追踪和重演算法及其工程实现。     

知识库调试工具的技术原理与设计思想

知识库调试工具旨在解决因知识不完全和噪音等因素而引起的知识库正确性与有效性问题。本文通过知识库建造工具GKD-KBST 中知识库调试工具KBDT 实现方案的讨论,论述知识库调试工具的技术原理与设计思想。     

并行程序调试中的环境再现技术

为解决调试并行程序碰到的第一个困难:并行程序的不确定性,文中提出了环境再现技术。文中叙述了环境再现技术的思想和实现这一技术需要的数据结构,并用CCNPASCAL语言进行了描述,最后给出了一个典型的应用例子。     

内核态与用户态混合调试代理技术研究

针对嵌入式Linux调试代理模型—Gdbserver和Kgdb,从调试代理在系统中所处的层次,进入被调试程序运行空间的方式,捕获被调试程序异常后处理的方式等几个方面进行了分析,总结出内核态与用户态调试的不同之处,建立了内核态与用户态混合调试模型,弥补了现有调试代理模型的不足。对实现内核态与用户态混合调试模型的重要组成部分进行了分析,给出了部分处理流程。