Safety of a session guarantees protocol using plausible clocks
[ 1 ] Instytut Informatyki (II), Wydział Informatyki i Zarządzania, Politechnika Poznańska | [ P ] employee
2008
paper
english
- consistency models
- session guarantees
- plausible clocks
EN 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.
1 - 10