Search papers, labs, and topics across Lattice.
The paper critiques the conventional message passing paradigm in distributed systems, arguing it conflates logical dependencies with temporal propagation due to a Forward-In-Time-Only (FITO) assumption. It formalizes FITO as a partial order over events and proposes a reformulation of interaction based on symmetric constraint relations, demonstrating that message-passing executions and constraint satisfaction problems are largely equivalent. The work connects these ideas to various theoretical frameworks and suggests implications for reversible link architectures.
Ditch the clock: message passing's reliance on temporal order is a category error, and constraint satisfaction offers a more fundamental, symmetric alternative.
Message passing is widely assumed to be a fundamental primitive of distributed systems. This paper argues that conventional message systems embed a category mistake: they misinterpret logical dependency relations as temporal propagation processes. This error arises from an implicit Forward-In-Time-Only (FITO) assumption, which treats causality as intrinsically directed along a temporal axis. We formalize FITO as the imposition of a partial order over events and show that clocks, scheduling, and message propagation are representational artifacts rather than ontological primitives. We then reformulate interaction in terms of symmetric constraint relations, identify the minimal substrate of interaction independent of temporal direction, and prove an equivalence theorem: under mild assumptions, a broad class of message-passing executions can be represented as constraint satisfaction problems, and conversely, constraint satisfaction instances can be realized as message-passing protocols. We connect the result to Lamport clocks, Hewitt actors, Pratt pomsets, category theory, relativity, and indefinite causal order, and interpret engineering consequences for reflective and reversible link architectures such as Open Atomic Ethernet.
