Uncorq: Unconstrained Snoop Request Delivery in Embedded-Ring Multiprocessors

Snoopy cache coherence can be implemented in any physical network topology by embedding a logical unidirectional ring in the network. Control messages are forwarded using the ring, while other messages can use any path. While the resulting coherence protocols are inexpensive to implement, they enable many ways of overlapping multiple transactions that access the same line — making it hard to reason about correctness. Moreover, snoop requests are required to traverse the ring, therefore lengthening coherence transaction latencies. In this paper, we address these problems and make two main contributions. First, we introduce the Ordering invariant, which ensures the correct serialization of colliding transactions in embedded-ring protocols. Second, based on this invariant, we remove the requirement that snoop requests traverse the ring. Instead, they are delivered using any network path, as long as snoop responses — which are typically off the critical path — use the logical ring. ...

• Type: Conference
• Year: 2007
• Where: MICRO
• Authors: Karin Strauss, Xiaowei Shen, Josep Torrellas
• Keywords: Coherence Transaction, Coherence Transaction Latencies, Hardware, MICRO 2007, Snoopy Cache Coherence