Safety of a Server-Based Version Vector Protocol Implementing Session Guarantees

Session guarantees are used to manage replica consistency of a distributed system from the client perspective. This paper defines formally the guarantees, presents and proves safety of a protocol implementing session guarantees using server-based version vectors.

[1]  Marvin Theimer,et al.  Flexible update propagation for weakly consistent replication , 1997, SOSP.

[2]  Jerzy Brzezinski,et al.  From session causality to causal consistency , 2004, 12th Euromicro Conference on Parallel, Distributed and Network-Based Processing, 2004. Proceedings..

[3]  Anna Kobusinska,et al.  Version vector protocols implementing session guarantees , 2005, CCGrid 2005. IEEE International Symposium on Cluster Computing and the Grid, 2005..

[4]  Jerzy Brzeziński,et al.  Safety of VsSG Protocol Implementing Session Guarantees , 2005 .

[5]  Andrew S. Tanenbaum,et al.  Distributed systems: Principles and Paradigms , 2001 .

[6]  Friedemann Mattern,et al.  Virtual Time and Global States of Distributed Systems , 2002 .

[7]  Jerzy Brzezinski,et al.  Session Guarantees to Achieve PRAM Consistency of Replicated Shared Objects , 2003, PPAM.

[8]  Marvin Theimer,et al.  Session guarantees for weakly consistent replicated data , 1994, Proceedings of 3rd International Conference on Parallel and Distributed Information Systems.