RCP：一种低开销的可逆相干协议
RCP: A Low-overhead Reversible Coherence Protocol
摘要：
本文提出了RCP，一个新的可逆的一致性协议，确保不可见的推测加载执行（ISLE），以低开销。RCP可以与处理器机制相结合，消除推测指令对其他指令的影响，以实现低开销的不可见推测执行（ISE）。ISE提供的保护至少与投机隐私跟踪（SPT）一样强大，并且比投机污点跟踪（STT）更强大。RCP是通过系统地扩展现有的一致性协议来设计的，以包含推测性负载和状态。该协议在Gem 5中实现，并在Murphi中验证。结果表明，基于RCP的ISE比STT/SDO/SPT产生更低的开销，同时提供类似/更强的保护。
英文摘要：
This paper proposes RCP, a new reversible coherence protocol that ensures invisible speculative load execution (ISLE) with low overhead. RCP can be combined with processor mechanisms that eliminate the effects of speculative instructions on other instructions to achieve low overhead invisible speculative execution (ISE). ISE provides protection that is at least as strong as speculative privacy tracking (SPT) and stronger than speculative taint tracking (STT). RCP is designed by systematically extending the existing coherence protocol to incorporate speculative loads and states. The protocol is implemented in Gem5 and verified with Murphi. The results show that RCP based ISE incurs lower overhead than STT/SDO/SPT while providing similar/stronger protection.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
