[发明专利]一种RAID验证中参数自动生成方法、装置及存储介质

说明书

本发明提供了一种RAID验证中参数自动生成方法、装置及存储介质，该方法包括开始，输入配置信息，判断工作模式是否为输入，若否则为输入失败，从新输入配置信息，若是则进行RAID6/TP的满条带或读修改写；在满条带模式时，若为RAID6则进行RAID6伽罗华域做异或/乘/除计算，得到RAID6满条带模式下的构造参数阵列；若为RAIDTP则进行RAIDTP伽罗华域做异或/乘/除计算，得到RAIDTP满条带模式下的构造参数阵列；在读修改写模式时，若为RAID6则进行RAID6伽罗华域做异或/乘/除计算，得到RAID6读修改写模式下的构造参数阵列；若为RAIDTP则进行RAIDTP伽罗华域做异或/乘/除计算，得到RAIDTP读修改写模式下的构造参数阵列。可以加速RAID算法模块的验证进度。

技术领域

本发明涉及计算机技术领域，具体涉及一种RAID验证中参数自动生成方法、装置及存储介质。

背景技术

RAID为独立冗余磁盘阵列,其因更好的数据保护技术，吞吐量更大被内业广泛使用。由于RAID算法本身的复杂性和多变性，使得RAID算法设计实现难度增加，进而RAID算法类芯片的验证复杂度也越来越高。对于RAID 算法类芯片的验证，通常需要综合考虑RAID等级，同一等级中数据盘和校验盘之间不同的排列组合方式以及编/解码场景，其待验证的细分场景往往都在百万数量级以上，而验证过程中涉及的算法参数也因细分场景的不同存在各种可能性且算法参数的计算过程复杂。现阶段对于RAID算法类芯片验证过程中算法参数的处理方式，通常有以下几种方式：

1、使用高级的矩阵/阵列语言Matlab实现算法模型，将不同RAID等级、同一等级中数据盘和校验盘之间不同的排列组合方式并结合具体的编/ 解码场景中所使用到的参数均集中生成，以数据文件格式保存并输出，验证过程中对所验目标场景中涉及的参数通过加载数据文件查表的方式进行检索。

2、考虑到不同RAID等级、同一种RAID等级中数据盘和校验盘之间不同的排列组合方式以及编/解码场景共同构成的验证细分场景众多，对于细分场景的逐一验证工作量巨大。为了简化验证工作量提高验证的有效性，通常对于芯片设计和验证复杂度要求低且风险可控的情形下会选择一些优先级比较高的细分场景和边界场景进行验证。

3、使用验证语言System Verilog实现算法模型，并将算法模型集成到验证环境中，验证过程中可以根据不同RAID等级、同一种RAID等级中数据盘和校验盘之间不同的排列组合方式以及编/解码场景共同构成的验证细分场景，将RAID相关配置信息作为该算法模型的输入实时生成所验细分场景需要的目标算法参数。

上述方法1使用Matlab实现算法模型比较容易开发，但算法模块与验证环境之间通过数据文件的方式进行数据交互，若考虑待验证的细分场景非常多的情况下，生成的数据文件会很大，对内存资源的开销代价大。此外，验证过程中访问数据文件检索有效信息的时间会周期长，即时性差。

上述方法2是一种取巧的验证方式，对于芯片设计和验证复杂度要求低且风险可控的情形下可适当采用该方式，有助于节省研发成本。若芯片设计和验证复杂度要求高的情形之下是不推荐的。对于待验证的细分场景采用方法2很难做到场景的全覆盖，某种程度上可能会造成设计BUG的泄露，对于模块的验证其完备性上很难保证。

上述方法3中验证语言System Verilog的使用将算法模型的运行集成到了验证环境中，可以由验证用例控制执行，但System Verilog开发算法模块本身实现难度大，若后期涉及到2次开发或者维护都极为不方便，可移植性和灵活性差。

发明内容

有鉴于此，本发明的目的在于提出一种RAID验证中参数自动生成方法、装置及存储介质，该方法能够基于C语言实现的RAID算法模型，但在不提供其源代码的情况下，快速实现RAID验证过程中算法参数的自动生成，从而加速了RAID算法模块的验证进度，以解决背景技术中的技术问题。

基于上述目的，一方面，本发明提供了一种RAID验证中参数自动生成方法，该方法包括以下步骤：