Showing cs.DCShow all
3 papers · 1 filter
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…
cs.DC2024
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…
cs.DC2024
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…