检索结果-维普期刊中文期刊服务平台

Linux机群系统并行程序调试器的设计与实现被引量：10: 1; 作者刘建余宏亮 +1 位作者沈美明郑纬民《计算机工程》 CAS CSCD 北大核心 2002年第4期7-9,82,共4页; 介绍了在基于Linux的机群系统中,并行程序调试工具XBUSTER的设计与实现,包括调试器的基本结构及在实现时所涉及的一些关键技术。XBUSTER具有一般调试器的基本调试功能,可以调试用C/Fortran语言编写的PVM或MPI,对并行程序的各个进程能够... 展开更多; 关键词机群系统 PVM MPI LINUX 并行程序调试器软件开发; 在线阅读下载PDF 职称材料

一种基于检查点的并行程序调试器的设计与实现被引量：6: 2; 作者刘建汪东升 +1 位作者沈美明郑纬民《计算机研究与发展》 EI CSCD 北大核心 2002年第12期1580-1586,共7页; 为支持大规模长时间运行并行程序的调试 ,有必要将检查点机制引入到并行程序调试器中 .检查点设置与卷回应用中需要解决中途消息、孤儿消息和多米诺效应、活锁 4个问题 ;并行程序调试中需要解决不确定性问题 .提出的基于状态冻结的确定... 展开更多; 关键词检查点并行程序调试器设计消息传递; 在线阅读下载PDF 职称材料

