24 citations · 24 across the 5 of their papers we have counts for
6 papers
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…
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…
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…
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…
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…
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…