1、　 本文結(jié)合仿真器對存儲一致性模型進(jìn)行系統(tǒng)全面的研究?！”疚耐ㄟ^仿真器來對存儲一致性模型進(jìn)行量化研究，具體包括：設(shè)計并實現(xiàn)了一個靈活實用的存儲一致性模型仿真器MMS；基于該仿真器仿真了不同并行機結(jié)構(gòu)模型下多種存儲一致性模型的行為；針對不同類型的計算問題比較分析了不同的存儲一致性模型?！?面向?qū)ο蟮拇鎯σ恢滦阅Ｐ偷脑O(shè)計與驗證：本文結(jié)合高級語言的特點對存儲一致性模型進(jìn)行了研究，具體包括：提出了一種新的面向?qū)ο蟮拇鎯σ恢滦阅Ｐ汀?/p>

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