多線(xiàn)程復(fù)制系統(tǒng)的確定性調(diào)度框架MDSF的研究與實(shí)現(xiàn).pdf

1、復(fù)制是分布式系統(tǒng)中容錯(cuò)的一種重要方法。多線(xiàn)程復(fù)制能夠很好的利用多核CPU、多CPU資源，但也面臨著如何保證確定性的問(wèn)題。現(xiàn)有的幾種多線(xiàn)程調(diào)度算法都在一定程度上支持多線(xiàn)程運(yùn)行，但都采取了保守的方式來(lái)避免多線(xiàn)程所帶來(lái)的不確定性，從而影響了多線(xiàn)程同步性的提高。 本文在分析現(xiàn)有幾種多線(xiàn)程調(diào)度算法之后，基于MAT算法提出改進(jìn)算法--AMAT算法，該算法需要根據(jù)多線(xiàn)程運(yùn)行期間提供的同步操作信息來(lái)對(duì)多線(xiàn)程進(jìn)行調(diào)度。本文提出代碼分析、轉(zhuǎn)換的方式

2、來(lái)達(dá)到這一目的。同時(shí)，代碼分析、轉(zhuǎn)換還能夠完成對(duì)同步語(yǔ)句的截獲，從而透明地完成非復(fù)制代碼到復(fù)制代碼的轉(zhuǎn)換。這種方法可以避免修改底層操作系統(tǒng)、虛擬機(jī)所帶來(lái)的復(fù)雜性，也不要求編程人員手動(dòng)修改代碼。 本文提出一種多線(xiàn)程復(fù)制系統(tǒng)的確定性調(diào)度框架--MDSF，由兩大部分組成：一個(gè)是在預(yù)編譯階段的代碼分析模塊和代碼轉(zhuǎn)換模塊，另一個(gè)是運(yùn)行時(shí)的線(xiàn)程調(diào)度模塊。前者能夠?qū)Χ嗑€(xiàn)程程序的源代碼進(jìn)行分析，并且根據(jù)分析結(jié)果修改源代碼。修改過(guò)的源代碼在編譯之