【摘要】：多核并行程序的調(diào)試是一個公認的困難問題,困難主要來自于程序執(zhí)行的不確定性.可重現(xiàn)調(diào)試(replay debug)提供了消除程序中不確定性的能力,但是現(xiàn)有的可重現(xiàn)調(diào)試解決方案都無法應(yīng)用于商用的軟硬件平臺中,且進行調(diào)試所帶來的性能損失會隨著并發(fā)度的增加而超線性地增長.提出了一種基于運行快照的新型并行程序調(diào)試方法SDT(snapshot debug tool).該方法以離線的斷點設(shè)置、運行快照捕捉和運行快照細化為基礎(chǔ),提出了一套可以指導(dǎo)用戶由粗到細發(fā)現(xiàn)錯誤的調(diào)試過程,并在通用的軟硬件平臺上進行了實現(xiàn).實驗結(jié)果顯示,在8線程的并發(fā)條件下,使用SDT調(diào)試所帶來的時間性能損耗平均為51.88%;同時當線程數(shù)增長4倍時,使用SDT所帶來的額外時間消耗最多增長1倍,具有很好的可擴展性.記錄快照的數(shù)據(jù)量是影響SDT性能的重要挑戰(zhàn),實驗證明通過使用增量式的快照記錄方式可以有效地降低需要記錄的數(shù)據(jù)量,減少記錄快照花費的時間,提高SDT的整體性能.
[Abstract]:The debugging of multi-core parallel programs is a recognized difficulty, which comes mainly from the uncertainty of program execution. Reproducible debugging (replay debug) provides the ability to eliminate uncertainty in programs, but none of the existing reproducible debugging solutions can be applied to commercial software and hardware platforms. And the performance loss caused by debugging will increase superlinearly with the increase of concurrency. This paper presents a novel parallel program debugging method SDT (snapshot debug tool). Based on running snapshot. The method is based on off-line breakpoint setting, running snapshot capture and running snapshot refinement. A set of debugging processes that can guide users to detect errors from coarse to fine are proposed and implemented on a general software and hardware platform. The experimental results show that under the concurrent condition of 8 threads, the time performance loss caused by debugging with SDT is 51.88 on average, and when the number of threads increases four times, the extra time consumption caused by using SDT increases at most 1 times. It has good expansibility. Recording the amount of snapshot data is an important challenge to the performance of SDT. Experiments show that the incremental snapshot recording method can effectively reduce the amount of data needed to record, reduce the time spent recording snapshot, and improve the overall performance of SDT.
【作者單位】： 北京航空航天大學(xué)中德軟件技術(shù)聯(lián)合研究所;
【分類號】：TP311;;TP302;;TP306

【相似文獻】

相關(guān)會議論文 前6條

1 王巍;方濱興;張宏莉;;網(wǎng)格環(huán)境下的限定性并行程序可達性測試算法[A];全國網(wǎng)絡(luò)與信息安全技術(shù)研討會'2005論文集（上冊）[C];2005年

2 王恩柱;劉曉平;;一個可視化并行程序開發(fā)平臺的實現(xiàn)[A];計算機技術(shù)與應(yīng)用進展——全國第17屆計算機科學(xué)與技術(shù)應(yīng)用（CACIS）學(xué)術(shù)會議論文集（上冊）[C];2006年

3 鄭啟龍;王昊;吳曉偉;房明;;HPMR:多核集群上的高性能計算支撐平臺[A];2008年全國開放式分布與并行計算機學(xué)術(shù)會議論文集(上冊)[C];2008年

4 李正夫;郭權(quán);王希誠;;新藥研發(fā)網(wǎng)格下的一種藥物分子對接并行程序[A];計算機技術(shù)與應(yīng)用進展·2007——全國第18屆計算機技術(shù)與應(yīng)用（CACIS）學(xué)術(shù)會議論文集[C];2007年

5 趙鵬;張丹丹;汪魯兵;田振夫;錢躍z，

本文編號：2202468