【摘要】：事務(wù)內(nèi)存是一種擴(kuò)展性好、易于編程的并行編程模型,其核心技術(shù)在于事務(wù)沖突的檢測和處理.已有研究工作主要關(guān)注于沖突檢測機(jī)制,但缺少對(duì)如何減少事務(wù)沖突的深入研究.分析表明,沖突概率的增長會(huì)嚴(yán)重降低事務(wù)內(nèi)存系統(tǒng)的性能,并且隨著處理器核數(shù)目的增長,這一問題會(huì)變得更加嚴(yán)重.研究發(fā)現(xiàn),事務(wù)系統(tǒng)中弱隔離性模型的使用可以系統(tǒng)性地減少事務(wù)執(zhí)行中的沖突,從而提升程序執(zhí)行效率.基于該研究,提出了弱隔離性沖突檢測方法(weak isolation conflict detection,WICD),并在SESC事件驅(qū)動(dòng)模擬器上對(duì)WICD進(jìn)行實(shí)現(xiàn)和評(píng)估,結(jié)果表明,與傳統(tǒng)的嚴(yán)格隔離性模型相比,弱隔離性模型下最高可以減少35.7%的事務(wù)沖突,提升系統(tǒng)性能最大為31.0%.基于WICD的方法,通過對(duì)部分沖突進(jìn)行立即檢測,進(jìn)而提出了一種改進(jìn)的弱隔離性沖突檢測方法(enhanced WICD,EWICD).實(shí)驗(yàn)表明,EWICD對(duì)于事務(wù)沖突的減少比率和WICD近似,最高達(dá)到33.8%,對(duì)系統(tǒng)性能的提升優(yōu)于WICD,最大達(dá)到36.8%.
[Abstract]:Transaction memory is a kind of parallel programming model with good expansibility and easy programming. The core technology of transaction memory is the detection and processing of transaction conflicts. The existing researches mainly focus on conflict detection mechanism, but lack of in-depth research on how to reduce transaction conflicts. The analysis shows that the increase of collision probability will seriously reduce the performance of the transaction memory system, and the problem will become more serious as the number of processor cores increases. It is found that the use of weak isolation model in transaction systems can systematically reduce the conflicts in transaction execution and improve the efficiency of program execution. Based on this research, a weak isolation conflict detection method (weak isolation conflict detection,WICD) is proposed, and the WICD is implemented and evaluated on the SESC event-driven simulator. The results show that compared with the traditional strict isolation model, the proposed method is more efficient than the traditional one. Under the weak isolation model, the transaction conflicts can be reduced by 35.7%, and the system performance can be improved by 31.0%. Based on the method of WICD, an improved weak isolation conflict detection method (enhanced WICD,EWICD) is proposed by detecting some conflicts immediately. The experimental results show that the ratio of EWICD to transaction conflict reduction is approximately 33.8 as compared with that of WICD, and the system performance is improved better than that of WICD, and the maximum is 36.8.
【作者單位】： 體系結(jié)構(gòu)國家重點(diǎn)實(shí)驗(yàn)室(中國科學(xué)院計(jì)算技術(shù)研究所);中國科學(xué)院大學(xué);龍芯中科技術(shù)有限公司;
【基金】：國家科技重大專項(xiàng)基金項(xiàng)目(2009ZX01028-002-003,2009ZX01029-001-003,2010ZX01036-001-002,2012ZX01029-001-002-002) 國家自然科學(xué)基金項(xiàng)目(61221062,61100163,61133004,61173001,61232009,61222204) 國家“八六三”高技術(shù)研究發(fā)展計(jì)劃基金項(xiàng)目(2012AA010901,2012AA011002,2012AA012202,2013AA014301)
【分類號(hào)】：TP333

【參考文獻(xiàn)】

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

1 MA Chao;YAN Dong;WANG YuPing;HU ShiMin;;Advanced graph model for tainted variable tracking[J];Science China(Information Sciences);2013年11期

【相似文獻(xiàn)】

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

1 賀鶴云;;關(guān)于再生環(huán)相位隔離性問題的新探討[J];無線電通信技術(shù);1978年04期

2 周斌;;虛擬化環(huán)境中內(nèi)存隔離性測試與分析[J];計(jì)算機(jī)工程;2010年23期

3 姜進(jìn)磊,史美林;CovaTM及其實(shí)現(xiàn)[J];計(jì)算機(jī)學(xué)報(bào);2003年04期

4 尹征琦;具有隔離性能的RS-485中繼器及其設(shè)計(jì)[J];自動(dòng)化儀表;2003年11期

5 尹征琦;;具有隔離性能的RS485中繼器及其設(shè)計(jì)[J];電氣自動(dòng)化;2001年05期

6 ;[J];;年期

7 ;[J];;年期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

相關(guān)碩士學(xué)位論文 前1條

1 閆鑫;基于ARINC653標(biāo)準(zhǔn)的分區(qū)操作系統(tǒng)隔離性的驗(yàn)證研究[D];太原理工大學(xué);2014年

，

本文編號(hào)：2415725