[發明專利]Cache一致性協議驗證方法以及多核處理器系統

有效

• 申請號: 201210325660.8
• 申請日: 2012-09-05
• 公開（公告）號: CN102880467A
• 公開（公告）日: 2013-01-16
• 發明（設計）人: 盧宏生;王夢嘉;鄭衛華;韓嬌;張清波;陳彥庭;唐勇
• 申請（專利權）人: 無錫江南計算技術研究所
• 主分類號: G06F9/44
• 分類號: G06F9/44;G06F15/167
• 代理公司: 北京眾合誠成知識產權代理有限公司 11246
• 代理人: 龔燮英

1.一種Cache一致性協議驗證方法，其特征在于包括：

在監視器內設置多個隊列，每個隊列包括多個單元，用于記錄尚未處理完畢的所有一次請求；

將所有地址相關的請求按照其進入一致性處理部件的順序依次保存在同一個隊列的單元內；

利用每個單元獨立跟蹤所記錄請求的行為狀態。

2.根據權利要求1所述的Cache一致性協議驗證方法，其特征在于，所述監測器只監測片上多處理器的輸入和輸出，監測時只考慮片上多處理器的正常運行時的情況。

3.根據權利要求1或2所述的Cache一致性協議驗證方法，其特征在于，所述監視器內設置了256個256深度的一次請求隊列，用于記錄片上多處理器正在處理的一次請求，其中相同Cache行地址的請求進相同隊列。

4.根據權利要求1至3之一所述的Cache一致性協議驗證方法，其特征在于，在隊列中，按照一次請求進入順序排隊，每個隊列還對每個請求條目設有一個請求跟蹤狀態機，所述請求跟蹤狀態機用來跟蹤請求的處理情況。

5.根據權利要求1至4之一所述的Cache一致性協議驗證方法，其特征在于，每個隊列設一個尾指針和一個實頭指針，尾指針在每個新請求寫入時更新，實頭指針在頭指針所指請求為終止態時加一。

6.根據權利要求1至5之一所述的Cache一致性協議驗證方法，其特征在于，每個隊列設有懸掛虛指針、MAQ虛指針和二次請求虛指針，分別指向正在處于懸掛態的請求條目、剛收到MAQ請求的條目和剛收到二次請求的條目。

7.根據權利要求1至6之一所述的Cache一致性協議驗證方法，其特征在于，處于懸掛態的請求條目包括處于地址懸掛態的請求條目以及MAQ隊列懸掛態的請求條目。

8.根據權利要求1至7之一所述的Cache一致性協議驗證方法，其特征在于，進入片上多處理器的一次請求同時進入監測器，在監測器中根據請求的Cache行地址進入隊列之一；其中隊列分配方法是：當有相同請求地址的請求登記在某個隊列中時，則請求進入該隊列，否則在空隊列中任選一個隊列進入，并登記請求的地址于隊列管理模塊。

9.根據權利要求1至8之一所述的Cache一致性協議驗證方法，其特征在于，同一隊列內，任何請求都不會超越處于地址懸掛態或MAQ隊列懸掛態的請求退出，任何MAQ請求都不會超越MAQ請求退出，任何二次請求不會超越二次請求退出。

10.一種采用了根據權利要求1至9之一所述的Cache一致性協議驗證方法的多核處理器系統。