摘要：本發明提供了一種Cache一致性協議驗證方法以及多核處理器系統。根據本發明的Cache一致性協議驗證方法包括：在監視器內設置多個隊列，每個隊列包括多個單元，用于記錄尚未處理完畢的所有一次請求；將所有地址相關的請求按照其進入一致性處理部件的順序依次保存在同一個隊列的單元內；利用每個單元獨立跟蹤所記錄請求的行為狀態。根據本發明的基于監視器的Cache一致性協議驗證方法能夠根據Cache一致性協議對訪存地址相關的請求保證按序處理的特性，采用一個監視器對Cache一致性處理部件的協議級行為進行精準監測，可以實現對每一個請求包的行為精確監測；通過調整監視器內的內容，使得Cache一致性協議驗證方法適用于各種一致性協議的驗證。
- 專利類型發明專利
- 申請人無錫江南計算技術研究所;
- 發明人盧宏生;王夢嘉;鄭衛華;韓嬌;張清波;陳彥庭;唐勇;
- 地址214083 江蘇省無錫市濱湖區軍東新村030號
- 申請號CN201210325660.8
- 申請時間2012年09月05日
- 申請公布號CN102880467A
- 申請公布時間2013年01月16日
- 分類號G06F9/44(2006.01)I;G06F15/167(2006.01)I;
教育裝備采購網在線客服
京公網安備11010802043465號
