3 papers
cs.PL2025
Timetide: A programming model for logically synchronous distributed systems
Logan Kenwright, Partha Roop, Nathan Allen +2
Massive strides in deterministic models have been made using synchronous languages. They are mainly focused on centralised applications, as the traditional approach is to compile a…
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…