物理内存保护功能的验证方法、系统及存储介质技术方案

本发明专利技术适用于处理器技术领域，尤其涉及一种物理内存保护功能的验证方法、系统及存储介质。所述方法包括：获取处理器架构在验证过程中将使用到的多个物理地址段；将每一物理地址段与处理器架构中随机挑选的一个物理内存保护区域建立映射关系，将物理地址段的起始地址与结束地址作为对应的物理内存保护区域的起始地址和结束地址；随机选择预设数量的映射区域进行异常注入；基于待验证映射区域对处理器架构的物理内存保护功能进行验证。本发明专利技术可以快速产生符合验证需求的物理内存保护映射区域配置，通过权限取消、地址范围缩减和边界值替换等机制，随机对映射区域进行异常注入，有效验证处理器架构在不同物理内存保护映射区域配置下的行为正确性。

【技术实现步骤摘要】

本专利技术适用于处理器，尤其涉及一种物理内存保护功能的验证方法、系统及存储介质。

技术介绍

1、随着 risc-v 指令集架构的不断完善和应用领域的持续拓展，从嵌入式系统到高性能计算等多个场景中，risc-v 体系结构对物理内存管理的支持也日益丰富。其中，risc-v 所采用的物理内存保护单元（physical memory protection，pmp）设计展现出显著的灵活性，能够支持包括读、写、执行等多种访问权限的精准控制。借助配置特定的地址区间以及对应的访问属性，物理内存保护单元的机制得以实现对物理内存的精细化保护，这对于保障系统的安全性和稳定性具有重要意义。

2、然而，在实际的应用过程中，如何正确配置 pmp 地址区间并有效验证其配置的正确性，逐渐成为一个亟待解决的重要挑战。目前，业界尚未形成一套成熟的 pmp 地址段分配方法，可用于在模块级对 risc-v pmp 功能进行完备且全面的验证。

3、当前业界主流的 pmp 配置方法主要分为手动配置和简单随机生成两种，但这两种方式均存在明显的问题：

<p>4、其一，手动配本文档来自技高网...

【技术保护点】

1.一种物理内存保护功能的验证方法，其特征在于，所述验证方法包括以下步骤：

2.如权利要求1所述的物理内存保护功能的验证方法，其特征在于，步骤S3中，当对所述映射区域的异常注入为权限违规异常时，则随机选择所述预设数量的所述映射区域，并取消随机选择的所述映射区域的访问权限。

3.如权利要求1所述的物理内存保护功能的验证方法，其特征在于，步骤S3中，当对所述映射区域的异常注入为地址不匹配异常时，则随机选择所述预设数量的所述映射区域，并将随机选择的预设数量的所述映射区域的起始地址向所述映射区域的结束地址方向移动随机距离，或将随机选择的预设数量的所述映射区域的结束地址向所...

【技术特征摘要】

1.一种物理内存保护功能的验证方法，其特征在于，所述验证方法包括以下步骤：

2.如权利要求1所述的物理内存保护功能的验证方法，其特征在于，步骤s3中，当对所述映射区域的异常注入为权限违规异常时，则随机选择所述预设数量的所述映射区域，并取消随机选择的所述映射区域的访问权限。

3.如权利要求1所述的物理内存保护功能的验证方法，其特征在于，步骤s3中，当对所述映射区域的异常注入为地址不匹配异常时，则随机选择所述预设数量的所述映射区域，并将随机选择的预设数量的所述映射区域的起始地址向所述映射区域的结束地址方向移动随机距离，或将随机选择的预设数量的所述映射区域的结束地址向所述映射区域的起始地址方向移动随机距离。

4.如权利要求1所述的物理内存保护功能的验证方法，其特征在于，步骤s3中，当对所述映射区域的异常注入为地址重叠异常时，随机选择所述预设数量的所述映射区域，随机将所选择的所述映射区域的起始地址或结束地...

【专利技术属性】
技术研发人员：崔永灿，
申请(专利权)人：睿思芯科成都科技有限公司，
类型：发明
国别省市：