Safety of Recovery Protocol Preserving MW Session Guarantee in Mobile Systems (original) (raw)

Lecture Notes in Computer Science, 2006

Abstract

ABSTRACT 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 ofMW guarantee. The proof of safety property of rVsMW is included. Keywordsrollback-recovery-safety-mobile systems-Monotonic Writes session guarantee

Anna Kobusinska hasn't uploaded this paper.

Let Anna know you want this paper to be uploaded.

Ask for this paper to be uploaded.