适用于商用系统环境的低开销确定性重放技术

发布时间：2018-11-08 20:01

【摘要】：针对现有确定性重放技术中存在运行时开销大和安全隐患等问题,提出了一种低开销的确定性重放技术。该技术在已有的硬件平台和系统环境下,利用页保护捕获并记录并行程序对共享内存的访问顺序。深入研究了该技术引入的性能开销,针对性地提出了私有锁、私有堆、主动抢占等优化策略。采用PARSEC测试集进行性能评估,实验结果显示该系统引入的开销较小。
[Abstract]:A low overhead deterministic replay technique is proposed to solve the problems of high runtime overhead and hidden security problems in the existing deterministic playback techniques. Under the existing hardware platform and system environment, this technique uses page protection to capture and record the access order of parallel programs to shared memory. In this paper, the performance overhead introduced by this technique is studied, and the optimization strategies such as private lock, private heap and active preemption are proposed. The PARSEC test set is used to evaluate the performance of the system. The experimental results show that the cost of the system is small.
【作者单位】： 中国科学院声学研究所;中国科学院大学;中国科学院计算技术研究所;首都师范大学信息工程学院;
【基金】：“863”国家高技术研究发展计划项目(2012AA010901)
【分类号】：TP311.1;TP309

【相似文献】

相关期刊论文 前10条

1 殷杰;边旭兴;;并行程序表征的语义发展趋势探析[J];科学技术哲学研究;2012年04期

2 周玉清;;关于并行程序验证方法的讨论[J];计算机研究与发展;1982年09期

3 刘杰,迟利华,胡庆丰;并行程序的优化与性能评价[J];计算机工程与科学;2000年05期

4 董超群;陆林生;;域:支持并行程序概念设计的一种抽象手段[J];计算机科学;2001年10期

5 刘建,沈美明,郑纬民;调试器对并行程序干扰特性的研究[J];计算机学报;2002年02期

6 万剑怡,孙永强,薛锦云;一种将设计模式用于程序精化演算的并行程序设计方法研究[J];计算机研究与发展;2003年02期

7 陆林生,董超群,王玲秋,史涛;并行程序概念设计方法的研究[J];计算机学报;2003年09期

8 张学波,李晓梅;分布式存储环境下并行程序的优化[J];装备指挥技术学院学报;2004年02期

9 陈素芬,万剑怡,曾雪强,薛锦云;一种典型并行程序风范——“管理者-工人”的设计模式开发与实现[J];计算机与现代化;2005年08期

10 蒋光庆;文锋;;并行程序实用优化方法讨论[J];信息工程大学学报;2006年04期

相关会议论文 前6条

1 王巍;方滨兴;张宏莉;;网格环境下的限定性并行程序可达性测试算法[A];全国网络与信息安全技术研讨会'2005论文集（上册）[C];2005年

2 王恩柱;刘晓平;;一个可视化并行程序开发平台的实现[A];计算机技术与应用进展——全国第17届计算机科学与技术应用（CACIS）学术会议论文集（上册）[C];2006年

3 郑启龙;王昊;吴晓伟;房明;;HPMR:多核集群上的高性能计算支撑平台[A];2008年全国开放式分布与并行计算机学术会议论文集(上册)[C];2008年

4 李正夫;郭权;王希诚;;新药研发网格下的一种药物分子对接并行程序[A];计算机技术与应用进展·2007——全国第18届计算机技术与应用（CACIS）学术会议论文集[C];2007年

5 赵鹏;张丹丹;汪鲁兵;田振夫;钱跃z，

本文编号：2319514