有限延时消息通信模型及在并行程序调试器设计中的应用被引量：1: 3; 作者刘建沈美明郑纬民《计算机科学》 CSCD 北大核心 2002年第3期7-10,共4页; 1 概述在分布存储多计算机系统中,消息传递是进程间唯一的通信手段,消息通信模型决定了并行计算的模型.一般情况下,通过对并行程序计算模型的描述来研究消息通信的模型.分布存储多计算机系统中消息通信机制可以归为两类[1]:阻塞(Blocki... 展开更多; 关键词并行程序调试器并行程序设计有限延时消息通信模型计算机; 在线阅读下载PDF 职称材料

一种应用于远程并行程序调试系统的新型消息聚集机制被引量：2: 4; 作者赵海祥伍卫国 +1 位作者赵增李海龙《西安交通大学学报》 EI CAS CSCD 北大核心 2009年第10期27-31,共5页; 针对并行程序调试相对复杂的问题,提出了一种新的消息聚集机制,实现了适用于调试大规模并行程序的远程源码级调试原型系统.核心的消息聚集策略包括:消息收集和传送的树形控制结构;合并调试命令的返回结果消息.通过改进固定分支数的树形... 展开更多; 关键词远程计算消息聚集并行程序调试树形结构; 在线阅读下载PDF 职称材料

跨平台可移植远程并行程序调试器的设计与实现: 5; 作者李永强兰巨龙 +1 位作者刘建杨广文《小型微型计算机系统》 CSCD 北大核心 2007年第3期462-465,共4页; 介绍了一个跨平台远程并行程序调试器的设计与实现.该调试器实现了平台可移植和模块可移植,支持从Windows平台远程调试Unix/Linux平台PVM/MPI并行程序.与相关工作的比较显示,该调试器降低了开发并行程序的复杂度,提高了机群系统的使用效... 展开更多; 关键词并行程序调试跨平台远程可移植性高效能; 在线阅读下载PDF 职称材料

基于逐步细化快照序列的多核并行程序调试: 6; 作者王博弘刘轶 +1 位作者张国振钱德沛《计算机研究与发展》 EI CSCD 北大核心 2017年第4期821-831,共11页; 多核并行程序的调试是一个公认的困难问题,困难主要来自于程序执行的不确定性.可重现调试(replay debug)提供了消除程序中不确定性的能力,但是现有的可重现调试解决方案都无法应用于商用的软硬件平台中,且进行调试所带来的性能损失会随... 展开更多; 关键词可重现调试运行快照确定性多核并行程序调试多线程; 在线阅读下载PDF 职称材料

调试器对并行程序干扰特性的研究被引量：2: 7; 作者刘建沈美明郑纬民《计算机学报》 EI CSCD 北大核心 2002年第2期122-129,共8页; 机群系统中并行程序的执行具有不确定性 ,这种不确定性给并行程序的调试带来了困难 .并行程序的不确定性是由运行环境中的各种干扰因素造成的 .该文研究交互式调试行为对调试程序的干扰特性。; 关键词机群系统并行程序调试器不确定性干扰特性程序设计; 在线阅读下载PDF 职称材料

超大规模集成电路可调试性设计综述被引量：3: 8; 作者钱诚沈海华 +1 位作者陈天石陈云霁《计算机研究与发展》 EI CSCD 北大核心 2012年第1期21-34,共14页; 随着硬件复杂度的不断提高和并行软件调试的需求不断增长,可调试性设计已经成为集成电路设计中的重要内容.一方面,仅靠传统的硅前验证已经无法保证现代超大规模复杂集成电路设计验证的质量,因此作为硅后验证重要支撑技术的可调试性设计... 展开更多; 关键词调试验证硅后验证并行程序调试可调试性设计; 在线阅读下载PDF 职称材料

基于可行序的数据竞争检测: 9; 作者李磊陈云霁 +1 位作者章隆兵肖俊华《高技术通讯》 CAS CSCD 北大核心 2014年第7期669-676,共8页; 为了在并行程序的单次执行中找到更多的数据竞争,提出了用可行序关系替代传统的"happens-before"序关系来动态地实现数据竞争预测的算法。该算法认为:从技术上讲,如果在观测到的执行轨迹中,两个临界区之间没有可行序的关系,... 展开更多; 关键词数据竞争并行程序调试发生前(HB) 可行序; 在线阅读下载PDF 职称材料

题名Linux机群系统并行程序调试器的设计与实现被引量：10: 1; 作者刘建余宏亮沈美明郑纬民; 机构清华大学计算机系高性能计算所; 出处《计算机工程》 CAS CSCD 北大核心 2002年第4期7-9,82,共4页; 基金国家自然科学基金资助项目(69933020); 文摘介绍了在基于Linux的机群系统中,并行程序调试工具XBUSTER的设计与实现,包括调试器的基本结构及在实现时所涉及的一些关键技术。XBUSTER具有一般调试器的基本调试功能,可以调试用C/Fortran语言编写的PVM或MPI,对并行程序的各个进程能够单独或同时进行调试,并且能够实现进程的动态调试。该系统已在运行Linux系统的清华集群计算机系统上运行,具有较好的实用性。; 关键词机群系统 PVM MPI LINUX 并行程序调试器软件开发; Keywords Parallel debugging Cluster system PVM MPI; 分类号 TP311.52 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名一种基于检查点的并行程序调试器的设计与实现被引量：6: 2; 作者刘建汪东升沈美明郑纬民; 机构清华大学计算机科学与技术系高性能计算技术研究所; 出处《计算机研究与发展》 EI CSCD 北大核心 2002年第12期1580-1586,共7页; 基金国家自然科学基金资助 (6993 3 0 2 0 ); 文摘为支持大规模长时间运行并行程序的调试 ,有必要将检查点机制引入到并行程序调试器中 .检查点设置与卷回应用中需要解决中途消息、孤儿消息和多米诺效应、活锁 4个问题 ;并行程序调试中需要解决不确定性问题 .提出的基于状态冻结的确定性检查点设置方法 ,可以避免检查点应用中孤儿消息和多米诺效应、活锁 3个问题 ,通过消息记录的方法处理中途消息问题 ;采用记录 /重放方法解决并行调试中的不确定性问题 .基于状态冻结的确定性检查点设置方法 ,有效地解决了并行程序调试器和检查点结合时产生的诸多问题 .该方法具有结构清晰、易于实现的优点 .基于此技术 ,设计并实现了一个并行调试工具—— DENNET.; 关键词检查点并行程序调试器设计消息传递; Keywords message passing, debugging for parallel programs, state freezing, checkpointing; 分类号 TP311.1 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名有限延时消息通信模型及在并行程序调试器设计中的应用被引量：1: 3; 作者刘建沈美明郑纬民; 机构清华大学计算机系高性能研究所; 出处《计算机科学》 CSCD 北大核心 2002年第3期7-10,共4页; 基金国家自然科学基项目NO.69933020; 文摘 1 概述在分布存储多计算机系统中,消息传递是进程间唯一的通信手段,消息通信模型决定了并行计算的模型.一般情况下,通过对并行程序计算模型的描述来研究消息通信的模型.分布存储多计算机系统中消息通信机制可以归为两类[1]:阻塞(Blocking)通信和非阻塞(Non-blocking)通信.阻塞通信又称作同步通信,其特点是发送方和接收方都就绪,通信才进行,如果有一方未准备好,另一方便进行等待;非阻塞通信又叫异步通信,特点是发送方不必等待接收方就绪便可将消息发出,然后接着进行后面的操作.; 关键词并行程序调试器并行程序设计有限延时消息通信模型计算机; Keywords Distributed debugger, Cluster system, Message passing; 分类号 TP311.1 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名一种应用于远程并行程序调试系统的新型消息聚集机制被引量：2: 4; 作者赵海祥伍卫国赵增李海龙; 机构西安交通大学电子与信息工程学院; 出处《西安交通大学学报》 EI CAS CSCD 北大核心 2009年第10期27-31,共5页; 基金国家自然科学基金资助项目(60773118) 国家高技术研究发展计划资助项目(2006AA01A109); 文摘针对并行程序调试相对复杂的问题,提出了一种新的消息聚集机制,实现了适用于调试大规模并行程序的远程源码级调试原型系统.核心的消息聚集策略包括:消息收集和传送的树形控制结构;合并调试命令的返回结果消息.通过改进固定分支数的树形结构,将树分成2层,节点内部构成一棵树,节点之间构成一棵树,以此最大程度地减少节点间的消息传递量.系统底层集成了串行调试工具GNUgdb,以完成单个进程的调试.另外,设计了一种能同时满足4类gdb结果情况的消息合并方法,在最终的结果消息中保留了gdb的原始输出数据.实验结果表明,调试原型系统能满足用户的基本要求,并简化了远程计算资源的方式,屏蔽了复杂的服务器硬件结构及处理流程.; 关键词远程计算消息聚集并行程序调试树形结构; Keywords remote computing message aggregation parallel program debugging tree structure; 分类号 TP309 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名跨平台可移植远程并行程序调试器的设计与实现: 5; 作者李永强兰巨龙刘建杨广文; 机构解放军信息工程大学信息工程学院NDSC研究所北京北方计算中心清华大学计算机系高性能研究所; 出处《小型微型计算机系统》 CSCD 北大核心 2007年第3期462-465,共4页; 文摘介绍了一个跨平台远程并行程序调试器的设计与实现.该调试器实现了平台可移植和模块可移植,支持从Windows平台远程调试Unix/Linux平台PVM/MPI并行程序.与相关工作的比较显示,该调试器降低了开发并行程序的复杂度,提高了机群系统的使用效率,具有很好的实用价值.; 关键词并行程序调试跨平台远程可移植性高效能; Keywords debugging for parallel programs multi-platform remote portability high productivity; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于逐步细化快照序列的多核并行程序调试: 6; 作者王博弘刘轶张国振钱德沛; 机构北京航空航天大学中德软件技术联合研究所; 出处《计算机研究与发展》 EI CSCD 北大核心 2017年第4期821-831,共11页; 基金国家"八六三"高技术研究发展计划基金项目(2012AA01A302).; 文摘多核并行程序的调试是一个公认的困难问题,困难主要来自于程序执行的不确定性.可重现调试(replay debug)提供了消除程序中不确定性的能力,但是现有的可重现调试解决方案都无法应用于商用的软硬件平台中,且进行调试所带来的性能损失会随着并发度的增加而超线性地增长.提出了一种基于运行快照的新型并行程序调试方法SDT(snapshot debug tool).该方法以离线的断点设置、运行快照捕捉和运行快照细化为基础,提出了一套可以指导用户由粗到细发现错误的调试过程,并在通用的软硬件平台上进行了实现.实验结果显示,在8线程的并发条件下,使用SDT调试所带来的时间性能损耗平均为51.88%;同时当线程数增长4倍时,使用SDT所带来的额外时间消耗最多增长1倍,具有很好的可扩展性.记录快照的数据量是影响SDT性能的重要挑战,实验证明通过使用增量式的快照记录方式可以有效地降低需要记录的数据量,减少记录快照花费的时间,提高SDT的整体性能.; 关键词可重现调试运行快照确定性多核并行程序调试多线程; Keywords replay debug program snapshot deterministic multi-core parallel program debug multithread; 分类号 TP311 [自动化与计算机技术—计算机软件与理论] TP302 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名调试器对并行程序干扰特性的研究被引量：2: 7; 作者刘建沈美明郑纬民; 机构清华大学计算机科学与技术系高性能计算技术研究所; 出处《计算机学报》 EI CSCD 北大核心 2002年第2期122-129,共8页; 基金国家自然科学基金 (6993 3 0 2 0 )资助; 文摘机群系统中并行程序的执行具有不确定性 ,这种不确定性给并行程序的调试带来了困难 .并行程序的不确定性是由运行环境中的各种干扰因素造成的 .该文研究交互式调试行为对调试程序的干扰特性。; 关键词机群系统并行程序调试器不确定性干扰特性程序设计; Keywords Mathematical models Parallel processing systems Program debugging; 分类号 TP311.1 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名超大规模集成电路可调试性设计综述被引量：3: 8; 作者钱诚沈海华陈天石陈云霁; 机构中国科学院计算机系统结构重点实验室中国科学院计算技术研究所微处理器技术研究中心中国科学院研究生院; 出处《计算机研究与发展》 EI CSCD 北大核心 2012年第1期21-34,共14页; 基金 "核高基"国家科技重大专项基金项目(2009EX01028-002-003 2009EX01029-001-003) +6 种基金国家自然科学基金项目(60921002 61003064 61050002 61070025 61100163 61133004 61173001); 文摘随着硬件复杂度的不断提高和并行软件调试的需求不断增长,可调试性设计已经成为集成电路设计中的重要内容.一方面,仅靠传统的硅前验证已经无法保证现代超大规模复杂集成电路设计验证的质量,因此作为硅后验证重要支撑技术的可调试性设计日渐成为大规模集成电路设计领域的研究热点.另一方面,并行程序的调试非常困难,很多细微的bug无法直接用传统的单步、断点等方法进行调试,如果没有专门的硬件支持,需要耗费极大的人力和物力.全面分析了现有的可调试性设计,在此基础上归纳总结了可调试性设计技术的主要研究方向并介绍了各个方向的研究进展,深入探讨了可调试性结构设计研究中的热点问题及其产生根源,给出了可调试性结构设计领域的发展趋势.; 关键词调试验证硅后验证并行程序调试可调试性设计; Keywords debug verification post-silicon verification parallel program debugging design-for-debug; 分类号 TP302 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名基于可行序的数据竞争检测: 9; 作者李磊陈云霁章隆兵肖俊华; 机构计算机体系结构国家重点实验室中国科学院计算技术研究所中国科学院大学龙芯中科技术有限公司; 出处《高技术通讯》 CAS CSCD 北大核心 2014年第7期669-676,共8页; 基金国家"核高基"科技重大专项课题(2009ZX01028-002-003 2009ZX01029-001-003 +11 种基金 2010ZX01036-001-002 2012ZX01029-001-002-002) 国家自然科学基金(61221062 61100163 61133004 61173001 61232009 61222204) 863计划(2012AA010901 2012AA011002 2012AA012202 2013AA014301)资助项目; 文摘为了在并行程序的单次执行中找到更多的数据竞争,提出了用可行序关系替代传统的"happens-before"序关系来动态地实现数据竞争预测的算法。该算法认为:从技术上讲,如果在观测到的执行轨迹中,两个临界区之间没有可行序的关系,那么这两个临界区的顺序可以被颠倒以构造出其他的执行轨迹;通过判断可行序关系来分析这些构造出来的执行轨迹,就可以找到单次执行中未暴露出来的可能的数据竞争;所有构造出来的执行轨迹中的数据竞争,可以在O(an)的时间内全部检测出来,其中n为程序中所有访存操作的个数,a为每个共享地址上的最大锁集合数。在Java Grande测试程序集上的实验结果说明,上述算法可以找到其他动态检测数据竞争的方法找不到的数据竞争,而且算法时间也完全符合理论上的O(an)时间复杂度。; 关键词数据竞争并行程序调试发生前(HB) 可行序; Keywords data race, concurrent program debugging, happens-before （ HB）, feasible-ahead; 分类号 TP332 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	Linux机群系统并行程序调试器的设计与实现	刘建余宏亮沈美明郑纬民	《计算机工程》 CAS CSCD 北大核心	2002	10	在线阅读下载PDF 职称材料
2	一种基于检查点的并行程序调试器的设计与实现	刘建汪东升沈美明郑纬民	《计算机研究与发展》 EI CSCD 北大核心	2002	6	在线阅读下载PDF 职称材料
3	有限延时消息通信模型及在并行程序调试器设计中的应用	刘建沈美明郑纬民	《计算机科学》 CSCD 北大核心	2002	1	在线阅读下载PDF 职称材料
4	一种应用于远程并行程序调试系统的新型消息聚集机制	赵海祥伍卫国赵增李海龙	《西安交通大学学报》 EI CAS CSCD 北大核心	2009	2	在线阅读下载PDF 职称材料
5	跨平台可移植远程并行程序调试器的设计与实现	李永强兰巨龙刘建杨广文	《小型微型计算机系统》 CSCD 北大核心	2007	0	在线阅读下载PDF 职称材料
6	基于逐步细化快照序列的多核并行程序调试	王博弘刘轶张国振钱德沛	《计算机研究与发展》 EI CSCD 北大核心	2017	0	在线阅读下载PDF 职称材料
7	调试器对并行程序干扰特性的研究	刘建沈美明郑纬民	《计算机学报》 EI CSCD 北大核心	2002	2	在线阅读下载PDF 职称材料
8	超大规模集成电路可调试性设计综述	钱诚沈海华陈天石陈云霁	《计算机研究与发展》 EI CSCD 北大核心	2012	3	在线阅读下载PDF 职称材料
9	基于可行序的数据竞争检测	李磊陈云霁章隆兵肖俊华	《高技术通讯》 CAS CSCD 北大核心	2014	0	在线阅读下载PDF 职称材料