检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]中国科技大学计算机系,安徽合肥230027 [2]中国科学院计算技术研究所,北京100080
出 处:《小型微型计算机系统》2003年第3期340-343,共4页Journal of Chinese Computer Systems
基 金:国家自然科学基金 (编号 60 0 73 0 18;698962 5 0 )资助;中国科学院全国首届优秀博士学位论文作者专项基金资助;中科院计算所领域前沿青年基金(编号 2 0 0 162 80 -6);高等学校学科点专顶科研基金(编号:980 3 5 82 8)资助
摘 要:软件 DSM系统的并行调试环境已经成为制约其广泛应用的一个重要因素 .重放方法使得用户能用循环调试技术来调试具有执行不确定性的软件 DSM程序 .本文定义了软件 DSM程序执行的 happen- before- 1关系 ,并依据其提出一种在软件 DSM系统 JIAJIA上实现重放的方法 .实际应用测试表明 。The Parallel Debugging Environment is an important aspect which restricts the extensive application of Software DSM System. By replay technique, the programmers can use cycle debugging technique to debugging their indeterminate JIAJIA programs. The Happen Before 1 relation has been defined to describe the software DSM program's execution, and according to it,an implementation of replay technique has been suggested. The experimental results show that the implementation produces little space and time overhead.
关 键 词:软件DSM系统 软件工程 软件测试 分布式共享存储系统 重放方法 数据竞争 日志文件
分 类 号:TP311.5[自动化与计算机技术—计算机软件与理论]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.171