Abstract
本篇論文提出一個針對高效率多核心系統快取記憶體資料一致性模擬之根據分享變數為基礎的同步方法。傳統的模擬方法藉由在每個模擬的時脈或是記憶體存取進行同步，雖然可以得到正確的結果，但是因為嚴重的同步成本，造成效能低落。我們觀察到，只需要在分享變數上進行同步，就可以得到一個正確的快取記憶體資料一致性模擬，針對此所提出的方法可以同時兼顧正確性和模擬效率。實驗數據結果證明，我們所提出的方法比同步在每次記憶體存取快六到八倍，和以時脈做為同步基礎的方法相比快18到44倍，同時模擬的正確性也可以被保證。