發(fā)布時(shí)間：2018-08-25 09:33

【摘要】：多核并行程序的調(diào)試是一個(gè)公認(rèn)的困難問(wèn)題,困難主要來(lái)自于程序執(zhí)行的不確定性.可重現(xiàn)調(diào)試(replay debug)提供了消除程序中不確定性的能力,但是現(xiàn)有的可重現(xiàn)調(diào)試解決方案都無(wú)法應(yīng)用于商用的軟硬件平臺(tái)中,且進(jìn)行調(diào)試所帶來(lái)的性能損失會(huì)隨著并發(fā)度的增加而超線性地增長(zhǎng).提出了一種基于運(yùn)行快照的新型并行程序調(diào)試方法SDT(snapshot debug tool).該方法以離線的斷點(diǎn)設(shè)置、運(yùn)行快照捕捉和運(yùn)行快照細(xì)化為基礎(chǔ),提出了一套可以指導(dǎo)用戶由粗到細(xì)發(fā)現(xiàn)錯(cuò)誤的調(diào)試過(guò)程,并在通用的軟硬件平臺(tái)上進(jìn)行了實(shí)現(xiàn).實(shí)驗(yàn)結(jié)果顯示,在8線程的并發(fā)條件下,使用SDT調(diào)試所帶來(lái)的時(shí)間性能損耗平均為51.88%;同時(shí)當(dāng)線程數(shù)增長(zhǎng)4倍時(shí),使用SDT所帶來(lái)的額外時(shí)間消耗最多增長(zhǎng)1倍,具有很好的可擴(kuò)展性.記錄快照的數(shù)據(jù)量是影響SDT性能的重要挑戰(zhàn),實(shí)驗(yàn)證明通過(guò)使用增量式的快照記錄方式可以有效地降低需要記錄的數(shù)據(jù)量,減少記錄快照花費(fèi)的時(shí)間,提高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)合研究所;
【分類(lèi)號(hào)】：TP311;;TP302;;TP306

【相似文獻(xiàn)】

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

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

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

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

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

5 趙鵬;張丹丹;汪魯兵;田振夫;錢(qián)躍z，

本文編號(hào)：2202468