[发明专利]运算装置、冗余化系统及程序以及冗余化结构的构建方法

权利要求书

1.一种运算装置，构成冗余化系统，

所述运算装置具备：

感测部，被构成为感测在本装置的工作中新加入于所述冗余化系统的其他运算装置；以及

构建处理部，被构成为执行用于构建与所述其他运算装置的冗余化结构的构建处理，

所述构建处理部具有：

第一发送部，确定所述构建处理的开始时的、所述冗余化结构的构建所需的本装置的状态信息即构建开始状态信息，并向所述其他运算装置发送；以及

第二发送部，在每当给定定时到来时，反复执行变更差分的确定及向所述其他运算装置的发送，直到满足给定的结束条件为止，该变更差分是通过在所述构建开始状态信息的确定后进行的本装置的运算处理而产生的所述状态信息的、与所述构建开始状态信息的确定时或者从前一个到来时起的差分。

2.根据权利要求1所述的运算装置，其中，

所述运算装置还具备：运算处理部，与所述构建处理的执行的有无不相关地，对输入到所述冗余化系统的输入数据执行所述运算处理。

3.根据权利要求1所述的运算装置，其中，

所述结束条件包括基于所述变更差分的数据尺寸来决定的第一条件。

4.根据权利要求3所述的运算装置，其中，

所述第一条件是所述变更差分的数据尺寸相对于所述构建开始状态信息的数据尺寸的比例为阈值以下。

5.根据权利要求1所述的运算装置，其中，

所述结束条件包括决定了处理经过时间为给定时间以上的第二条件。

6.根据权利要求1所述的运算装置，其中，

所述运算装置还具备：通知部，被构成为在允许时间内不满足所述结束条件的情况下进行通知，

所述第二发送部在所述允许时间内不满足所述结束条件的情况下将所述构建处理中止。

7.一种冗余化系统，具备：

第一服务器，被构成为使第一程序在虚拟OS上动作，该第一程序用于使计算机实现所希望的运算处理；以及

第二服务器，被构成为与所述第一服务器进行冗余化，且使所述第一程序在虚拟OS上动作，

所述第一服务器及所述第二服务器各自的所述第一程序被构成为，在彼此的状态一致的同时进行动作，并且，

所述第一服务器及所述第二服务器分别被构成为，用于使计算机实现权利要求1所述的运算装置的功能的第二程序动作。

8.一种程序，用于使计算机实现感测部和构建处理部，

所述感测部被构成为感测在工作中新加入于冗余化系统的其他运算装置，

所述构建处理部被构成为执行用于构建与所述其他运算装置的冗余化结构的构建处理，

所述构建处理部具有：

第一发送部，确定所述构建处理的开始时的、所述冗余化结构的构建所需的本装置的状态信息即构建开始状态信息，并向所述其他运算装置发送；以及

第二发送部，在每当给定定时到来时，反复执行变更差分的确定及向所述其他运算装置的发送，直到满足给定的结束条件为止，该变更差分是通过在所述构建开始状态信息的确定后进行的本装置的运算处理而产生的所述状态信息的、与所述构建开始状态信息的确定时或者从前一个到来时起的差分。

9.一种冗余化结构的构建方法，具备：

感测在工作中新加入于冗余化系统的其他运算装置的步骤；以及

执行用于构建与所述其他运算装置的冗余化结构的构建处理的步骤，

执行所述构建处理的步骤具有：

确定所述构建处理的开始时的、所述冗余化结构的构建所需的本装置的状态信息即构建开始状态信息，并向所述其他运算装置发送的步骤；以及

在每当给定定时到来时，反复执行变更差分的确定及向所述其他运算装置的发送，直到满足给定的结束条件为止的步骤，该变更差分是通过在所述构建开始状态信息的确定后进行的本装置的运算处理而产生的所述状态信息的、与所述构建开始状态信息的确定时或者从前一个到来时起的差分。