[发明专利]用于处理器的验证方法、系统、设备以及存储介质

权利要求书

1.一种用于处理器的验证方法，包括：

创建对应于所述处理器的资源池的资源池模型；

监测所述资源池中待测的凭证队列模块在所述处理器处理多个对象执行任务的过程中的状态信息变化；

响应于监测所述凭证队列模块的状态信息变化，使用所述资源池模型获取并记录根据所述凭证队列模块的状态信息变化的监控状态信息；

根据所述资源池模型的监控状态信息验证所述资源池。

2.如权利要求1所述的验证方法，其中，根据所述资源池模型的监控状态信息验证所述资源池，包括：

根据所述监控状态信息判断所述资源池是否发生凭证遗失。

3.如权利要求2所述的验证方法，其中，监测所述资源池中待测的凭证队列模块在所述处理器处理所述多个对象执行任务的过程中的状态信息变化，包括：

通过监测器监测在所述处理器处理所述多个对象执行任务的过程中的所述凭证队列模块的缓冲凭证队列的缓冲凭证的数目和/或所述凭证队列模块的N个资源凭证队列的资源凭证的数目，以实现监测所述凭证队列模块的状态信息变化。

4.如权利要求3所述的验证方法，其中，响应于监测所述凭证队列模块的状态信息变化，使用所述资源池模型获取并记录根据所述凭证队列模块的状态信息变化的监控状态信息，包括：

响应于监测到所述缓冲凭证队列的缓冲凭证的数目和/或所述N个资源凭证队列的资源凭证的数目发生变化，所述监测器将实时监测到的所述缓冲凭证队列的缓冲凭证的数目和/或所述N个资源凭证队列的资源凭证的数目回传至所述资源池模型；

响应于所述监测器将实时监测到的所述缓冲凭证队列的缓冲凭证的数目和/或所述N个资源凭证队列的资源凭证的数目回传至所述资源池模型，所述资源池模型实时更新并记录所述监控状态信息，使得更新后的所述监控状态信息与所述凭证队列模块的实时的状态一致。

5.如权利要求4所述的验证方法，其中，所述资源池为异步资源池，所述处理器包括解码单元、调度器和执行单元，所述解码单元配置为通过对指令进行解码获取一个或多个单元执行码，所述调度器配置为根据每个对象单元执行码所需资源来向所述凭证队列模块申请凭证并调度所述对象单元执行码，所述执行单元根据所述对象单元执行码对应的凭证执行所述对象单元执行码，所述执行任务包括所述指令，

所述验证方法还包括：

对于所述异步资源池的凭证申请阶段，响应于所述调度器向所述执行单元的单元执行码缓冲区调度所述对象单元执行码，使得所述缓冲凭证队列的缓冲凭证的数目和/或所述N个资源凭证队列中对应的至少一个资源凭证队列的资源凭证的数目减少，以及，

对于所述异步资源池的凭证释放阶段，响应于所述执行单元执行所述对象单元执行码以及将所述对象单元执行码退休，使得所述缓冲凭证队列的缓冲凭证的数目和/或所述N个资源凭证队列中对应的至少一个资源凭证队列的资源凭证的数目增加。

6.如权利要求5所述的验证方法，其中，通过监测器监测在所述处理器处理所述多个对象执行任务的过程中的所述缓冲凭证队列的缓冲凭证的数目和/或所述N个资源凭证队列的资源凭证的数目，包括：

响应于所述凭证申请阶段，通过所述监测器监测所述缓冲凭证队列和所述N个资源凭证队列以及监测所述调度器，以实现监测在所述处理器处理所述多个对象执行任务的过程中的所述缓冲凭证队列的缓冲凭证的数目和/或所述N个资源凭证队列的资源凭证的数目；

响应于所述凭证释放阶段，通过所述监测器监测所述调度器和/或监测所述缓冲凭证队列和所述N个资源凭证队列，以实现监测在所述处理器处理所述多个对象执行任务的过程中的所述缓冲凭证队列的缓冲凭证的数目和/或所述N个资源凭证队列的资源凭证的数目。