存儲(chǔ)一致性模型研究.pdf

1、　 本文結(jié)合仿真器對(duì)存儲(chǔ)一致性模型進(jìn)行系統(tǒng)全面的研究。　本文通過(guò)仿真器來(lái)對(duì)存儲(chǔ)一致性模型進(jìn)行量化研究，具體包括：設(shè)計(jì)并實(shí)現(xiàn)了一個(gè)靈活實(shí)用的存儲(chǔ)一致性模型仿真器MMS；基于該仿真器仿真了不同并行機(jī)結(jié)構(gòu)模型下多種存儲(chǔ)一致性模型的行為；針對(duì)不同類型的計(jì)算問(wèn)題比較分析了不同的存儲(chǔ)一致性模型?！?面向?qū)ο蟮拇鎯?chǔ)一致性模型的設(shè)計(jì)與驗(yàn)證：本文結(jié)合高級(jí)語(yǔ)言的特點(diǎn)對(duì)存儲(chǔ)一致性模型進(jìn)行了研究，具體包括：提出了一種新的面向?qū)ο蟮拇鎯?chǔ)一致性模型—

2、—OC；論述了OC的主要特性；比較了OC和其它存儲(chǔ)一致性模型；最后在仿真器MMS上仿真驗(yàn)證了OC的行為特點(diǎn)。 本文為解決Java語(yǔ)言規(guī)范中存儲(chǔ)一致性模型的缺陷對(duì)Java存儲(chǔ)一致性模型進(jìn)行了研究，將OC模型運(yùn)用到Java虛擬機(jī)中，提出了一種新的Java存儲(chǔ)一致性模型L-JMM；根據(jù)變量的不同類型分別定義了多線程存儲(chǔ)操作之間所應(yīng)遵循的行為規(guī)則；并通過(guò)仿真實(shí)驗(yàn)驗(yàn)證了該存儲(chǔ)一致性模型的特性。本文為提高弱一致性模型下虛擬機(jī)的執(zhí)行效率對(duì)垃