[发明专利]基于Zynq-7000的双核ARM处理器抗单粒子翻转防护方法

权利要求书

1.基于Zynq-7000的双核ARM处理器抗单粒子翻转的防护方法，其特征在于，该方法包括如下步骤：

采用双核互检方法对双核所执行的程序进行错误检测，再对检测出的错误进行回卷恢复，实现错误的恢复；

所述采用双核互检方法对双核所执行的程序进行错误检测，再对检测出的错误进行回卷恢复，实现错误的恢复的具体过程为：

步骤一：双核分别定义为CPU0和CPU1，将CPU0的输入复制到CPU1中，确保二者具有相同的输入信息；所述CPU0和CPU1中执行相同的程序，该程序被分成的m-1段，每段的末尾为一个检查点，检查点的序号为i，i的初值为1，i为整数，m为大于3的整数；

步骤二：分别在CPU0和CPU1中，从当前程序执行的位置并行执行到第i个检查点；再将CPU0的执行结果复制给CPU1后，同时执行步骤三一和步骤四一；

步骤三一：CPU1的定时器开始计数，执行步骤三二；

步骤三二：将CPU1的执行结果与CPU0的执行结果进行比较，判断CPU1输出的比较结果是否相同，结果为是，执行步骤五，结果为否，执行步骤三三；

步骤三三：判断CPU1的定时器AWDT1是否超时，结果为是，CPU0和CPU1中的程序回卷至上一检查点，执行步骤二，结果为否，执行步骤三四；

步骤三四：判断CPU0的定时器AWDT0是否超时，结果为是，CPU0和CPU1中的程序卷回至上一检查点，执行步骤二，结果为否，执行步骤三二；

步骤四一:CPU0的定时器开始计数，执行步骤四二；

步骤四二：CPU0等待CPU1的比较结果，并判断CPU0是否接收到CPU1的比较结果，结果为是，执行步骤四三，结果为否，执行步骤四五；

步骤四三：判断CPU1输出的比较结果是否相同，结果为是，执行步骤五，结果为否，执行步骤四四；

步骤四四：CPU0和CPU1中的程序回卷至上一检查点，执行步骤二；

步骤四五：判断CPU0的定时器是否超时，结果为是，CPU0和CPU1中的程序回卷至上一检查点，执行步骤二，结果为否，执行步骤四二；

步骤五：令i＝i+1，判断i是否大于m，结果为是，结束程序，结果为否，执行步骤二。