主要研究分布式共享存儲MPP系統(tǒng)的體系結(jié)構(gòu)。包括分布式共享存儲系統(tǒng)的訪存模型、存儲一數(shù)性模型、高速緩存一致性協(xié)議、互連網(wǎng)絡(luò)等。提出了分布式共享存儲系統(tǒng)的一些數(shù)學模型,而且實現(xiàn)了一個具有一定實用價值的虛擬共享存儲系統(tǒng)。在該系統(tǒng)的基礎(chǔ)上,提出了一些提高共享存儲系統(tǒng)性能的新方法。主要研究成果包括:
1.從訪存事件次序的角度分析了共享存儲多處理機系統(tǒng)中串行執(zhí)行和并行執(zhí)行的正確性...
|