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

摘要

处理器动作检查系统及其检查方法。处理器(1)具备：运算部(12)；存储程序的存储部(12)；以及将与通知程序的执行状态的命令对应的比特信号发送到上述动作检查部的数据发送电路(13)。动作检查部(2)具备过渡动作判断电路(2a)和循环处理判断电路(2b)，具备：预先附加了识别成为过渡源的任务的ID的开始ID命令；识别任务的动作结束的结束ID命令；以及在相应任务执行循环处理的情况下通知该循环处理次数的最大值的循环命令；过渡动作判断电路根据开始ID命令和结束ID命令判断程序的任务的过渡动作是否良好，循环处理判断电路判断循环处理次数的异常。

主权项

一种处理器动作检查系统，具备(1)处理器和(2)对其动作进行检查的动作检查部，其中，(1)上述处理器具备：(i)执行程序的运算部；(ii)存储部，存储包括多个任务的上述程序；以及(iii)数据发送电路，向上述动作检查部发送比特信号，该比特信号与对上述运算部执行上述程序的状态进行通知的命令相对应，(2)上述动作检查部具备：(i)过渡动作判断电路，对上述程序的过渡状态进行检查；和(ii)循环处理判断电路，对循环处理的循环次数进行判断，在各个上述任务中具备：开始ID命令，预先在相应任务的开头地址中附加了对成为过渡源的上述任务进行识别的ID；结束ID命令，在相应任务的最终地址中对该任务的动作结束进行识别；以及循环命令，在相应任务执行循环处理的情况下，对该循环处理次数的最大值进行通知，上述运算部或上述数据发送电路为，与上述开始ID命令对应的开始ID比特信号，成为对于构成上述程序的全部任务、能够对自身任务启动时的成为过渡源的任务和其他任务进行识别的状态信号，与上述结束ID命令对应的结束ID比特信号，成为对于构成上述程序的全部任务、能够对自身任务结束时的其他任务未启动的情况进行识别的状态信号，并且，分别生成与上述循环命令对应的最大值信号，并从上述数据发送电路向上述动作检查部发送，(i)上述过渡动作判断电路求出动作结束的第一结束ID比特信号和接着启动的上述任务的第二开始ID比特信号之间的一致信号、上述一致信号和上述第二开始ID比特信号的排他逻辑和，而判断上述程序的任务的过渡动 作是否良好，(ii)上述循环处理判断电路将动作开始的第一开始ID比特信号和第一结束ID比特信号之间的一致信号作为增量信号进行计数，将该计数值和上述最大值进行比较，而判断循环处理次数的异常，在处理器执行程序的过程中检测任务的过渡动作的异常。