Search papers, labs, and topics across Lattice.
This paper investigates the use of mobile relays to accelerate the convergence of state-based Conflict-free Replicated Data Types (CRDTs) in Opportunistic Networks (OppNets), where communication relies on intermittent pairwise contacts. They introduce new synchronization protocols for replicas and relays and define metrics to characterize convergence. Simulation results demonstrate that relays significantly improve convergence, enabling it in scenarios where direct replica synchronization fails.
Mobile relays can rescue CRDT convergence in disconnected opportunistic networks, even when direct device-to-device synchronization is impossible.
In Opportunistic Networks (OppNets), the dissemination of information can only rely on transient pairwise radio contacts between mobile devices (peers). Designing distributed applications that can run in such conditions is a challenge, but replicated data types, and in particular Conflict-free Replicated Data Types (CRDTs), can help meet this challenge. A CRDT is inherently replicated data type whose replicas can be updated locally, yet eventually converge thanks to an anti-entropy algorithm that allows all replicas to synchronize in the background. Whether the replicas of a CRDT can actually converge in an OppNet, and how fast they can converge, depend on the occurrence of radio contacts between mobile devices. In this paper we investigate the idea of using mobile relays as a means to boost the convergence of stated-based CRDT replicas in an OppNet. New protocols are presented that allow the synchronization of replicas and relays, and new metrics are defined to observe and characterize the convergence of replicas. Simulation results show that using relays can significantly improve this convergence, and even make it possible in scenarios where the replicas alone would be unable to converge.