Session guarantees define consistency properties of replicas in a distributed system from the point of view of a single, migrating client. Consistency is checked by ensuring execution of required operations by servers. Consistency protocols of session gua- rantees usually use version vectors for efficient representation of sets of writes. This paper presents performance evaluation of several consistency protocols of session guarantees that use different forms of version vectors. The evaluation was carried out by means of simu- lation experiments.
2
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
Session guarantees define required properties of a distributed system regarding consistency from the point of view of a single mobile client. Consistency protocols of session guarantees are composed of two elements: the first is aimed at providing safety (the guarantees), the second is aimed at providing liveness (data synchronization). This paper presents survey and correctness proofs of two new data server synchronization protocols, which solve main problems of earlier proposals.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.