We propose an effective parallel program debugging approach based on the timing annotation technique. With prevalent multi-core platforms, parallel programming is required to fully utilize the computing power. However, the non-determinism property and the associated concurrency bugs are notorious and remain to be great challenge to designers. We hence propose an effective program debugging approach using the timing annotation technique derived from the deterministic Multi-Core Instruction Set Simulation (MCISS) technology. We hence construct a deterministic execution environment for parallel program debugging and devise a few unique, effective and easy-to-use parallel debugging functions. We modify QEMU and GDB to implement and demonstrate our proposed idea. The usage of our debugger is almost identical to the conventional GDB debugger. Therefore, users may learn how to use the tool seamlessly.


翻译:我们根据时间标记技术建议一个有效的平行程序调试方法。 在流行的多核心平台下, 需要平行程序程序来充分利用计算能力。 但是, 非确定性属性和相关的同种货币错误臭名昭著, 仍对设计师构成巨大挑战。 因此, 我们提议一个有效的程序调试方法, 使用来自确定性多功能指示设置模拟技术的计时技术。 因此, 我们为平行程序调试设计一个确定性执行环境, 并设计出几个独特、 有效且易于使用的平行调试功能。 我们修改 QEMU 和 GDB 以实施并展示我们提议的想法。 我们调试器的使用与常规 GDB 调试器几乎相同。 因此, 用户可能会学会如何无缝地使用该工具 。

0
下载
关闭预览

相关内容

专知会员服务
29+阅读 · 2021年8月2日
最新《Transformers模型》教程,64页ppt
专知会员服务
326+阅读 · 2020年11月26日
专知会员服务
41+阅读 · 2020年9月6日
【书籍】深度学习框架:PyTorch入门与实践(附代码)
专知会员服务
169+阅读 · 2019年10月28日
【哈佛大学商学院课程Fall 2019】机器学习可解释性
专知会员服务
106+阅读 · 2019年10月9日
已删除
将门创投
6+阅读 · 2018年12月3日
Arxiv
0+阅读 · 2021年10月27日
Arxiv
9+阅读 · 2021年3月3日
Arxiv
8+阅读 · 2018年1月30日
VIP会员
最新内容
面向国防作战的最佳自主与蜂群无人机技术
专知会员服务
4+阅读 · 今天8:04
《异构人类团队的协作决策过程混合建模研究》
专知会员服务
4+阅读 · 今天7:59
博士论文 | 面向大模型推理的内存高效算法
专知会员服务
4+阅读 · 7月27日
美空军新型反无人机部队初探
专知会员服务
7+阅读 · 7月27日
《防空交战流程的概率建模研究》
专知会员服务
11+阅读 · 7月27日
ICML 2026 教程 | 数值优化理论还重要吗?
专知会员服务
7+阅读 · 7月26日
ICM 2026 | 陶哲轩:人工智能时代的数学
专知会员服务
10+阅读 · 7月26日
相关资讯
已删除
将门创投
6+阅读 · 2018年12月3日
Top
微信扫码咨询专知VIP会员