用于高效地执行事务的装置、方法和系统

摘要

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