Safety of a server-based version vector protocol implementing session guarantees

Authors:
Jerzy Brzeziński;Cezary Sobaniec;Dariusz Wawrzyniak
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:
ICCS'05 Proceedings of the 5th international conference on Computational Science - Volume Part III
Year:
2005

Citing 4
Cited 8

Flexible update propagation for weakly consistent replication

Proceedings of the sixteenth ACM symposium on Operating systems principles
Distributed Systems: Principles and Paradigms

Distributed Systems: Principles and Paradigms
Session Guarantees for Weakly Consistent Replicated Data

PDIS '94 Proceedings of the Third International Conference on Parallel and Distributed Information Systems
Version vector protocols implementing session guarantees

CCGRID '05 Proceedings of the Fifth IEEE International Symposium on Cluster Computing and the Grid (CCGrid'05) - Volume 2 - Volume 02

Checkpointing and rollback-recovery protocol for mobile systems with MW session guarantee

IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Safety of rollback-recovery protocol maintaining WFR session guarantee

ISCIS'06 Proceedings of the 21st international conference on Computer and Information Sciences
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
Bounding recovery time in rollback-recovery protocol for mobile systems preserving session guarantees

DAIS'06 Proceedings of the 6th IFIP WG 6.1 international conference on Distributed Applications and Interoperable Systems
Safety of a client-based version vector consistency protocol of session guarantees

ICCSA'06 Proceedings of the 2006 international conference on Computational Science and Its Applications - Volume Part V
Safety of recovery protocol preserving MW session guarantee in mobile systems

ICCSA'06 Proceedings of the 2006 international conference on Computational Science and Its Applications - Volume Part IV
Rollback-recovery protocol guarantying MR session guarantee in distributed systems with mobile clients

Euro-Par'06 Proceedings of the 12th international conference on Parallel Processing
On the optimality of rollback-recovery protocol preserving session guarantees

ISPA'07 Proceedings of the 5th international conference on Parallel and Distributed Processing and Applications

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.