Tardis 2.0：面向松弛一致性模型的优化时间旅行一致性协议
硬件体系结构
2016-07-28 v3
摘要
缓存一致性可扩展性在共享内存系统中是一大挑战。传统协议由于缓存失效的存储和流量开销而无法扩展。Tardis是最近提出的一种一致性协议，它利用逻辑时间戳消除了缓存失效，并实现了极佳的可扩展性。然而，原始Tardis协议仅支持顺序一致性（SC）内存模型，限制了其适用性。由于renew消息，Tardis在一些基准测试上产生了额外的网络流量，并且当程序使用自旋在线程间通信时性能欠佳。本文中，我们解决了Tardis协议的这些缺点并使其显著更实用。具体地，我们讨论了在Tardis上实现TSO一致性模型所需的体系结构、内存系统和协议变更，并证明修改后的协议满足TSO。我们还描述了针对部分存储序（PSO）和释放一致性（RC）的修改。最后，我们提出了更好的租约策略和用于处理程序自旋的优化。在一组基准测试上，优化后的Tardis在性能、存储和网络流量指标上优于全映射目录协议，同时更易于实现。
引用
@article{arxiv.1511.08774,
title = {Tardis 2.0: Optimized Time Traveling Coherence for Relaxed Consistency Models},
author = {Xiangyao Yu and Hongzhe Liu and Ethan Zou and Srinivas Devadas},
journal= {arXiv preprint arXiv:1511.08774},
year = {2016}
}
备注
14 pages