activity
20212025
most citedLogical Synchrony Networks: A formal model for deterministic distribution

24 citations · 24 across the 8 of their papers we have counts for

collaborators

8 papers

cs.DC2025

Buffer Centering for bittide Synchronization via Frame Rotation

Sanjay Lall, Tammo Spalink

Maintaining consistent time in distributed systems is a fundamental challenge. The bittide system addresses this by providing logical synchronization through a decentralized contro…

cs.DC2025

bittide: Control Time, Not Flows

Martijn Bastiaan, Christiaan Baaij, Martin Izzard +3

This paper presents the first hardware implementation of bittide, a decentralized clock synchronization mechanism for achieving logical synchrony in distributed systems. We detail…

eess.SY2024

Modeling Buffer Occupancy in bittide Systems

Sanjay Lall, Tammo Spalink

The bittide mechanism enables logically synchronous computation across distributed systems by leveraging the continuous frame transmission inherent to wired networks such as Ethern…

cs.DC2024★ 24 cited

Logical Synchrony Networks: A formal model for deterministic distribution

Logan Kenwright, Partha Roop, Nathan Allen +4

Kahn Process Networks (KPNs) are a deterministic Model of Computation (MoC) for distributed systems. KPNs supports non-blocking writes and blocking reads, with the consequent assum…

cs.DC2023

Logical Synchrony and the bittide Mechanism

Sanjay Lall, Calin Cascaval, Martin Izzard +1

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 a…

eess.SY2023

On Buffer Centering for Bittide Synchronization

Sanjay Lall, Calin Cascaval, Martin Izzard +1

We discuss distributed reframing control of bittide systems. In a bittide system, multiple processors synchronize by monitoring communication over the network. The processors remai…

eess.SY2021

Resistance Distance and Control Performance for bittide Synchronization

Sanjay Lall, Calin Cascaval, Martin Izzard +1

We discuss control of bittide distributed systems, which are designed to provide logical synchronization between networked machines by observing data flow rates between adjacent sy…

eess.SY2021

Modeling and Control of bittide Synchronization

Sanjay Lall, Calin Cascaval, Martin Izzard +1

Distributed system applications rely on a fine-grain common sense of time. Existing systems maintain the common sense of time by keeping each independent machine as close as possib…