一种基于检查点的并行程序调试器的设计与实现

作     者：刘建 汪东升 沈美明 郑纬民 

作者机构：清华大学计算机科学与技术系高性能计算技术研究所北京100084 

基　　金：国家自然科学基金资助 (6993 3 0 2 0 ) 

出 版 物：《计算机研究与发展》 (Journal of Computer Research and Development)

年 卷 期：2002年第39卷第12期

页      码：1580-1586页

摘      要：为支持大规模长时间运行并行程序的调试 ,有必要将检查点机制引入到并行程序调试器中 .检查点设置与卷回应用中需要解决中途消息、孤儿消息和多米诺效应、活锁 4个问题 ;并行程序调试中需要解决不确定性问题 .提出的基于状态冻结的确定性检查点设置方法 ,可以避免检查点应用中孤儿消息和多米诺效应、活锁 3个问题 ,通过消息记录的方法处理中途消息问题 ;采用记录 /重放方法解决并行调试中的不确定性问题 .基于状态冻结的确定性检查点设置方法 ,有效地解决了并行程序调试器和检查点结合时产生的诸多问题 .该方法具有结构清晰、易于实现的优点 .基于此技术 ,设计并实现了一个并行调试工具—— DENNET.

主 题 词：检查点 并行程序调试器 设计 消息传递 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

核心收录：

馆 藏 号：203125455...