Safety of Rollback-Recovery Protocol Maintaining WFR Session Guarantee

This paper addresses a problem of integrating the consistency management of Writes Follow Reads (WFR) session guarantee with recovery mechanisms in distributed mobile systems. To solve such a problem, rollback-recovery protocol rVsWFR, providing WFR consistency model for mobile clients and unreliable servers is proposed. The costs of rollback-recovery in rVsWFR protocol are minimized by exploiting the semantics of clients’ operations and the properties of WFR session guarantee. The paper includes the proof of safety property of the presented protocol.