[发明专利]缓存数据无效化验证方法、装置及系统

说明书

本申请提供了一种缓存数据无效化验证方法、装置及系统，所述方法包括：获取输入待测试缓存的数据无效化请求；基于所述数据无效化请求更新与所述目标缓存数据对应的缓存模型中的缓存数据和下游行为级模型中的下游数据，所述下游行为级模型用于当接收所述缓存基于读请求发送的数据请求时，向所述缓存返回与所述读请求对应的下游数据以使所述缓存基于所述下游数据得到回读数据；获取所述缓存响应于获取所述目标缓存数据的读请求返回的回读数据，从所述缓存模型中获取与所述回读数据对应的缓存数据作为预期数据，根据所述预期数据对所述回读数据进行校验以确定所述数据无效化请求是否数据无效化成功，本申请可实现缓存数据无效化请求的验证。

技术领域

本申请涉及缓存验证技术领域，特别涉及处理器技术领域，尤其涉及一种缓存数据无效化验证方法、装置及系统。

背景技术

缓存能够正确的执行写请求写入数据，以及按照地址读取符合预期的数据，是处理器能够正确存储和读取数据，保证正常运行的关键。

在一些场景下，缓存还需支持一些功能特性（例如，缓存数据无效化功能），如何实现对缓存功能特性的验证成为亟待解决的问题。

发明内容

本申请的一个目的在于提供一种缓存数据无效化验证方法，实现缓存数据的无效化验证。本申请的另一个目的在于提供一种缓存数据无效化验证装置。本申请的再一个目的在于提供一种缓存数据无效化验证系统。本申请的还一个目的在于提供一种计算机设备。本申请的还一个目的在于提供一种可读介质。本申请的还一个目的在于提供一种计算机程序产品。

为了达到以上目的，本申请一方面公开了一种缓存数据无效化验证方法，包括：

获取输入待测试缓存的数据无效化请求，所述数据无效化请求用于无效化所述待测试缓存中的目标缓存数据；

基于所述数据无效化请求更新缓存模型中与所述目标缓存数据对应的缓存数据和下游行为级模型中与所述目标缓存数据对应的下游数据，所述下游行为级模型用于当接收所述缓存基于读请求发送的数据请求时，向所述缓存返回与所述读请求对应的下游数据以使所述缓存基于所述下游数据得到回读数据；

获取所述缓存响应于获取所述目标缓存数据的读请求返回的回读数据，从所述缓存模型中获取与所述回读数据对应的缓存数据作为预期数据，根据所述预期数据对所述回读数据进行校验以确定所述数据无效化请求是否数据无效化成功。

优选的，所述获取输入待测试缓存的数据无效化请求具体包括：

基于所述缓存的参数配置对输入所述待测试缓存的验证请求进行参数化提取得到验证参数；

根据所述验证参数和预设数据结构得到通用化验证请求；

根据所述通用化验证请求确定所述验证请求是否为所述数据无效化请求。

优选的，所述缓存模型中存储有所述缓存中的缓存数据和对应的数据存储地址，所述下游行为级模型中存储有下游数据和对应的数据存储地址，所述缓存中的缓存数据为至少部分的所述下游行为级模型中的下游数据；

所述基于所述数据无效化请求更新缓存模型中与所述目标缓存数据对应的缓存数据和下游行为级模型中与所述目标缓存数据对应的下游数据具体包括：

根据所述数据无效化请求确定数据无效化的目标缓存数据的目标数据存储地址；

将所述缓存模型和所述下游行为级模型中所述目标数据存储地址对应的缓存数据和下游数据修改为默认值。

优选的，所述将所述缓存模型和所述下游行为级模型中所述目标数据存储地址对应的缓存数据和下游数据修改为默认值具体包括：

删除所述缓存模型和所述下游行为级模型中所述目标数据存储地址对应的缓存数据和下游数据。