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