Maintaining Update-Linearizability for Replicated Information in MANETs

In the process of observing changes in our surroundings, the chronological ordering of these observations plays a crucial role. The same holds for many applications that employ sensors to gather information about their physical environment in order to adapt to changes. In this paper, we present a data replication algorithm for mobile ad hoc and sensor networks that guarantees chronological ordering of update operations for information objects. Information objects reflect the state of physical world objects and are updated by devices equipped with appropriate sensors. Our algorithm allows for multiple independent devices to update the same object and does not require synchronized clocks. We describe the underlying consistency model called update-linearizability and the design of the algorithm, and present simulations that show its feasibility in practice