摘要：本发明提供了一种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号
