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

说明书

技术领域

本发明涉及编程模型，更具体地说，涉及用于松耦合应用的同步和异步的面向数据编程模型的系统和方法。

背景技术

在当今的web应用中，浏览器端表示逻辑、服务器端“商业”逻辑以及用于持久数据访问和询问的逻辑之间的传统边界迅速变得模糊。这种边界的模糊在所谓的web混用(mash-up)中尤为显著，所述web混用通常使用异步(“AJAX”)逻辑在浏览器中一同呈现大量数据源和表示组件。目前，必须使用数据访问语言、服务器端编程模型和客户端脚本模型的结合对所述应用编程，这意味着为了在不同层之间移动，不得不全部重写程序或者对程序进行重大改变。所涉及的大量语言还意味着不付出艰苦的努力就无法很好地构建组件。

发明内容

在此提供一种用于全领域web应用以及其它松耦合分布式应用的统一编程模型，即，一种能够使用相同的基本编程构造来表示应用逻辑、用户交互作用和应用逻辑的模型。除了提供单一的编程方法之外，所述模型还简化了分布式web应用的构建、升级和维护。

一种被配置为用于建立和升级程序的反应器及其方法，包括：收件箱(inbox)，该收件箱被配置为用于对用于添加和删除操作的更新束(bundle)进行排队。将应用操作配置为用于将预状态与更新束进行比较以基于由更新束提供的添加和删除来确定激励状态。根据所述激励状态得出响应状态。从反应器看来，所述响应状态是外部可见的。

一种被配置为用于保持数据一致性的反应器及其方法。反应器包括收件箱，该收件箱被配置为用于接收更新信息。应用操作被配置为用于将更新信息应用于预状态以基于更新信息来确定激励状态。根据所述激励状态得出响应状态。所述响应状态是从反应器看来外部可见的唯一状态。

一种在包括计算机可读程序的计算机可用介质上实现的反应器，其中，所述计算机可读程序在计算机上执行时保持分布式网络中的数据一致性，所述反应器包括：收件箱，该收件箱被配置为用于接收更新信息；应用操作，被配置为用于将更新信息应用于预状态以基于更新信息来确定激励状态；以及根据所述激励状态的响应状态。所述响应状态是由分布式网络系统中的其它部件从反应器看来外部可见的唯一状态。

一种在包括计算机可读程序的计算机可用介质上实现的反应器，其中，所述计算机可读程序在计算机上执行时保持分布式网络中的数据一致性，所述反应器包括根据至少一个与反应器关联的关系提供的反应器状态，其中，根据在分布式网络系统中接收的更新信息来修改所述反应器状态。至少一个规则被配置为用于保持数据一致性，从而如果一致性被破坏，则反应失败，以致反应器状态回退到启动反应之前的状态。

一种用于在分布式系统中保持数据一致性的方法，包括：将更新信息输入到反应器，以原子方式(atomically)按照任何定单(order)执行在所有涉及的反应器中的所有规则，以便确定所述反应器以及反应中的其它反应器的响应状态和未来状态中的至少一个，如果至少一个规则无法满足，则以原子方式将所有涉及的反应器回退到它们在所述反应之前的各个状态，如果反应中的所有规则被满足，则产生用于其它反应器的更新信息，以在整个分布式系统中保持数据一致性。

一种被配置为用于保持数据一致性的系统，包括：多个反应器，设置在分布式系统内，其中，每个反应器包括：收件箱，被配置为用于接收更新信息；应用操作，被配置为用于将更新信息应用于预状态以基于更新信息确定激励状态；以及响应状态，该响应状态根据所述激励状态得出。响应状态是从反应器看来外部可见的唯一状态，其中，每个反应器处于以下两种情况中的至少一种：每个反应器异步响应于来自包括该反应器本身的其它反应器的更新信息；以及每个反应器同步响应于从其它反应器写入的数据。

通过以下对结合附图阅读的本发明示例性实施例的详细描述，这些和其它特征及优点将变得清楚。

附图说明

将参照附图公开以下对优选实施例的描述中的细节，在附图中：

图1是示出根据本发明原理的反应器的示例性核心语法的示图；

图2是示出根据本发明原理的可由反应器执行的示例性重写规则的示图；

图3是示出根据本发明原理的反应器的框图/流程图；

图4A和图4B是分别示出根据本发明原理的对于其它反应器的异步和同步引用的示图；以及

图5是示出根据本发明原理的反应器的状态和过渡的状态图；

图6是示出根据本发明原理的由反应器执行的操作的框图/流程图；以及