bittide is building system architectures for synchronous distributed computing. For more info go to github.com/bittide

Publications

1. Logical Synchrony and the bittide Mechanism describes the logical time abstraction and how distributed processes may be synchronized within it. The invariants of the system are analyzed, and the latency properties are characterized.

2. Logical Synchrony Networks: A formal model for deterministic distribution discusses how bittide’s decoupling process execution from process synchronization enables preserving determinism and boundedness. The paper shows how Kahn Process Networks satisfy the LSN abstraction, and shows a comparison between FIFO platforms and bittide.

3. Modeling and Control of bittide Synchronization (2022 American Control Conference) describes the design of the system, including how frames are communicated within bittide, and how communication is synchronized with computation to provide applications with a perfect logical clock. The paper develops a mathematical model for the clock behaviors and shows some example simulations.

4. Resistance Distance and Control Performance (2022 European Control Conference) for bittide Synchronization analyzes the frequency synchronization mechanism of bittide, and develops quantitative methods for analyzing its performance, in particular focusing on the sizes of frequency deviations and buffer occupancies.

5. On Buffer Centering for bittide Synchronization (CoDIT 2023) develops an algorithmic refinement of the bittide mechanism which allows precise control of the buffer occupancies.