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