[发明专利]一种基于MIPS处理器vxWorks系统的验证方法和装置

说明书

本发明实施例提供了一种基于MIPS处理器vxWorks系统的验证方法。所述方法包括：验证程序随机生成至少一种预设长度的测试数据单元，获取MIPS处理器的内存的对齐地址，针对所述对齐地址向后查找设定位置差值的地址，得到非对齐地址，所述设定位置差值为测试数据单元的长度的非整数倍的数值，将至少一种长度的所述测试数据单元写入所述非对齐地址对应的内存，若写入过程正常，则验证通过。依据本发明方案，使得可以对内存进行非对齐地址访问，预先验证vxWorks系统能够处理非对齐地址访问，确保vxWorks系统不存在非对齐地址的访问导致异常的隐患，也不存在系统访问非对齐地址导致异常重启的隐患。

技术领域

本发明涉及内存访问技术领域，特别是涉及一种基于MIPS处理器vxWorks系统的验证方法和一种基于MIPS处理器vxWorks系统的验证装置。

背景技术

目前，计算机主要的体系架构可以分为两类，复杂指令集计算机(英文全称：Complex Instruction Set Computing，英文简称：CISC)和精简指令集计算机(英文全称：Reduced Instruction Set Computing，英文简称：RISC)。两类体系架构对要访问的一定长度的数据的地址是要有对齐要求的，其中RISC体系架构对对齐要求更为严格，例如：MIPS(英文全称：Microprocessor without interlocked piped stages，中文名称：无内部互锁流水级的微处理器)属于一种RISC体系架构。不同体系架构的非对齐地址访问会带来以下几种问题：程序运行速度慢、程序死锁、操作系统异常重启、程序运行产生错误的结果。

使用访存指令读取或写入数据单元时，目标地址必须是所访问之数据单元字节数的整数倍，叫做地址对齐访问。例如，在MIPS平台上，读取一个2个字节长度的数据单元时，存储器的地址必须是2的整数倍；读取一个4个字节长度的数据单元时，存储器的地址必须是4的整数倍；写入一个8个字节长度的数据单元时，存储器的地址必须是8的整数倍。MIPS平台一旦遇到非对齐地址的变量访问就会出现系统异常,需要靠操作系统软件处理非对齐地址访问异常，如果操作系统中没有处理好非对齐地址访问异常会出现系统重启的故障。

vxWorks系统是一种嵌入式实时操作系统，这种操作系统小巧且具有可裁剪性，在开发时为了精简系统或对系统进行裁剪时，可能导致vxWorks系统不具备处理非对齐地址的访问的能力，存在非对齐地址的访问导致异常的隐患，存在系统访问非对齐地址导致异常重启的隐患。

发明内容

本发明实施例所要解决的技术问题是提供一种基于MIPS处理器vxWorks系统的验证方法及装置，以便预先验证vxWorks系统能够处理非对齐地址访问，确保vxWorks系统不存在非对齐地址的访问导致异常的隐患。

为了解决上述问题，本发明公开了一种基于MIPS处理器vxWorks系统的验证方法，包括：

验证程序随机生成至少一种预设长度的测试数据单元，所述验证程序运行于vxWorks系统，所述vxWorks系统运行于MIPS处理器上；

所述验证程序获取MIPS处理器的内存的对齐地址；

所述验证程序针对所述对齐地址向后查找设定位置差值的地址，得到非对齐地址，所述设定位置差值为测试数据单元的长度的非整数倍的数值；

所述验证程序将至少一种长度的所述测试数据单元写入所述非对齐地址对应的内存，若写入过程正常，则验证通过。

优选地，所述获取MIPS处理器的内存的对齐地址包括：

获取在所述处理器的内存中请求的连续的内存块的首地址；

针对所述首地址向后取整得到所述对齐地址。

优选地，所述针对所述首地址向后取整得到所述对齐地址包括：