248 citations · 415 across the 20 of their papers we have counts for
3 papers · 1 filter
Tardis 2.0: Optimized Time Traveling Coherence for Relaxed Consistency Models
Xiangyao Yu, Hongzhe Liu, Ethan Zou +1
Cache coherence scalability is a big challenge in shared memory systems. Traditional protocols do not scale due to the storage and traffic overhead of cache invalidation. Tardis, a…
A Proof of Correctness for the Tardis Cache Coherence Protocol
Xiangyao Yu, Muralidaran Vijayaraghavan, Srinivas Devadas
We prove the correctness of a recently-proposed cache coherence protocol, Tardis, which is simple, yet scalable to high processor counts, because it only requires O(logN) storage p…
TARDIS: Timestamp based Coherence Algorithm for Distributed Shared Memory
Xiangyao Yu, Srinivas Devadas
A new memory coherence protocol, Tardis, is proposed. Tardis uses timestamp counters representing logical time as well as physical time to order memory operations and enforce seque…