论文部分内容阅读
软件事务性内存（STM）提供同步手段，让多线程程序高效并发执行。如果两个事务访问了同一个共享数据且至少一个事务进行了修改操作，则称发生了冲突。检测冲突后，一般选择一个事务终止。当前的STM实现都基于严格的线性一致，（Linearizability）语义模型，实现简单。但是，基于该语义会导致很多本来可以完成提交的事务失败，降低了系统效率。把因果一致性模型应用于STM，可以在保证程序准确性条件下取得较好的实际性能。实验数据表明，该算法简单高效，明显减少了冲突数目。