逻辑同步与bittide机制
摘要：逻辑同步：一个无需全局时钟或任何对普遍时间的参考而能够紧密协调分布式计算的框架。我们建立了一个事件模型，称为逻辑同步网络，在这个模型中，节点对应处理器，每个节点都有一个相关联的本地时钟来生成事件。我们构建了逻辑延迟的度量并研究了其属性。接着，我们分析了一个进一步的模型，称为多时钟网络，并证明它是逻辑同步网络的改进。我们提出了bittide机制作为多时钟网络的实例，并讨论了确保缓冲区不会溢出或不足的时钟控制机制。最后，我们给出了逻辑同步网络具有等效同步实现的条件。
作者：Sanjay Lall, Calin Cascaval, Martin Izzard, Tammo Spalink
论文ID：2308.00144
分类：Distributed, Parallel, and Cluster Computing
分类简称：cs.DC
提交时间：2023-08-02