Safety of a Client-Based Version Vector Consistency Protocol of Session Guarantees

摘要

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.