[发明专利]提供高完整性处理的方法

权利要求书

1.一种在具有至少两个冗余处理通道的高完整性处理系统中提供同步和完整性检查的方法，其中每个通道具有应用处理器，其中所述应用处理器采用非锁步配置来运行相同的应用软件，并且输出需要访问可寻址空间的事务，所述方法包括：

输出来自第一应用处理器的第一事务；

在执行所述第一事务之前将所述第一事务存储在第一缓冲器中；

将所述第一事务存储在与第二应用处理器关联的第二缓冲器中；

输出来自所述第二应用处理器的第二事务；

将所述第二事务存储在第二缓冲器中；

比较所述第一事务和第二事务来确定它们是否匹配；以及

当它们匹配时使在它们对应的通道中的所述第一事务和第二事务的处理生效。

2.如权利要求1所述的方法，进一步包括当所述第一事务和第二事务不匹配时将错误记录在存储器中。

3.如权利要求2所述的方法，进一步包括当所述第一事务和第二事务不匹配时刷新所述第一缓冲器。

4.如权利要求1所述的方法，其中，所述第二事务在所述第二缓冲器中的所述存储在所述比较之前发生。

5.如权利要求1所述的方法，其中，所述第一事务在所述第二事务的所述输出之前存储在所述第二缓冲器中。

6.如权利要求1所述的方法，其中，所述第二事务存储在所述第一缓冲器中。

7.如权利要求6所述的方法，其中，所述第二事务在所述比较之前存储在所述第一缓冲器中。

8.如权利要求6所述的方法，其中，所述比较包括使所述第一事务和第二事务从所述第一缓冲器和第二缓冲器出栈，然后比较所出栈的第一事务和第二事务。

9.如权利要求8所述的方法，其中，当所述第一事务包括写访问并且所述第二事务包括对与所述写访问相同的地址的读访问时，所述第二事务在所述第一事务后存储在所述第二缓冲器中。

10.如权利要求9所述的方法，进一步包括从所述第二应用处理器输出第三事务，并且当所述第三事务包括对与所述第一事务相同的地址的写访问时，所述第一事务和第三事务从所述第一缓冲器出栈并且代替所述第一事务和第二事务、在所述第一事务和第三事务之间进行所述比较。

11.如权利要求1所述的方法，进一步包括在对应于所述第一应用处理器的第一数据一致性器中接收所述第一事务。

12.如权利要求11所述的方法，其中，在缓冲器中存储所述第一事务包括在对应于所述第一数据一致性器的第一事务存储器中存储所述第一事务。

13.如权利要求12所述的方法，进一步包括将所述第一事务传递到所述第二应用处理器的第二数据一致性器，并且将所述第一事务存储在对应于所述第二数据一致性器的第二事务存储器中。

14.如权利要求13所述的方法，进一步包括在所述第二数据一致性器中接收所述第二事务。

15.如权利要求14所述的方法，进一步包括将所述第二事务传递到所述第一事务存储器。

16.如权利要求15所述的方法，进一步包括使所述第一事务和第二事务从所述第一事务存储器和第二事务存储器出栈，然后进行所述比较。

17.如权利要求15所述的方法，其中，当所述第一事务包括写访问并且所述第二事务包括对与所述写访问相同的地址的读访问时，所述第二事务在所述第一事务后存储在所述第一事务存储器和第二事务存储器中。

18.如权利要求17所述的方法，进一步包括从所述第二应用处理器输出第三事务，并且当所述第三事务包括对与所述第一事务相同的地址的写访问时，所述第三事务由所述第二数据一致性器接收，所述第二数据一致性器将所述第三事务保存在所述第二事务存储器中并且将所述第三事务传递到所述第一数据一致性器，所述第一数据一致性器将所述第三事务保存在所述第一事务存储器中，并且所述第一事务和第三事务从所述第一事务存储器和第二事务存储器出栈并且代替所述第一事务和第二事务、在所述第一事务和第三事务之间进行所述比较。

19.如权利要求11所述的方法，进一步包括在对应于所述第一应用处理器的多个数据一致性器中接收所述第一事务。