Recovery Guarantees in Mobile Systems

This paper proposes a new conceptual framework for managing data consistency in mobile environments by defining recovery guarantees and recovery protocols. These abstractions allow developers to separate the high-level reliability expectations a system component provides from the specific behavioral rules required to implement them, which is particularly vital given the limited power and bandwidth of mobile devices. By analyzing how a mobile host relies on fixed base stations for durable storage, the authors demonstrate how recovery can be maintained even as a user moves between different network cells. Ultimately, this approach simplifies the design of complex systems by providing a structured method to reason about failures and ensures that data remains recoverable through the coordination of distributed subsystems.