延遲無效法 -- 一個快取記憶體資料一致性軟體之方法

Abstract

在本論文中，我們提出了一個適用於大型共享記憶體多處理機系統的軟體 一致性方法，稱為延遲無效法 (The delayed invalidation scheme)．它 是利用編譯器技術，對每個存取做不同的標示，並且動態平行及選擇性的 將過時的資料視為無效．它克服了前面方法的無效率及不足．並且它只需 要少數的額外硬體及管理快取記憶體之指令．在文中，我們證明了延遲無 效法的正確性及定性和定量的與平行明確無效法的效能做比較．而且模擬 之結果顯示延遲無效法優於平行明確無效法． In this thesis, we propose a software-based cache coherence sheme, named delayed invalidation scheme. The delayedscheme is based on a compiler time marking ofa hardware-based local explicit invalidation ofarallelism and selectivity. The delayedheme allows invalidation of partial elements inercomes some of the inefficiencies andprevious schemes. With a small amount ofware and a small set of cache managementhe proposed scheme provides more cacheabilitychemes. A correctness proof and a qualitativeluation of the proposed scheme are also providhe simulated hit ratios of the proposed scheme and xplicit invalidation scheme is given. Simulation that the proposed scheme outperforms the parallel elidation scheme.