高效且一致的软件事务存储器

摘要

在此描述了一种用于软件事务存储器(STM)系统中的高效且一致的验证/冲突检测的方法和装置。在加载操作之后插入版本检查屏障，以比较加载操作前后的加载值的版本。另外，全局时间戳(GTS)被用来跟踪最新提交的事务。每个事务都与在事务开始时被初始化为GTS值的局部时间戳(LTS)相关联。随着事务提交，将GTS更新为新值并将所修改的单元的版本设置为该新值。未决事务将在读屏障中确定的版本与它们的LTS进行比较。如果该版本大于它们的LTS，这指示出另一事务已在未决事务开始且初始化LTS之后被提交，则该未决事务验证其读集以保持高效且一致的事务执行。

主权项

一种用于提供按需事务验证的装置，包括：存储模块，响应于开始执行第一事务，在与所述第一事务相关联的第一局部事务值中存储用于表示最近提交的事务的全局事务值；版本模块，用于在与数据地址相关联的元数据单元中保持所述数据地址的当前版本值，所述当前版本值基于与用于更新所述数据地址的最近事务相关联的所述全局事务值；验证模块，用于作为对于遇到被包括在所述第一事务中、且涉及所述数据地址的当前的读操作的响应，响应于来自与所述数据地址相关联的所述元数据单元的所述当前版本值大于用来指示比所述第一事务更近的事务已经更新了所述数据地址的局部事务值，而验证来自所述第一事务的多个先前的读操作。