[发明专利]使用缓存写和强制串行化次序的事务存储器

权利要求书

1.一种在软件事务存储器系统中提供缓存写的方法，所述方法包括：

提供可用于管理多个事务的软件事务存储器系统，其中执行所述事务以在 位于可由一个或多个执行线程访问的共享存储器中的对象上执行操作；

提供执行对于对象的阴影副本的写入和读取以取代执行对对象本身的写 入和读取，并在提交处理期间确认了所述多个事务中的相应事务之后将内容从 所述阴影副本写回所述对象的缓存写处理，其中，所述缓存写处理通过访问指 向存储在对象中的阴影副本的指针来确定所述对象的阴影副本的位置；以及

提供确保提交所述多个事务的次序匹配所述多个事务的抽象串行化次序 的事务排序处理。

2.如权利要求1所述的方法，其特征在于，所述缓存写处理可用于在第 一次获得写锁时制作所述对象中的特定的一个对象的特定阴影副本。

3.如权利要求2所述的方法，其特征在于，所述缓存写处理可用于在所 述特定阴影副本已经存在的情况下访问所述对象中的特定的一个对象的该特 定阴影副本。

4.权利要求1所述的方法，其特征在于，所述事务排序处理可用于使用 全局数据结构来确保提交所述事务的次序匹配所述抽象串行化次序。

5.如权利要求4所述的方法，其特征在于，所述全局数据结构包括进入 提交计数器和退出提交计数器，所述进入提交计数器表示已经进入提交处理的 事务的第一数量，而所述退出提交计数器表示已经退出提交处理的事务的第二 数量。

6.如权利要求5所述的方法，其特征在于，在相应事务进入提交处理时， 所述相应事务原子地读取并递增所述进入提交计数器，并将从所述进入提交计 数器中读取的值分配为所述相应事务的票数。

7.如权利要求6所述的方法，其特征在于，所述相应事务在提交处理之 后所述相应事务被允许继续进行之前等待，直到所述退出提交计数器匹配所述 相应事务的票数。

8.如权利要求1所述的方法，其特征在于，所述缓存写处理和所述事务 排序处理的使用确保避免私有化相关问题。

9.一种用于在软件事务存储器系统中提供缓存写的方法，所述方法包括 以下步骤：

提供可用于管理多个事务的软件事务存储器系统，其中执行所述事务以在 位于可由一个或多个执行线程访问的共享存储器中的对象上执行操作；

在为特定事务首先获得写锁时，制作特定对象的阴影副本；

执行对所述阴影副本的写入和读取以取代响应于所述特定事务的执行而 对所述特定对象的写入和读取，并且对所述阴影副本的写入和读取包括通过访 问指向存储在特定对象中的阴影副本的指针来确定所述特定对象的阴影副本 的位置；以及

在提交处理期间确认了所述特定事务之后，将内容从所述阴影副本写入所 述特定对象。

10.如权利要求9所述的方法，其特征在于，所述特定对象具有在对象首 部中的事务存储器字，所述事务存储器字可用于跟踪锁类型和版本。

11.如权利要求10所述的方法，其特征在于，所述事务存储器字表示指 向所述阴影副本的指针。

12.如权利要求9所述的方法，其特征在于，允许所述特定事务以与所述 特定事务被串行化时的次序相同的次序从提交处理中退出。

13.如权利要求12所述的方法，其特征在于，还提供进入提交计数器和 退出提交计数器，所述进入提交计数器表示已经进入提交处理的事务的第一数 量，而所述退出提交计数器表示已经退出提交处理的事务的第二数量；

在特定事务进入提交处理时，所述特定事务原子地读取并递增所述进入提 交计数器，并将从所述进入提交计数器中读取的值分配为所述特定事务的票 数；

所述特定事务在提交处理之后所述特定事务被允许继续进行之前等待，直 到所述退出提交计数器匹配所述特定事务的票数；

所述特定事务在所述特定事务的票数匹配用于标识应被允许提交的下一 事务的全局计数器之前不从提交处理中退出。