Abstract: This paper proposes RCP, a new reversible coherence protocol that ensures invisible speculative load execution (ISLE) with low overhead. The protocol is designed by systematically extending ...