[发明专利]处理器动作检查系统及其检查方法

权利要求书

1.一种处理器动作检查系统，具备(1)处理器和(2)对其动作进行检查的动作检查部，其中，

(1)上述处理器具备：

(i)执行程序的运算部；

(ii)存储部，存储包括多个任务的上述程序；以及

(iii)数据发送电路，向上述动作检查部发送比特信号，该比特信号与对上述运算部执行上述程序的状态进行通知的命令相对应，

(2)上述动作检查部具备：

(i)过渡动作判断电路，对上述程序的过渡状态进行检查；和

(ii)循环处理判断电路，对循环处理的循环次数进行判断，

在各个上述任务中具备：

开始ID命令，预先在相应任务的开头地址中附加了对成为过渡源的上述任务进行识别的ID；

结束ID命令，在相应任务的最终地址中对该任务的动作结束进行识别；以及

循环命令，在相应任务执行循环处理的情况下，对该循环处理次数的最大值进行通知，

上述运算部或上述数据发送电路为，与上述开始ID命令对应的开始ID比特信号，成为对于构成上述程序的全部任务、能够对自身任务启动时的成为过渡源的任务和其他任务进行识别的状态信号，与上述结束ID命令对应的结束ID比特信号，成为对于构成上述程序的全部任务、能够对自身任务结束时的其他任务未启动的情况进行识别的状态信号，并且，分别生成与上述循环命令对应的最大值信号，并从上述数据发送电路向上述动作检查部发送，

(i)上述过渡动作判断电路求出动作结束的第一结束ID比特信号和接着启动的上述任务的第二开始ID比特信号之间的一致信号、上述一致信号和上述第二开始ID比特信号的排他逻辑和，而判断上述程序的任务的过渡动作是否良好，

(ii)上述循环处理判断电路将动作开始的第一开始ID比特信号和第一结束ID比特信号之间的一致信号作为增量信号进行计数，将该计数值和上述最大值进行比较，而判断循环处理次数的异常，在处理器执行程序的过程中检测任务的过渡动作的异常。

2.根据权利要求1所述的处理器动作检查系统，其特征在于，

上述过渡动作判断电路具备：

结束ID寄存器和开始ID寄存器，暂时存储上述结束ID比特信号和开始ID比特信号；

第一AND电路，在接收到上述任务的上述开始ID比特信号的定时，求出上述结束ID寄存器和上述开始ID寄存器的输出的逻辑一致；以及

EXOR电路，求出上述AND电路的输出和上述开始ID比特信号的排他逻辑和。

3.根据权利要求1所述的处理器动作检查系统，其特征在于，

上述循环处理判断电路具备：

结束ID寄存器、开始ID寄存器以及最大值寄存器，暂时存储上述结束ID比特信号、上述开始ID比特信号以及最大值信号；

第二AND电路，每当接收到上述结束ID比特信号时，就求出上述结束ID寄存器和上述结束寄存器的输出的一致信号；

计数器，将上述AND电路的输出作为增量信号进行计数；以及

比较电路，对上述计数器的计数值和上述最大值进行比较。

4.根据权利要求3所述的处理器动作检查系统，其特征在于，

上述第二AND电路根据上述第一AND电路的输出生成上述增量信号。

5.一种处理器动作检查系统的处理器动作检查方法，该处理器动作检查系统具备处理器和对其动作进行检查的动作检查部，在该处理器动作检查方法中，具备：

对于构成程序的全部任务，预先设定预先在相应任务的开头地址中附加了对成为过渡源的上述任务进行识别的ID的开始ID命令、在相应任务的最终地址中对该任务的动作结束进行识别的结束ID命令、以及在相应任务执行循环处理的情况下对该循环处理次数的最大值进行通知的循环命令的步骤；

与上述开始ID命令对应的开始ID比特信号，成为对于构成上述程序的全部任务、能够对自身任务启动时的成为过渡源的任务和其他任务进行识别的状态信号，与上述结束ID命令对应的结束ID比特信号，成为对于构成上述程序的全部任务、能够对自身任务结束时的其他任务未启动的情况进行识别的状态信号，并分别生成与上述循环命令对应的最大值信号的步骤；

求出动作结束的第一结束ID比特信号和接着启动的上述任务的第二开始ID比特信号之间的一致信号、上述一致信号和上述第二开始ID比特信号的排他逻辑和，而判断上述程序的任务的过渡动作是否良好的步骤；以及

上述循环处理判断电路将动作开始的第一开始ID比特信号和第一结束ID比特信号之间的一致信号作为增量信号进行计数，将该计数值和上述最大值进行比较，而判断循环处理次数的异常的步骤。