We introduce logical synchrony, a framework that allows distributed computing to be coordinated as tightly as in synchronous systems without the distribution of a global clock or any reference to universal time. We develop a model of events called a logical synchrony network, in which nodes correspond to processors and every node has an associated local clock which generates the events. We construct a measure of logical latency and develop its properties. A further model, called a multiclock network, is then analyzed and shown to be a refinement of the logical synchrony network. We present the bittide mechanism as an instantiation of multiclock networks, and discuss the clock control mechanism that ensures that buffers do not overflow or underflow. Finally we give conditions under which a logical synchrony network has an equivalent synchronous realization.

翻译：本文提出逻辑同步性框架，该框架使得分布式计算能够实现与同步系统同等紧密的协调，而无需分发全局时钟或引用绝对时间。我们构建了一种称为逻辑同步网络的事件模型，其中节点对应处理器，每个节点配备生成事件的本地时钟。我们构造了逻辑延迟的度量方法并推导其性质。进一步分析称为多时钟网络的模型，证明其为逻辑同步网络的精化实现。我们将比特流机制作为多时钟网络的具体实例进行阐述，并讨论确保缓冲区不发生上溢或下溢的时钟控制机制。最后给出逻辑同步网络具备等效同步实现的条件。