- CMP是處理器體系結構發展的一個重要方向，其中Cache一致性問題的驗證是CMP設計中的一項重要課題。基于MESI一致性協議，本文建立了CMP的Cache一致性協議的驗證模型，總結了三種驗證方法——狀態列舉法、模型檢驗法和符號狀態法，并給出了每一種方法的復雜性分析。
- 關鍵字：
體系結構 片上多處理器 Cache一致性
cache一致性介紹
您好，目前還沒有人創建詞條cache一致性!
歡迎您創建該詞條，闡述對cache一致性的理解，并與今后在此搜索cache一致性的朋友們分享。
創建詞條
關于我們 -
廣告服務 -
企業會員服務 -
網站地圖 -
聯系我們 -
征稿 -
友情鏈接 -
手機EEPW
Copyright ?2000-2015 ELECTRONIC ENGINEERING & PRODUCT WORLD. All rights reserved.
《電子產品世界》雜志社 版權所有 北京東曉國際技術信息咨詢有限公司
京ICP備12027778號-2 北京市公安局備案：1101082052 京公網安備11010802012473
