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.