[发明专利]用于确保与数据模型有关的并发事务的一致性的系统和方法

权利要求书

1.一种确保与数据模型有关的并发事务的一致性的系统，包括：

一个或多个处理器，被配置为：

执行多个事务，包括当前事务和一个或多个并发事务；

其中：

所述当前事务具有当前开始时间和当前目标提交时间，并且所述一个或多个并发事务是在当前开始时间之后并且在当前目标提交时间之前的对应的一个或多个中间时间被提交到数据模型的；

执行提交处理检查以确定是否能够与有关于数据模型中的数据的一个或多个约束的集合一致地提交所述当前事务，提交处理检查至少部分地基于：作为从当前开始时间之时起数据模型的至少一部分的快照的对应于所述当前事务的快照；以及所述一个或多个并发事务对数据模型所作的一个或多个改变，

在确定为能够与有关于数据模型中的数据的一个或多个约束的集合一致地提交所述当前事务的情况下，提交所述当前事务；以及

在确定为不能够与有关于数据模型中的数据的一个或多个约束的集合一致地提交所述当前事务的情况下，中止所述当前事务；以及

耦合到所述一个或多个处理器的一个或多个存储器，被配置为所述一个或多个处理器提供指令。

2.根据权利要求1所述的系统，其中执行提交处理检查包括：

执行写入-写入冲突解决方案，包括确定是否能够在不中止所述当前事务的情况下解决写入-写入冲突，其中写入-写入冲突产生于由所述当前事务和所述一个或更多个并发事务中的至少一个进行的写入操作。

3.根据权利要求1所述的系统，其中执行提交处理检查包括根据由所述当前事务执行的操作来更新所述当前事务的快照，以提供被更新的快照。

4.根据权利要求1所述的系统，其中执行提交处理检查包括根据由所述一个或多个并发事务中的至少一些作出的所提交的改变来更新所述当前事务的快照，以提供被合并的快照。

5.根据权利要求1所述的系统，其中执行提交处理检查包括：

根据由所述一个或多个并发事务中的至少一些作出的所提交的改变来更新所述当前事务的快照，以提供被合并的快照；以及

使用所述被合并的快照来估计一个或多个约束的集合中的一个或多个断言约束。

6.根据权利要求1所述的系统，其中执行提交处理检查包括：

针对所述当前事务确定数据模型的将要由于提交所述当前事务而作为一个或多个约束的集合中的一个或多个更新约束的结果被更新的目标成员；

确定提交所述当前事务以及根据所述一个或多个更新约束来更新目标成员是否将与一个或多个约束的集合一致。

7.根据权利要求1所述的系统，其中使用公共时钟来按轮次组织事务中的一些或全部。

8.根据权利要求1所述的系统，其中一个或多个约束的集合包括如下中的一个或多个：断言约束、更新约束、异步约束和/或松弛断言约束。

9.根据权利要求1所述的系统，其中一个或多个约束的集合充分地确保并发事务应用程序的正确行为。

10.根据权利要求1所述的系统，其中执行提交处理检查包括执行用户供给的用于检查一个或多个约束的集合的代码。

11.根据权利要求1所述的系统，其中执行提交处理检查包括执行自动生成的用于检查一个或多个约束的集合的约束检查代码。

12.根据权利要求11所述的系统，其中从一个或多个约束的集合生成自动生成的约束检查代码。