Search papers, labs, and topics across Lattice.
The paper introduces IntersectionAtomicity and IntersectionCC, two models designed to reason about consistency and atomicity in offline-first, sparsely-connected peer-to-peer systems with partial data replication. These models address the challenges of maintaining data integrity when peers have limited connectivity and are interested in overlapping subsets of data. The authors provide guidelines based on these models to aid developers in designing applications with strong atomicity and consistency guarantees in such environments.
Offline-first collaborative apps can now get formal guarantees on data consistency, even with spotty connections and partial data replication, thanks to new IntersectionAtomicity and IntersectionCC models.
For an offline-first collaborative application to operate in true peer-to-peer fashion, its collaborative features must function even in environments where internet connectivity is limited or unavailable. Each peer may only be interested in a subset of the application data relevant to its workload, and this subset can overlap in different ways with those of other peers. Limitations imposed by access control and mesh network technologies often result in peers being sparsely connected. Reasoning about consistency in these systems is hard, especially when considering transactional updates that may alter different sets of data in the same transaction. We present \textsc{IntersectionAtomicity} and \textsc{IntersectionCC} as models to reason about offline-first collaborative applications that are sparsely-connected and rely on partially replicating different subsets of a broader set of data. We then use these models to propose a set of guidelines to help developers design their application with atomicity and consistency guarantees.
