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 调试器几乎相同。 因此, 用户可能会学会如何无缝地使用该工具 。