[论文解读] Hardware extensions to make lazy subscription safe

Dave Dice, Timothy L. Harris+3 more|arXiv (Cornell University)|Jul 23, 2014

Distributed systems and fault tolerance参考文献 18被引用 9

一句话总结

本文提出硬件扩展，以安全地在事务锁消除（Transactional Lock Elision, TLE）和单全局锁（Single-Global-Lock, SGL）事务系统中启用懒惰订阅（lazy subscription），其中锁订阅被推迟到事务提交时才进行。作者表明，朴素的懒惰订阅存在不安全问题，会导致数据不一致和中止漏洞，且现有编译器或硬件解决方案不足以应对。其硬件扩展无需编译器支持或手动分析，即可消除这些缺陷，从而实现安全且高效的懒惰订阅，带来性能提升。

ABSTRACT

Transactional Lock Elision (TLE) uses Hardware Transactional Memory (HTM) to execute unmodified critical sections concurrently, even if they are protected by the same lock. To ensure correctness, the transactions used to execute these critical sections "subscribe" to the lock by reading it and checking that it is available. A recent paper proposed using the tempting "lazy subscription" optimization for a similar technique in a different context, namely transactional systems that use a single global lock (SGL) to protect all transactional data. We identify several pitfalls that show that lazy subscription \emph{is not safe} for TLE because unmodified critical sections executing before subscribing to the lock may behave incorrectly in a number of subtle ways. We also show that recently proposed compiler support for modifying transaction code to ensure subscription occurs before any incorrect behavior could manifest is not sufficient to avoid all of the pitfalls we identify. We further argue that extending such compiler support to avoid all pitfalls would add substantial complexity and would usually limit the extent to which subscription can be deferred, undermining the effectiveness of the optimization. Hardware extensions suggested in the recent proposal also do not address all of the pitfalls we identify. In this extended version of our WTTM 2014 paper, we describe hardware extensions that make lazy subscription safe, both for SGL-based transactional systems and for TLE, without the need for special compiler support. We also explain how nontransactional loads can be exploited, if available, to further enhance the effectiveness of lazy subscription.

研究动机与目标

• 解决基于TLE和SGL的事务系统中懒惰订阅的安全问题，其中锁订阅被推迟会导致错误行为。
• 识别并分析现有方法中的微妙正确性缺陷，包括基于编译器的静态分析和提出的硬件扩展。
• 证明当前的编译器和硬件解决方案不足以完全防止在懒惰订阅下的正确性违规。
• 提出实用的硬件扩展，使懒惰订阅在TLE和SGL系统中均安全，且无需特殊编译器支持。
• 探讨硬件支持下，非事务性加载如何进一步提升懒惰订阅的有效性。

提出的方法

• 设计硬件扩展，以检测并防止在推迟锁订阅直到提交的硬件事务中出现的错误行为。
• 引入机制，确保订阅前的所有内存访问保持一致，且不会导致可观测的局部影响。
• 扩展HTM以支持非事务性加载，使此类指令可在关键段中安全使用，而不损害正确性。
• 集成硬件检查，仅在所有关键段操作完成且原子性得到保证后，才验证锁的可用性。
• 确保任何来自非事务性存储的副作用在事务中止时不可见，从而保持语义一致性。
• 设计硬件，强制订阅仅在所有事务读写操作完成后发生，防止不一致的观察结果。

实验结果

研究问题

• RQ1 在基于TLE和SGL的事务系统中，推迟锁订阅会引发哪些根本性的正确性问题？
• RQ2 为何现有的基于编译器的静态分析技术不足以确保懒惰订阅的安全性？
• RQ3 能否设计出硬件扩展，在确保正确性的同时消除对编译器支持的需求？
• RQ4 非事务性加载如何影响懒惰订阅的安全性和有效性，需要何种硬件支持？
• RQ5 实现使懒惰订阅在各种工作负载下均安全的硬件扩展的实际成本和复杂度如何？

主要发现

• 在TLE中，懒惰订阅不安全，因为未经修改的关键段可能因锁订阅延迟而观察到不一致的数据或部分效应。
• 现有用于确保早期订阅的编译器支持不足以防止所有正确性违规，尤其是在复杂代码路径中。
• 先前工作中提出的硬件扩展未能完全解决所识别的正确性缺陷，仍存在未被察觉的竞态条件。
• 所提出的硬件扩展通过确保订阅前所有内存操作一致，且中止时副作用不可见，从而消除了正确性问题。
• HTM中对非事务性加载的支持可进一步提升懒惰订阅的有效性，使此类指令在事务代码中安全使用。
• 初步结果表明，正确实现的懒惰订阅能带来显著的性能收益，因此在实践中值得投入硬件扩展的成本。