论文标题
RCP：低空可逆连贯协议
RCP: A Low-overhead Reversible Coherence Protocol
论文作者
论文摘要
本文提出了RCP，这是一种新的可逆连贯协议，可确保带有低开销的无形投机负载执行（ISLE）。 RCP可以与处理器机制结合使用，从而消除了投机指令对其他指令的影响，以实现低间接头为隐形投机执行（ISE）。 ISE提供的保护至少与投机隐私跟踪（SPT）一样强，并且比投机性污点跟踪（STT）更强。 RCP的设计是通过系统地扩展现有的连贯协议以结合投机载荷和状态而设计的。该协议在GEM5中实施，并用Murphi进行了验证。结果表明，基于RCP的ISE在提供类似/更强的保护的同时，基于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.
