Abstract
Session guarantees are used to manage consistency of replicas in distributed systems with mobile clients. This paper presents and formally proves safety of a novel consistency protocol of session guarantees using client-based version vectors. Client-based version vectors represent sets of writes resulting from definitions of session guarantees more accurately, which results in a protocol performing better then the standard protocol using server-based version vectors.
This work was supported in part by the State Committee for Scientific Research (KBN), Poland, under grant KBN 3 T11C 073 28.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Terry, D.B., Demers, A.J., Petersen, K., Spreitzer, M., Theimer, M., Welch, B.W.: Session guarantees for weakly consistent replicated data. In: Proc. of the Third Int. Conf. on Parallel and Distributed Information Systems (PDIS 1994), Austin, USA, pp. 140–149. IEEE Computer Society, Los Alamitos (1994)
Mattern, F.: Virtual time and global states of distributed systems. In: Cosnard, M., et al. (eds.) Proc. of the Int’l. Conf. on Parallel and Distributed Algorithms, pp. 215–226. Elsevier Science Publishers B. V., Amsterdam (1988)
Fidge, C.: Logical time in distributed computing systems. Computer 24, 28–33 (1991)
Petersen, K., Spreitzer, M.J., Terry, D.B., Theimer, M.M., Demers, A.J.: 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 (1997)
Parker, D.S., Popek, G., Rudisin, G., Stoughton, A., Walker, B., Walton, E., Chow, J., Edwards, D., Kiser, S., Kline, C.: Detection of mutual inconsistency in distributed systems. IEEE Trans. on Software Engineering 9, 240–247 (1983)
Satyanarayanan, M., Kistler, J.J., Kumar, P., Okasaki, M.E., Siegel, E.H., Steere, D.C.: Coda: A highly available file system for a distributed workstation environment. IEEE Transactions on Computers 39, 447–459 (1990)
Page, T.W., Guy, R.G., Heidemann, J.S., Ratner, D.H., Reiher, P.L., Goel, A., Kuenning, G.H., Popek, G.J.: Perspectives on optimistically replicated peer-topeer filing. Software Practice and Experience 28, 155–180 (1998)
Kobusińska, A., Libuda, M., Sobaniec, C., Wawrzyniak, D.: Version vector protocols implementing session guarantees. In: Proc. of Int. Symp. on Cluster Computing and the Grid (CCGrid 2005), Cardiff, UK (2005)
Ratner, D., Reiher, P., Popek, G.: Dynamic version vector maintenance. Technical Report CSD-970022, Univ. of California, Los Angeles (1997)
Sobaniec, C.: Consistency Protocols of Session Guarantees in Distributed Mobile Systems. PhD thesis, Poznań University of Technology, Poznań (2005)
Brzeziński, J., Sobaniec, C., Wawrzyniak, D.: Safety of a server-based version vector protocol implementing session guarantees. In: Sunderam, V.S., van Albada, G.D., Sloot, P.M.A., Dongarra, J. (eds.) ICCS 2005. LNCS, vol. 3516, pp. 423–430. Springer, Heidelberg (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Brzeziński, J., Sobaniec, C., Wawrzyniak, D. (2006). Safety of a Client-Based Version Vector Consistency Protocol of Session Guarantees. In: Gavrilova, M.L., et al. Computational Science and Its Applications - ICCSA 2006. ICCSA 2006. Lecture Notes in Computer Science, vol 3984. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11751649_11
Download citation
DOI: https://doi.org/10.1007/11751649_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-34079-9
Online ISBN: 978-3-540-34080-5
eBook Packages: Computer ScienceComputer Science (R0)