34 citations · 73 across the 16 of their papers we have counts for
4 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…
Optimizing Path ORAM for Cloud Storage Applications
Nathan Wolfe, Ethan Zou, Ling Ren +1
We live in a world where our personal data are both valuable and vulnerable to misappropriation through exploitation of security vulnerabilities in online services. For instance, D…
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…