事务性内存（Transactional Memory，TM）被认为是现有内存同步操作的有前景的替代方法，而现有内存同步操作通常是提升应用程序并行性的最大阻碍。然而，由于降低性能开销、避免不必要的中止二者之间的竞争，TM的有效实现具有挑战性。

在本论文中，作者提出了一种基于事务可访问性的基于事务的乐观并发控制（Reachability-based Optimistic Concurrency Control for Transactional Memory， ROCoCoTM），该新方案将并发控制（concurrency control，CC）算法（TM系统的核心构件）卸载到可重配置的硬件中。为了降低中止率，作者开发了一种创新的主流CC算法的形式化方法，以揭示导致不必要中止导致的常见限制。 ROCoCo算法通过集中验证阶段解决了这一限制，可以在硬件中有效地流水线化。由于在可重配置的硬件中实现了高性能的卸载引擎，因此，ROCoCo算法可降低中止率并降低性能开销。整个系统在英特尔的HARP2平台上实现，并使用STAMP基准套件进行评估。实验表明，与TinySTM和基于Intel TSX的HTM相比，geomean速度分别提高了1.55倍和8.05倍。鉴于商用CPU-FPGA平台的部署的快速增长，ROCoCoTM为软件程序员铺平了道路，使他们可以利用高级事务抽象来利用异构计算资源，从而有效地提升现代应用程序中的并行性。

原文地址： https://dl.acm.org/citation.cfm?id=3358270