On-Demand Server Synchronization Protocols of Session Guarantees

• Autorzy: Piątkowski Ł. , Sobaniec M. , Sobański G. , Kalewski M.
• Języki publikacji: EN

Abstrakty

EN

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.

Słowa kluczowe

EN

distributed systems; session guarantees; replication; synchronization protocols

• Wydawca: Wydawnictwo Politechniki Poznańskiej
• Czasopismo: Foundations of Computing and Decision Sciences
• Rocznik: 2010
• Tom: Vol. 35, No. 4
• Strony: 307--324

Twórcy

autor

Piątkowski Ł.

autor

Sobaniec M.

autor

Sobański G.

autor

Kalewski M.

• Poznań University of Technology, Institute of Computing Science, Poznań, Poland

Bibliografia

• [1] A. S. Tanenbaum and M. van Steen, Distributed Systems - Principles and Paradigms. New Jersey: Prentice Hall, 2002.
• [2] D. B. Terry, A. J. Demers, K. Petersen, M. Spreitzer, M. Theimer, and B. W. Welch, "Session guarantees for weakly consistent replicated data," in Proc. of the Third Int. Conf. on Parallel and Distributed Information Systems (PDIS 94), (Austin, USA), pp. 140-149, IEEE Computer Society, Sept. 1994.
• [3] F. Mattern, "Virtual time and global states of distributed systems," in Proc. of the Int. Conf. on Parallel and Distributed Algorithms (Cosnard, Quinton, Raynal, and Robert, eds.), pp. 215-226, Elsevier Science Publishers B. V., Oct. 1988.
• [4] C. Fidge, "Logical time in distributed computing systems," Computer, vol. 24, pp. 28-33, Aug. 1991.
• [5] C. Sobaniec, Consistency Protocols of Session Guarantees in Distributed Mobile Systems. PhD thesis, Poznan University of Technology, Poznan, Sept. 2005.
• [6] A. Kobusińska, M. Libuda, C. Sobaniec, and D. Wawrzyniak, "Version vector protocols implementing session guarantees," in Proc. of Int. Symp. on Cluster Computing and the Grid (CCGrid 2005), (Cardiff, UK), pp. 929-936, May 2005.
• [7] K. Petersen, M. J. Spreitzer, D. B. Terry, M. M. Theimer, and A. J. Demers, "Flexible update propagation for weakly consistent replication," in Proc. of the 16th ACM Symp. on Operating Systems Principles (SOSP-16), (Saint Malo, France), pp. 288-301, Oct. 1997.
• [8] L. Piatkowski, C. Sobaniec, and G. Sobanski, "On-demand server synchronization algorithms for session guarantees," in Proc. of the 23rd International Symposium on Computer and Information Sciences (ISCIS 2008), (Istanbul, Turkey), pp. 1-4, Oct. 2008.
• [9] J. Brzeziński, C. Sobaniec, and D. Wawrzyniak, "From session causality to causal consistency," in Proc. of the 12th Euromicro Conf on Parallel, Distributed and Network-Based Processing (PDP2004), (A Coruña, Spain), pp. 152-158, Feb. 2004.
• [10] J. Brzeziński, C. Sobaniec, and D. Wawrzyniak, "Session guarantees to achieve PRAM consistency of replicated shared objects," in Proc. of the Fifth Int. Conf. on Parallel Processing and Applied Mathematics (PPAM'2003), LNCS 3019, (Częstochowa, Poland), pp. 1-8, Sept. 2003.
• [11] D. Gifford, "Weighted voting for replicated data," in Proc. of the 7th ACM Symp. on Operating Systems Principles (SOSP), (Pacific Grove, USA), pp. 150-162, Dec. 1979.
• [12] R. Baldoni and M. Raynal, "Fundamentals of distributed computing: A practical tour of vector clock systems," IEEE Distributed Systems Online, vol. 3, Feb. 2002.
• [13] L. Lamport, "Time, clocks, and the ordering of events in a distributed system," Communications of the ACM, vol. 21, pp. 558-565, July 1978.
• [14] A. Kobusinska, Rollback-Recovery Protocols for Distributed Mobile Systems Providing Session Guarantees. PhD thesis, Institute of Computing Science, Poznan University of Technology, Sept. 2006.