Strong data guarantees in highly mobile networks

Ensuring the consistency and the availability of replicated data in highly mobile ad hoc networks is a challenging task because of the
lack of a backbone infrastructure. Previous works provide strong data guarantees by limiting the motion and the speed of the mobile
nodes during the entire system lifetime, and by relying on assumptions that are not realistic for most mobile applications.

In this project we provide a small set of mobility constraints necessary to ensure strong data guarantees. Our constraints can be
applied also to low density mobile networks and to applications where the speed and the motion of the mobile nodes are unknown and
they can change suddenly, such as vehicular networks. Our mobility model allows us to implement a read/write atomic shared memory that
is able to guarantee data availability and atomic consistency despite high node mobility and node failures. Our implementation is
provably correct and it can be applied for instance to energy management and to task coordination.

D. Tulone Is it possible to ensure strong data guarantees in highly mobile networks? In Proc. 5th Annual Mediterrean Workshop in ad Hoc Networks.