【摘要】：針對(duì)現(xiàn)有確定性重放技術(shù)中存在運(yùn)行時(shí)開銷大和安全隱患等問題,提出了一種低開銷的確定性重放技術(shù)。該技術(shù)在已有的硬件平臺(tái)和系統(tǒng)環(huán)境下,利用頁(yè)保護(hù)捕獲并記錄并行程序?qū)蚕韮?nèi)存的訪問順序。深入研究了該技術(shù)引入的性能開銷,針對(duì)性地提出了私有鎖、私有堆、主動(dòng)搶占等優(yōu)化策略。采用PARSEC測(cè)試集進(jìn)行性能評(píng)估,實(shí)驗(yàn)結(jié)果顯示該系統(tǒng)引入的開銷較小。
[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.
【作者單位】： 中國(guó)科學(xué)院聲學(xué)研究所;中國(guó)科學(xué)院大學(xué);中國(guó)科學(xué)院計(jì)算技術(shù)研究所;首都師范大學(xué)信息工程學(xué)院;
【基金】：“863”國(guó)家高技術(shù)研究發(fā)展計(jì)劃項(xiàng)目(2012AA010901)
【分類號(hào)】：TP311.1;TP309

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 殷杰;邊旭興;;并行程序表征的語(yǔ)義發(fā)展趨勢(shì)探析[J];科學(xué)技術(shù)哲學(xué)研究;2012年04期

2 周玉清;;關(guān)于并行程序驗(yàn)證方法的討論[J];計(jì)算機(jī)研究與發(fā)展;1982年09期

3 劉杰,遲利華,胡慶豐;并行程序的優(yōu)化與性能評(píng)價(jià)[J];計(jì)算機(jī)工程與科學(xué);2000年05期

4 董超群;陸林生;;域:支持并行程序概念設(shè)計(jì)的一種抽象手段[J];計(jì)算機(jī)科學(xué);2001年10期

5 劉建,沈美明,鄭緯民;調(diào)試器對(duì)并行程序干擾特性的研究[J];計(jì)算機(jī)學(xué)報(bào);2002年02期

6 萬(wàn)劍怡,孫永強(qiáng),薛錦云;一種將設(shè)計(jì)模式用于程序精化演算的并行程序設(shè)計(jì)方法研究[J];計(jì)算機(jī)研究與發(fā)展;2003年02期

7 陸林生,董超群,王玲秋,史濤;并行程序概念設(shè)計(jì)方法的研究[J];計(jì)算機(jī)學(xué)報(bào);2003年09期

8 張學(xué)波,李曉梅;分布式存儲(chǔ)環(huán)境下并行程序的優(yōu)化[J];裝備指揮技術(shù)學(xué)院學(xué)報(bào);2004年02期

9 陳素芬,萬(wàn)劍怡,曾雪強(qiáng),薛錦云;一種典型并行程序風(fēng)范——“管理者-工人”的設(shè)計(jì)模式開發(fā)與實(shí)現(xiàn)[J];計(jì)算機(jī)與現(xiàn)代化;2005年08期

10 蔣光慶;文鋒;;并行程序?qū)嵱脙?yōu)化方法討論[J];信息工程大學(xué)學(xué)報(bào);2006年04期

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

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

2 王恩柱;劉曉平;;一個(gè)可視化并行程序開發(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ó)開放式分布與并行計(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 趙鵬;張丹丹;汪魯兵;田振夫;錢躍z，

本文編號(hào)：2319514