[发明专利]用于保持数据一致性的方法和系统

权利要求书

1、一种用于在分布式网络中保持数据一致性的反应器，所述反应器包括：

收件箱，被配置为用于接收更新信息；

应用操作，被配置为用于将更新信息应用于预状态，以基于更新信息确定激励状态；以及

响应状态，其根据激励状态来确定，所述响应状态是由分布式网络系统中的其它组件从反应器看来外部可见的唯一状态，从而反应器对更新信息作出反应，并在分布式网络中通过其可见状态来启动其它反应，以保持数据一致性。

2、如权利要求1所述的反应器，还包括至少一个规则，所述规则在反应期间进一步定义反应器的至少一个状态。

3、如权利要求2所述的反应器，其中，所述至少一个规则包括如下的一个或多个规则，所述一个或多个规则被递归地执行以提供响应状态。

4、如权利要求3所述的反应器，其中，所述至少一个规则是声明的，并被配置用于与定单无关的执行。

5、如权利要求1所述的反应器，其中，反应器保持静止，直到被更新束激励。

6、如权利要求1所述的反应器，其中，对于反应器，所述更新束被作为目标。

7、如权利要求1所述的反应器，还包括：基于预状态、激励状态和响应状态确定的未来状态。

8、如权利要求7所述的反应器，其中，未来状态的确定导致将更新束分派到包括所述反应器自身的其它反应器，以异步地启动后来的反应。

9、如权利要求1所述的反应器，其中，反应器的反应以原子方式发生。

10、如权利要求9所述的反应器，其中，使用在反应的持续期间锁定反应器的锁定机制来获得原子性。

11、如权利要求1所述的反应器，其中，所述反应器对同步交互作用和异步交互作用都进行处理。

12、一种用于在分布式网络中保持数据一致性的反应器，所述反应器包括：

根据与反应器关联的至少一个关系提供的反应器状态，其中，反应器状态能根据在分布式网络系统中接收的更新信息来修改；以及

至少一个规则，其被配置为用于保持数据一致性，从而如果一致性被破坏，则反应失败，以使得反应器状态回退到在反应被启动之前的状态。

13、如权利要求12所述的反应器，其中，所述至少一个规则是声明的，并被配置用于与定单无关的执行。

14、如权利要求12所述的反应器，其中，反应器状态在反应成功时被修改，并且在反应失败的情况下保持不变。

15、如权利要求12所述的反应器，其中，所述至少一个关系包括用于定义反应器状态的关系的集合。

16、如权利要求12所述的反应器，其中，更新信息包括由反应器接收的更新束，更新束包括将被添加和/或删除以变更反应器状态的信息。

17、如权利要求12所述的反应器，其中，反应器保持原子性，从而响应状态是从反应器外部可见的唯一状态。

18、如权利要求12所述的反应器，其中，反应器包括预状态，并且如果反应失败，则反应器回退到预状态。

19、如权利要求12所述的反应器，其中，反应器对同步交互作用和异步交互作用都进行处理。

20、如权利要求1所述的反应器，其中，反应器之间的接口是数据，从而反应器对数据更新作出反应。

21、一种用于在分布式系统中保持数据一致性的方法，包括：

将更新信息输入到反应器；

以原子方式按照任何定单执行在所有涉及的反应器中的所有规则，以便确定所述反应器以及反应中的其它反应器的响应状态和未来状态中的至少一个；

如果至少一个规则无法满足，则以原子方式将所有涉及的反应器回退到它们在所述反应之前的各个状态；以及

如果反应中的所有规则被满足，则产生用于包括所述反应器的其它反应器的更新信息，以在整个分布式系统中保持数据一致性。

22、如权利要求21所述的方法，其中，产生用于目标反应器的更新信息包括：当反应器执行静止时，对于每个反应的每个目标反应器产生一个更新束。