Session guarantees are used to manage replica consistency of a distributed system from the client perspective. This paper defines formally the guarantees, presents and proves safety of a protocol implementing session guarantees using server-based version vectors.
This paper analyses different protocols ofsession guarantees. Session guarantees (also known as client-centric consistency models) are one of the class ofconsistency models of replicated shared data, besides data-centric consistency models. Thepresentations comprises details ofthe data structuresfor the information maintained locally andpassed to check consistency conditions, as well as the algorithms to process the infornation. The protocols are also discussed with respect to accuracy and data overhead.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.