(19)国家知识产权局 (12)发明 专利申请 (10)申请公布号 (43)申请公布日 (21)申请 号 202211144769.1 (22)申请日 2022.09.20 (71)申请人 海光信息技 术股份有限公司 地址 300392 天津市华苑产业区海 泰西路 18号北2-204工业孵化- 3-8 (72)发明人 林思博　 (74)专利代理 机构 北京市柳沈 律师事务所 11105 专利代理师 彭久云　章丽娟 (51)Int.Cl. G06F 11/30(2006.01) G06F 9/50(2006.01) (54)发明名称 用于处理器的验证方法、 系统、 设备以及存 储介质 (57)摘要 本公开提供一种用于处理器的验证方法、 系 统、 设备以及存储介质。 该方法包括： 创建对应于 处理器的资源池的资源池模型， 监测资源池中待 测的凭证队列模块在处理器处理多个对象执行 任务的过程中的状态信息变化； 响应于监测凭证 队列模块的状态信息变化， 使用资源池模型获取 并记录根据凭证队列模块的状态信息变化的监 控状态信息； 根据资源池模型的监控状态信息验 证资源池。 本公开通过对资源池进行建模来实现 全仿真流程中的资源监控， 并通过模 型对凭证队 列进行检查， 以验证资源池， 这样较大提升验证 收敛速度， 而且实现耦合度较低， 项目移植性好， 节省人力。 权利要求书5页 说明书15页 附图6页 CN 115480989 A 2022.12.16 CN 115480989 A 1.一种用于处 理器的验证方法， 包括： 创建对应于所述处 理器的资源 池的资源 池模型； 监测所述资源池中待测的凭证队列模块在所述处理器处理多个对象执行任务的过程 中的状态信息变化； 响应于监测所述凭证队列模块的状态信 息变化， 使用所述资源池模型获取并记录根据 所述凭证队列模块的状态信息变化的监控状态信息； 根据所述资源 池模型的监控状态信息验证所述资源 池。 2.如权利要求1所述的验证方法， 其中， 根据 所述资源池模型的监控状态信 息验证所述 资源池， 包括： 根据所述 监控状态信息判断所述资源 池是否发生凭证遗失。 3.如权利要求2所述的验证方法， 其中， 监测所述资源池中待测的凭证队列模块在所述 处理器处理所述多个对象执 行任务的过程中的状态信息变化， 包括： 通过监测器监测在所述处理器处理所述多个对象执行任务的过程中的所述凭证队列 模块的缓冲凭证队列的缓冲凭证的数目和/或所述凭证队列模块的N个资源凭证队列的资 源凭证的数目， 以实现监测所述凭证队列模块的状态信息变化。 4.如权利要求3所述的验证方法， 其中， 响应于监测所述凭证队列模块的状态信息变 化， 使用所述资源池模型获取并记录根据所述凭证队列模块的状态信息变化的监控状态信 息， 包括： 响应于监测到所述缓冲凭证队列的缓冲凭证的数目和/或所述N个资源凭证队列的资 源凭证的数目发生变化， 所述监测器将实时监测到的所述缓冲凭证队列的缓冲凭证的数目 和/或所述 N个资源凭证队列的资源凭证的数目回传至所述资源 池模型； 响应于所述监测器将实时监测到的所述缓冲凭证队列的缓冲凭证的数目和/或所述N 个资源凭证队列的资源凭证的数目回传至所述资源池模型， 所述资源池模 型实时更新并记 录所述监控状态信息， 使得更新后的所述监控状态信息与所述凭证队列模块的实时的状态 一致。 5.如权利要求4所述的验证方法， 其中， 所述资源池为异步资源池， 所述处理器包括解 码单元、 调度器和执行单元， 所述解码单元配置为通过对指令进行解码获取一个或多个单 元执行码， 所述调 度器配置为根据每个对象单元执行码所需资源来向所述凭证队列模块申 请凭证并调 度所述对象单元执行码， 所述执行单元根据所述对象单元执行码对应的凭证执 行所述对象单 元执行码， 所述执 行任务包括所述指令， 所述验证方法还 包括： 对于所述异步资源池的凭证申请阶段， 响应于所述调度器向所述执行单元的单元执行 码缓冲区调 度所述对象单元执行码， 使得所述 缓冲凭证队列的缓冲凭证的数目和/或所述N 个资源凭证队列中对应的至少一个资源凭证队列的资源凭证的数目减少， 以及， 对于所述异步资源池的凭证释放阶段， 响应于所述执行单元执行所述对象单元执行码 以及将所述对象单元执行码退休， 使得所述缓冲凭证队列的缓冲凭证的数目和/或所述N个 资源凭证队列中对应的至少一个资源凭证队列的资源凭证的数目增 加。 6.如权利要求5所述的验证方法， 其中， 通过监测器监测在所述处理器处理所述多个对 象执行任务的过程中的所述缓冲凭证队列的缓冲凭证的数目和/或所述N个资源凭证队列权　利　要　求　书 1/5 页 2 CN 115480989 A 2的资源凭证的数目， 包括： 响应于所述凭证申请 阶段， 通过所述监测器监测所述缓冲凭证队列和所述N个资源凭 证队列以及监测所述调 度器， 以实现监测在所述处理器处理所述多个对象执行任务的过程 中的所述缓冲凭证队列的缓冲凭证的数目和/或所述 N个资源凭证队列的资源凭证的数目； 响应于所述凭证释放阶段， 通过所述监测器监测所述调度器和/或监测所述缓冲凭证 队列和所述N个资源凭证队列， 以实现监测在所述处理器处理所述多个对 象执行任务的过 程中的所述缓冲凭证队列的缓冲凭证的数目和/或所述N个资源凭证队列的资源凭证的数 目。 7.如权利要求5所述的验证方法， 其中， 根据 所述监控状态信 息判断所述资源池是否发 生凭证遗失， 包括： 根据所述监控状态信息， 获取所述多个单元执行码中的至少一个分别在退休时的N类 资源凭证的当前释放数目； 根据所述多个单元执行码中的至少一个在退休时的N类资源凭证的当前释放数目以及 所述多个单元执行码在调度时占用的物理资源对应的资源凭证的类别与数目， 判断所述异 步资源池是否发生凭证遗失， 以获取凭证遗失验证结果。 8.如权利要求7 所述的验证方法， 其中， 所述 监控状态信息包括以下的至少一种： 所述N个资源凭证队列的数目、 所述缓冲凭证队列的数目、 所述缓冲凭证队列的总容 量、 所述N个资源凭证队列中的每个的总容量、 所述多个单元执行码的调度顺序、 所述多个 单元执行码的编号信息、 所述N个资源凭证队列中的每个的 已用资源凭证的数目与剩余资 源凭证的数目、 所述多个单元执行码 中的每个使用的资源凭证的类别、 所述多个单元执行 码中的每个使用的资源凭证的申请时间与释放时间、 按照所述多个单元执行码的编号对应 的所述单元执行码在调 度时占用的物理资源对应的资源凭证的类别与数目、 所述缓冲凭证 队列的已用缓冲凭证的数目与剩余缓冲凭证的数目、 所述多个单元执行码中的每个使用的 缓冲凭证的申请时间与释放时间。 9.如权利要求8所述的验证方法， 其中， 根据 所述多个单元执行码中的至少一个在退休 时的N类资源凭证的当前释放数目以及所述多个单元执行码在调度时占用的物理资源对应 的资源凭证的类别与数目， 判断所述异步资源池是否发生凭证遗失， 以获取凭证遗失验证 结果， 包括： 按照所述多个单元执行码的退休顺序轮流地， 在所述多个单元执行码中当前的对象单 元执行码退休时执 行以下： 对所述N类资源凭证中的每类资源凭证的当前释放数目进行计数， 获取对应于所述对 象单元执行码的所述 N类资源凭证的当前释放数目； 将所述N类资源凭证中的每类资源凭证的当前释放数目分别与所述N类资源凭证中对 应类别的资源凭证的剩余释放数目进行求和， 得到对应于所述对 象单元执行码的N类资源 凭证中的每 类资源凭证的释放数目总和； 将所述N类资源凭证中的每类资源凭证的释放数目总和分别减去所述对象单元执行码 在调度时占用的物理资源 对应的资源凭证的数目， 得到N个差值； 响应于所述N个差值均不小于零， 对应于所述对象单元执行码在退休时的检查通过， 并 将所述N个差值中的每个差值作为对应于下一次的对 象单元执行码的N类资源凭证中的每权　利　要　求　书 2/5 页 3 CN 115480989 A 3