嵌套事務(wù)內(nèi)存研究.pdf

1、用戶(hù)應(yīng)用程序中的并發(fā)性正在逐漸增長(zhǎng)，現(xiàn)代計(jì)算機(jī)包含了單核多線程和單芯片多核的功能。如何有效地在多核處理器體系結(jié)構(gòu)下開(kāi)發(fā)出高性能、可移植的并行程序，降低并行程序的開(kāi)發(fā)難度，提高并行程序的設(shè)計(jì)開(kāi)發(fā)效率成為并行計(jì)算領(lǐng)域的一個(gè)關(guān)鍵性問(wèn)題。傳統(tǒng)的用戶(hù)應(yīng)用程序使用細(xì)粒度鎖的互斥方式達(dá)到同步，但是這種方式容易形成死鎖和具有不可組合性、優(yōu)先級(jí)反轉(zhuǎn)和護(hù)航效應(yīng)等問(wèn)題。非阻塞算法避免了這些限制，且保證線程的延遲或者失敗不會(huì)阻礙系統(tǒng)整體上向前執(zhí)行，但同樣難于實(shí)

2、現(xiàn)和應(yīng)用。事務(wù)內(nèi)存技術(shù)基于數(shù)據(jù)庫(kù)管理系統(tǒng)中成功的并發(fā)處理經(jīng)驗(yàn)，能夠高效地完成內(nèi)存級(jí)并發(fā)讀寫(xiě)操作。 事務(wù)內(nèi)存系統(tǒng)的核心是沖突檢測(cè)。本文對(duì)國(guó)內(nèi)外在事務(wù)內(nèi)存方面所做的研究與探索進(jìn)行了總結(jié)與分析，研究了現(xiàn)有的軟件和硬件事務(wù)內(nèi)存系統(tǒng)的設(shè)計(jì)方法和沖突檢測(cè)機(jī)制，分析了各自的優(yōu)缺點(diǎn)。在此基礎(chǔ)上，本文首創(chuàng)了適用于所有事務(wù)內(nèi)存系統(tǒng)的沖突檢測(cè)數(shù)學(xué)模型。 可組合性是現(xiàn)代軟件工程的基礎(chǔ)，嵌套事務(wù)內(nèi)存正是事務(wù)內(nèi)存可組合性的表現(xiàn)。本文通過(guò)對(duì)傳統(tǒng)并行程

3、序設(shè)計(jì)方法進(jìn)行分析，并結(jié)合事務(wù)內(nèi)存的現(xiàn)有理論提出了在內(nèi)存訪問(wèn)層次的嵌套事務(wù)內(nèi)存模型。該模型與硬件無(wú)關(guān)，定義了平面事務(wù)、閉合事務(wù)和開(kāi)放事務(wù)在各種操作下的語(yǔ)義，描述了事務(wù)所能見(jiàn)的內(nèi)存狀態(tài)、內(nèi)存訪問(wèn)沖突、提交與夭折動(dòng)作。在該模型的基礎(chǔ)上，本文深入研究和分析了開(kāi)放事務(wù)語(yǔ)義，并且提出了適用嵌套事務(wù)內(nèi)存系統(tǒng)的優(yōu)先級(jí)競(jìng)爭(zhēng)管理算法，將此算法應(yīng)用于本系統(tǒng)后可以有效地提高單位時(shí)間內(nèi)事務(wù)執(zhí)行的數(shù)目。 在以上工作的基礎(chǔ)上，本文使用C++編程語(yǔ)言實(shí)現(xiàn)了一