Safety of rollback-recovery protocol maintaining WFR session guarantee

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

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

  • Venue:
  • ISCIS'06 Proceedings of the 21st international conference on Computer and Information Sciences
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.