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

京ICP備12027778號-2 北京市公安局備案:1101082052 京公網安備11010802012473