[发明专利]Cache一致性协议验证方法以及多核处理器系统

权利要求书

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一致性协议验证方法的多核处理器系统。