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

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

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