Safety of a client-based version vector consistency protocol of 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:
ICCSA'06 Proceedings of the 2006 international conference on Computational Science and Its Applications - Volume Part V
Year:
2006

Citing 8
Cited 0

Coda: A Highly Available File System for a Distributed Workstation Environment

IEEE Transactions on Computers
Logical Time in Distributed Computing Systems

Computer - Distributed computing systems: separate resources acting as one
Flexible update propagation for weakly consistent replication

Proceedings of the sixteenth ACM symposium on Operating systems principles
Perspectives on optimistically replicated, peer-to-peer filing

Software—Practice & Experience
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
Detection of Mutual Inconsistency in Distributed Systems

IEEE Transactions on Software Engineering
Safety of a server-based version vector protocol implementing session guarantees

ICCS'05 Proceedings of the 5th international conference on Computational Science - Volume Part III

Quantified Score

Hi-index	0.00

Visualization

Abstract

Session guarantees are used to manage consistency of replicas in distributed systems with mobile clients. This paper presents and formally proves safety of a novel consistency protocol of session guarantees using client-based version vectors. Client-based version vectors represent sets of writes resulting from definitions of session guarantees more accurately, which results in a protocol performing better then the standard protocol using server-based version vectors.