Safety of recovery protocol preserving MW session guarantee in mobile systems

  • Authors:
  • Jerzy Brzeziński;Anna Kobusińska

  • Affiliations:
  • Institute of Computing Science, Poznań University of Technology, Poland;Institute of Computing Science, Poznań University of Technology, Poland

  • Venue:
  • ICCSA'06 Proceedings of the 2006 international conference on Computational Science and Its Applications - Volume Part IV
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

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 of MW guarantee. The proof of safety property of rVsMW is included.