Optimal tracing and replay for debugging message-passing parallel programs

A common debugging strategy involves reexecuting a program (on a given input) over and over, each time gaining more information about bugs. Such techniques can fail on message-passing parallel programs. Because of nondeterminacy, different runs on the given input may produce different results. This nonrepeatability is a serious debugging problem, since an execution cannot always be reproduced to track down bugs. This paper presents a technique for tracing and replaying message-passing programs. By tracing the order in which messages are delivered, a reexecution can be forced to deliver messages in their original order, reproducing the original execution. To reduce the overhead of such a scheme, we show that the delivery'order of only messages involved inraces need be traced (and not every message). Our technique makes run-time decisions to detect and trace racing messages and is usuallyoptimal in the sense that the minimal number of racing messages is traced. Experiments indicate that only 1% of the messages are often traced, gaining a reduction of two orders of magnitude over traditional techniques that trace every message. These traces allow an execution to be reproduced any number of times for debugging. Our work is novel in that we adaptively decide what to trace, and trace only those messages that introduce nondeterminacy. With our strategy, large reductions in trace size allow long-running programs to be replayed that were previously unmanageable. In addition, the reduced tracing requirements alleviate tracing bottle-necks, allowing executions to be debugged with substantially lower execution time overhead.This work was supported in part by National Science Foundation grants CCR-8815928 and CCR-9100968, Office of Naval Research grant N00014-89-J-1222, and a grant from Sequent Computer Systems, Inc.     

电力滤波装置调谐,调试与测试方法的优化

本文通过对滤波器调谐、调试和测试实践中发现的问题，作了剖析．主要针对方法上的原因．作了具体的阐述，并通过对方法的优化，节省现场工作时间２０％，滤波装置的调试精确度也提高达１５％左右，取得的效果比效明显。     

嵌入式调试中的数据获取和错误定位

嵌入式软件系统因其软件相关性和硬件相关性而比常规软件的调试复杂很多,特别是在数据获取和故障定位方面最为突出。从嵌入式软件开发与常规软件开发的异同着手,以该行业实践积累为基础,列出并讨论了一些行之有效的数据获取及错误定位方法,希望能为该领域开发人员提供一点帮助。     

基于“二叉决策树”模型的嵌入式软件调试

在嵌入式软件开发过程中,软件不可避免地会出现各种错误,因此调试是软件生命周期中一个非常重要的环节。针对嵌入式软件开发的流程和特点,对其调试部分进行较为深入具体的研究和探索,提出基于调试器的"二叉决策树"调试模型。该模型描述了嵌入式软件调试的一般过程、调试对象和常用方法。实践表明"二叉决策树"调试模型具有较好的实用性和扩展性。     

湿式空气氧化法处理乙烯废碱液装置的技术改造

针对中国石化齐鲁石化公司烯烃厂乙烯装置废碱液处理系统在试运转过程中存在的问题,通过分析原因,提出并实施改进工艺的相关措施,得到一组适宜的工艺操作参数,保证了废碱液湿式空气氧化装置的稳定运行。     

浅谈Debug调试汇编语言程序的方法

本文浅谈了Debug在汇编语言程序上机调试中的基本步骤和方法,帮助学生如何利用Debug工具更好地学习汇编语言,对于汇编语言教学具有一定的参考价值。     

JX-300XP DCS在乙酸乙酯控制系统的实现

针对生产过程的控制需要,采用JX-300XP型DCS作为乙酸乙酯操作控制的系统核心,实现了乙酸乙酯的过程控制,运行效果良好.     

嵌入式系统源码调试器GDB的远程通信

嵌入式软件调试环境GDB为嵌入式软件的开发提供了一个友好的软件调试平台。本文介绍了GDB的基本结构、其作为调试器远程调试的基本功能，重点介绍了远程调试的通信协议。     

山东临沂2×135MW机组热控系统的探讨

临沂电厂九期工程 2× 1 35MW机组热控系统主要涉及以下七个分系统 :数据采集系统 (DAS)、汽机电液控制系统 (DEH)、顺序控制系统 (SCS)、汽轮机监视系统 (TSI)、炉膛安全监控系统 (FSSS)、模拟量控制系统 (MCS)、汽轮机危急遮断系统 (ETS)。文章对这些分系统的功能及投运作了简单介绍 ,指出了调试过程中出现的技术问题及解决措施 ,为今后同类机组调试提供了参数。     

增强DEBUG.COM的动态跟踪功能

本文提出一个对ＤＥＢＵＧ的动态跟踪调试Ｇ命令和Ｔ命令进行修改的方法，用ＩＮＴＦ３Ｈ代替ＩＮＴ３Ｈ，将Ｔ和Ｇ命令的共同处理部分分开，并给出了实现方法、具体门牌详细的修改程序清单。