On-demand server synchronization algorithms for session guarantees

Session guarantees define required properties of the system regarding consistency of replicas in a distributed system from a single, migrating client’s point of view. This paper presents propositions of two new server synchronization algorithms. These algorithms solve two of the main problems of some earlier protocols: lack of server’s history pruning and synchronous history update sending.