基于Signature的STM沖突管理的研究.pdf

1、傳統(tǒng)單核處理器中程序只能串行運行，這在很大程度上限制了計算機的性能，于是人們開始將更多的目光放到多核處理器的研究上。在多核處理器中，程序可以更好地并行執(zhí)行，使并行計算的性能得到進一步的改進。然而，多核處理器提高處理性能，也給程序設(shè)計帶來了問題和挑戰(zhàn)。傳統(tǒng)的并行編程模型使用同步變量和鎖來實現(xiàn)同步，這會導(dǎo)致死鎖、優(yōu)先級倒置等各種問題。如何提高并行程序的開發(fā)效率，為程序員提供更加高效的編程語言和模型，使得多核的資源得到充分的利用成為近些年關(guān)注

2、的熱點。事務(wù)存儲系統(tǒng)就是在這種情況下應(yīng)運而生的，它是一種全新的多核編程模型，把數(shù)據(jù)庫中事務(wù)的概念引入到程序設(shè)計中，使得在程序中可以將對內(nèi)存的一系列訪問封裝成一個原子操作，為并行程序的設(shè)計提供簡潔高效的編程環(huán)境。
　　本文主要針對軟件事務(wù)存儲(STM，Software Transaction Memory)進行研究，設(shè)計并實現(xiàn)了Mix Bloom沖突檢測算法及Synthesized沖突解決策略。在Mix Bloom沖突檢測算法中，將

3、True Bloom和Hash Bloom相結(jié)合，利用二者的優(yōu)勢，取長補短，提高了事務(wù)整體的并行性，降低了中止率。在沖突解決策略Synthesized中，引入了混合優(yōu)先級、隨機退避等待、標記事務(wù)當前狀態(tài)等思想，增加了成功提交的事務(wù)數(shù)目，整體上提高了系統(tǒng)的性能。使用RSTM中的基準測試程序?qū)ix Bloom沖突檢測算法及Synthesized沖突解決策略的測試結(jié)果顯示:對于不同的測試程序，Mix Bloom中止率都比Hash Bloom

4、的中止率低;Synthesized沖突解決策略在大多數(shù)情況下都有很好的表現(xiàn)，平均每秒提交的事務(wù)個數(shù)都很高。由此可以得出結(jié)論，Mix Bloom沖突檢測算法及Synthesized沖突解決策略可以使系統(tǒng)的性能得到整體的提高。
　　論文首先介紹了研究背景，并給出了論文的結(jié)構(gòu)安排;然后介紹了與研究相關(guān)的工作;接下來介紹了現(xiàn)有的基于signature的沖突檢測算法;然后提出了Mix Bloom沖突檢測算法及Synthesized沖突解決策