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

说明书

本公开提供一种用于处理器的验证方法、系统、设备以及存储介质。该方法包括：创建对应于处理器的资源池的资源池模型，监测资源池中待测的凭证队列模块在处理器处理多个对象执行任务的过程中的状态信息变化；响应于监测凭证队列模块的状态信息变化，使用资源池模型获取并记录根据凭证队列模块的状态信息变化的监控状态信息；根据资源池模型的监控状态信息验证资源池。本公开通过对资源池进行建模来实现全仿真流程中的资源监控，并通过模型对凭证队列进行检查，以验证资源池，这样较大提升验证收敛速度，而且实现耦合度较低，项目移植性好，节省人力。

技术领域

本公开的实施例涉及一种用于处理器的验证方法、系统、设备以及存储介质。

背景技术

处理器(例如中央处理器CPU)有时为了提高性能，可将一些常用的复杂计算合并为一条指令，也就是说一条指令可能包含多个单元执行码。为了方便开发和维护，一般将处理器划分为包括解码单元和执行单元两个部分，这样在增加类似的复杂计算指令时，只需修改解码单元，而无需修改执行单元。解码单元只需按顺序将解码后的单元执行码调度给执行单元，执行单元再调用相关的物理资源完成执行即可。

这种实现方式会带来另外的问题，即每个单元执行码执行时需要使用的资源可能不同，而执行单元为了提高效率，一般会支持乱序执行，也就是说，虽然在解码单元调度给执行单元时，单元执行码的排序是顺序的，但其实每个单元执行码实际占用资源和释放资源的时间并不一定，而物理资源本身是有限的，从而容易发生影响单元执行码的调度的问题。

发明内容

本公开至少一实施例提供了一种用于处理器的验证方法，包括：创建对应于所述处理器的资源池的资源池模型；监测所述资源池中待测的凭证队列模块在所述处理器处理多个对象执行任务的过程中的状态信息变化；响应于监测所述凭证队列模块的状态信息变化，使用所述资源池模型获取并记录根据所述凭证队列模块的状态信息变化的监控状态信息；根据所述资源池模型的监控状态信息验证所述资源池。

本公开至少一实施例提供了一种用于处理器的验证系统，包括：监测器，配置为监测所述处理器的资源池中待测的凭证队列模块在所述处理器处理多个对象执行任务的过程中的状态信息变化；资源池模型，配置为对应于所述处理器的资源池进行创建且配置为响应于监测所述凭证队列模块的状态信息变化，获取并记录根据所述凭证队列模块的状态信息变化的监控状态信息，并根据所述监控状态信息验证所述资源池。

本公开至少一实施例提供了一种电子设备，包括：处理单元和存储单元，其中，所述存储单元上存储有计算机程序，所述计算机程序被所述处理单元执行时，实现如上文任一项所述的验证方法。

本公开至少一实施例提供了一种计算机可读存储介质，其中，所述存储介质内存储有计算机程序，所述计算机程序被处理单元执行时，实现如上述任一示例中所述的验证方法。

与现有技术相比，本公开的至少一实施例的有益效果至少包括：通过对资源池(例如异步资源池)做完整的抽象建模来实现全仿真流程中的资源监控，并通过建立的模型对凭证队列进行检查，以验证资源池，这样较大提升验证收敛速度，而且实现耦合度较低，项目移植性好，节省人力。

附图说明

为了更清楚地说明本公开实施例或现有技术中的技术方案，下面将对实施例或现有技术描述中所需要使用的附图作简单地介绍，显而易见地，下面描述中的附图仅仅是本公开的一些实施例，对于本领域普通技术人员来讲，在不付出创造性劳动的前提下，还可以根据这些附图获得其他的附图。

图1为本公开一些实施例提供的一种用于处理器的验证系统的示意图；

图2为本公开一些实施例提供的与凭证队列模块的实时的状态一致的监控状态信息的示意图；

图3为本公开一些实施例提供的资源池模型的第一凭证遗失检查模块的模块组成示意图；

图4为本公开另一些实施例提供的与凭证队列模块的实时的状态一致的监控状态信息的示意图；