Safety of a session guarantees protocol using plausible clocks

Authors:
Jerzy Brzeziński;Michał Kalewski;Cezary Sobaniec
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:
PPAM'07 Proceedings of the 7th international conference on Parallel processing and applied mathematics
Year:
2007

Citing 6
Cited 0

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
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
Adaptive Plausible Clocks

ICDCS '04 Proceedings of the 24th International Conference on Distributed Computing Systems (ICDCS'04)
Plausible clocks: constant size logical clocks for distributed systems

Distributed Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

Session guarantees is a group of consistency models used to manage replica consistency in a distributed system from the client's perspective. In this paper we present and prove safety of a novel protocol implementing session guarantees. The protocol uses server-based version vectors conceptually based on plausible clocks. The version vectors are constant-size and accept dynamic reconfigurations, which is the main advantage of this approach. The cost is reduced accuracy of representation of sets of operations, which, however, does not violate session guarantees.