文献类型：期刊文章

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

机构地区：[1]清华大学计算机科学与技术系高性能计算技术研究所,北京100084

出　　处：《计算机研究与发展》

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

年　　份：2002

卷　　号：39

期　　号：12

起止页码：1580-1586

语　　种：中文

收录情况：AJ、BDHX、BDHX2000、CSA-PROQEUST、CSCD、CSCD2011_2012、EI、IC、JST、RCCSE、SCOPUS、ZGKJHX、核心刊

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

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

分 类 号：TP311.1]