[发明专利]一种跨平台的程序指令重排的验证方法

权利要求书

1.一种跨平台的程序指令重排的验证方法，其特征在于将两个应用进程对同一块共享内存读写并发操作，运行时写进程在某地址写数据时，读进程在该地址上追赶到写进程进行读操作；具体方法如下：

写进程程序，主流程中执行两个步骤：

先进行Data变量赋值操作，后进行Flag变量的赋值操作；

读进程程序，主流程中执行两个步骤：

先判断Flag变量是否就绪；就绪后再进行Data变量的读操作，然后检查Data值和上一次读取值preData之差，差值不为1则表示指令重排。

2.如权利要求1所述的一种跨平台的程序指令重排的验证方法，其特征在于所述应用进程中的变量Data和Flag在内存实现中组成程序操作的最小单元，以便读写进程的使用，因此程序中使用结构体将两个变量组合成逻辑上的整体。

3.如权利要求1所述的一种跨平台的程序指令重排的验证方法，其特征在于所述共享内存是一块大小固定且连续的共享内存，形同一块连续的数组。

4.如权利要求2所述的一种跨平台的程序指令重排的验证方法，其特征在于所述的共享内存为首尾相接的环形结构。

5.如权利要求1-4任一所述的一种跨平台的程序指令重排的验证方法，其特征在于所述验证方法，具体如下：

a.写进程负责内存数据的生成，写进程使用写指针操作共享内存，从第一位置开始，将Data和Flag赋一个相同的64位的long long类型值，使用相同的数值用于读进程进行数据判断，赋值完成后，写指针后移一位，同时，下一个位置的赋值递增一；

b.读进程负责内存数据的读取，同时，通过对Flag和Data的数据检查，完成对程序运行状态的验证，判断进程运行过程中CPU操作是否发生了指令重排，读进程使用读指针操作共享内存，在读进程中设置一个变量为preData，初始化为0，该值记录每次读进程获取到的内存位置中的Data值，供读进程进行数据正确性判断。