A survey of rollback-recovery protocols in message-passing systems
ACM Computing Surveys (CSUR)
Session Guarantees for Weakly Consistent Replicated Data
PDIS '94 Proceedings of the Third International Conference on Parallel and Distributed Information Systems
Safety of an object-based version vector consistency protocol of session guarantees
PPAM'05 Proceedings of the 6th international conference on Parallel Processing and Applied Mathematics
Safety of a server-based version vector protocol implementing session guarantees
ICCS'05 Proceedings of the 5th international conference on Computational Science - Volume Part III
Hi-index | 0.00 |
In this paper checkpointing and rollback-recovery protocol rVsMW for mobile systems is presented. The protocol preserves Monotonic Writes session guarantee required by clients, despite failures of servers. The costs of rollback-recovery are minimized, by exploiting semantics of operations and properties of MW guarantee. The proof of safety property of rVsMW is included.