[论文解读] TARDIS: Timestamp based Coherence Algorithm for Distributed Shared Memory

Xiangyao Yu, Srinivas Devadas|arXiv (Cornell University)|Jan 19, 2015

Parallel Computing and Optimization Techniques参考文献 34被引用 8

一句话总结

TARDIS 是一种新颖的基于时间戳的一致性协议，专为分布式共享内存设计，通过使用逻辑时间戳而非多播或 $O(N)$ 的共享者追踪来强制实现顺序一致性。它实现了每个缓存块 $O(\log N)$ 的存储开销，并在 16–256 核心基准测试中达到与目录协议相当的性能，展现出更优的可扩展性和简洁性，且无需全局时钟同步或广播机制。

ABSTRACT

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 sequential consistency in any type of shared memory system. Tardis is unique in that as compared to the widely-adopted directory coherence protocol, and its variants, it completely avoids multicasting and only requires O(log N) storage per cache block for an N-core system rather than O(N) sharer information. Tardis is simpler and easier to reason about, yet achieves similar performance to directory protocols on a wide range of benchmarks run on 16, 64 and 256 cores.

研究动机与目标

• 解决传统基于目录的一致性协议在需要 $O(N)$ 共享者追踪和多播进行失效时所面临的可扩展性限制。
• 设计一种一致性协议，通过不依赖物理时间同步或广播机制来强制实现顺序一致性。
• 在大规模共享内存系统（包括超大规模核心和分布式系统）中实现高性能和低存储开销。
• 通过避免显式追踪共享者，简化协议设计与形式化验证，同时在顺序一致性模型下保持正确性。
• 证明基于时间戳的方法可在极低硬件复杂度下实现与复杂目录协议相当的性能。

提出的方法

• 使用逻辑时间戳（而非物理时间）表示全局内存访问顺序，从而在无需全局时钟同步的情况下实现内存操作的排序。
• 为每个内存操作分配一个时间戳，反映其在全局执行顺序中的位置，确保符合规则 1（程序顺序隐含内存顺序）。
• 允许写者通过更新时间戳计数器“向前跳跃”时间，一旦所有先前操作完成排序，即可立即执行写入，而无需等待失效确认。
• 每个缓存块仅存储当前时间戳和所有者 ID，将存储开销从 $O(N)$ 的共享者列表降低至 $O(\log N)$ 每块。
• 通过基于时间戳的排序机制隐式强制一致性，从而消除多播需求，避免向所有共享者发送失效消息。
• 采用基于租约的机制，在高竞争场景下延迟更新，提升读密集型工作负载的性能。

实验结果

研究问题

• RQ1 仅基于逻辑时间戳的一致性协议是否能在不依赖物理时间同步或多播的情况下强制实现顺序一致性？
• RQ2 是否可能将每个缓存块的存储开销从 $O(N)$ 降低至 $O(\log N)$，同时保持与目录协议相当的性能？
• RQ3 一种允许写者在时间上“跳过”前进的基于时间戳的协议，如何在顺序一致性下保持正确性？
• RQ4 在 16 至 256 核的大规模共享内存系统中，消除多播和共享者追踪对性能有何影响？
• RQ5 一种更简单的协议如 TARDIS 是否能在真实基准测试中超越或匹配复杂目录协议方案，且不牺牲正确性？

主要发现

• TARDIS 在 16、64 和 256 核系统上的各类基准测试中，性能与基线目录协议相当。
• 通过显式避免追踪共享者，TARDIS 将每个缓存块的存储开销从 $O(N)$ 降低至 $O(\log N)$。
• TARDIS 避免了多播和全局时钟同步，简化了实现并提升了可扩展性。
• 协议的正确性已在顺序一致性模型下通过形式化证明，其核心洞察在于写者可“在逻辑时间上跳跃前进”，从而绕过对失效确认的等待。
• 性能对租约时长的敏感度相对较低，尽管在自旋类基准测试中，较长租约会引发性能下降，提示智能租约管理仍有优化空间。
• 与现有基于时间戳的协议（如 LCC）相比，TARDIS 通过避免等待共享副本过期、消除广播依赖和物理时间依赖，实现了更优性能。