[发明专利]事务性的存储器中的事务处理

权利要求书

1.一种控制具有对共享存储器的访问的原子事务202的方法，所述方法包括：

征募304至少一个非存储器资源管理器210；

征募304被配置成管理事务性的存储器212的存储器资源管理器208；

调用被配置成判断所述非存储器和存储器资源管理器208，210是否表决提交所述事务308的提交协议；

如果所述非存储器和存储器资源管理器208，210表决提交所述事务314，则提交所述事务；

如果所述存储器资源管理器208没有表决提交所述事务312，则重新执行所述事务302，318；以及

如果所述非存储器资源管理器208中的至少一个没有表决提交所述事务312，则中止所述事务318。

2.如权利要求1所述的方法，其特征在于，所述共享存储器包括征募所述存储器资源管理器之前的原始状态，其特征在于，所述重新执行所述事务包括将所述共享存储器回滚到所述原始状态。

3.如权利要求2所述的方法，其特征在于，在提交所述事务时，使对所述原始状态的更改持久，并使其处于所述公共状态。

4.如权利要求1所述的方法，其特征在于，重新执行所述事务包括重复地重新执行所述事务，直到所述事务中的所有资源管理器都表决提交或中止所述事务。

5.如权利要求1所述的方法，其特征在于，如果在所述事务过程中没有发生存储器冲突，则所述存储器资源管理器表决提交。

6.如权利要求1所述的方法，其特征在于，当所述非存储器资源管理器表决提交所述事务而至少一个存储器资源管理器表决中止时，重新执行所述事务。

7.如权利要求1所述的方法，其特征在于，所述提交协议包括准备阶段和提交阶段。

8.如权利要求1所述的方法，其特征在于，包括定义所述原子事务的边界。

9.如权利要求1所述的方法，其特征在于，所述原子事务包括嵌套的原子事务。

10.如权利要求9所述的方法，其特征在于，所述提交协议平化所述原子事务以及所述嵌套的原子事务。

11.如权利要求9所述的方法，其特征在于，执行所述嵌套的原子事务，直到在执行所述原子事务之前它被提交。

12.如权利要求1所述的方法，其特征在于，所述资源管理器是易失性资源管理器。

13.一种运行时环境，其在计算设备100上操作，并被配置成操作具有原子事务202的应用程序，所述原子事务202具有对共享存储器的访问，所述运行时环境包括：

存储器控制机制212，其被配置成通过乐观并发来控制对所述共享存储器中的变量的访问；

资源管理器208，210的库，其特征在于，所述资源管理器中的至少两个被配置成被征募到所述事务中，并被加载到所述计算设备100上的存储器104中，其中，所述资源管理器中的所述至少两个包括被配置成被征募参与管理所述存储器控制机制212的存储器资源管理器208；以及

被加载到所述易失性存储器104并耦合到所述被征募的资源管理器304，208，210的事务管理器216，其中，所述事务管理器216被配置成从所述被征募的资源管理器208，210接收关于是否提交所述事务310的表决218，其中，所述存储器资源管理器208依赖于在所述事务312过程中是否发生了存储器冲突来进行表决。

14.如权利要求13所述的运行时环境，其特征在于，所述计算设备包括按多个并行性的类中的一个排列的多个处理器，并且，其中，所述原子事务被包括在具有在所述处理器中的至少两个上运行的具有多个线程的应用程序的一个线程上。

15.如权利要求13所述的运行时环境，其特征在于，所述存储器控制机制是事务性的存储器。