[发明专利]冗余系统中的状态同步

摘要

一个冗余系统(20)包含一个第一单元(21)、一个第二单元(22)以及一个同步服务器(24)。该第一单元(21)和第二单元(22)中每个都包含多个状态机(SM)用于执行任务。在第一单元中提供的至少一些状态机和在第二单元中提供的至少一些相应的状态机同时执行相同的任务。当第二单元中的一个状态机需要再同步时，该同步服务器(24)从第二单元的请求再同步的状态机接收一个再同步请求(2-1)，并随即向第一单元的相应状态机提供一个不同步指示(2-2)。作为对来自于同步服务器的一个不同步指示(2-2)的响应，第一单元的相应状态机在一个它认为合适的时间产生一个再同步请求(2-3)。作为对来自于该相应状态机的再同步请求(2-3)的响应，该同步服务器向第二单元请求同步的状态机和第一单元的相应状态机发布一个再同步命令(2-4)，并使它们同时进行再同步。第一单元和第二单元中至少有一个包含重新启动逻辑，其规定了多个状态机的重新启动次序，由此提供了这些冗余单元的状态机的逐步启动。此后这多个状态机中的每一个都控制它自己的再同步。

主权项

1.一个冗余系统包含：一个第一单元和一个第二单元，其中每一个都包含多个状态机用于执行任务，在第一单元中提供的一个状态机和在第二单元中提供的一个相对应的状态机执行相同的任务；一个同步服务器，用于从第二单元的请求再同步的状态机接收一个再同步请求，并随即向第一单元的一个相应状态机提供一个不同步指示；其中，对来自于同步服务器的不同步指示做出响应，第一单元的相应状态机产生一个再同步请求；其中，作为对来自于第一单元状态机的再同步请求的响应，该同步服务器向第一单元的相应状态机和第二单元请求再同步的状态机发布一个再同步命令；其中，作为对该再同步命令的响应，第二单元请求再同步的状态机和第一单元的相应状态机同时进行再同步。