Abstract
In this paper we discuss relationships between client-centric consistency models (known as session guarantees), and data-centric consistency models. Appropriate models are formally defined in the context of replicated shared objects using a consistent notation. We prove that PRAM consistency model may be achieved as a proper combination of different session guarantees.
This work was supported in part by the State Committee for Scientific Research (KBN), Poland, under grant KBN 7Â T11CÂ 036Â 21
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.
Similar content being viewed by others
References
Ahamad, M., Bazzi, R.A., John, R., Kohli, P., Neiger, G.: The power of processor consistency (extended abstract). In: Proc. of the 5th ACM Annual Symp. on Parallel Algorithms and Architectures (SPAA 1993), June 1993, pp. 251–260 (1993)
Ahamad, M., Neiger, G., Kohli, P., Burns, J.E., Hutto, P.W.: Casual memory: Definitions, implementation and programming. Distributed Computing 9, 37–49 (1995)
Chockler, G., Friedman, R., Vitenberg, R.: Consistency conditions for a CORBA caching service. In: Herlihy, M.P. (ed.) DISC 2000. LNCS, vol. 1914, pp. 374–388. Springer, Heidelberg (2000)
Goodman, J.R.: Cache consistency and sequential consistency. Technical Report 61, IEEE Scalable Coherence Interface Working Group (March 1989)
Kermarrec, A.-M., Kuz, I., van Steen, M., Tanenbaum, A.S.: A framework for consistent, replicated Web objects. In: Proceedings of the 18th International Conference on Distributed Computing Systems (ICDCS) (May 1998), http://www.cs.vu.nl/pub/papers/globe/icdcs.98.pdf
Lamport, L.: How to make a multiprocessor computer that correctly executes multiprocess programs. IEEE Transactions on Computers C-28(9), 690–691 (1979)
Lipton, R.J., Sandberg, J.S.: PRAM: A scalable shared memory. Technical Report CS-TR-180-88, Dept. of Computer Science, Princeton University (September 1988)
Misra, J.: Axioms for memory access in asynchronous hardware systems. ACM Transactions on Programming Languages and Systems 8(1), 142–153 (1986)
Tanenbaum, S., van Steen, M.: Distributed Systems – Principles and Paradigms. Prentice Hall, New Jersey (2002)
Terry, D.B., Demers, A.J., Petersen, K., Spreitzer, M., Theimer, M., Welch, B.W.: Session guarantees for weakly consistent replicated data. In: Proceedings of the Third International Conference on Parallel and Distributed Information Systems (PDIS 1994), Austin, Texas, September 28–30, pp. 140–149. IEEE Computer Society, Los Alamitos (1994)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Brzezinski, J., Sobaniec, C., Wawrzyniak, D. (2004). Session Guarantees to Achieve PRAM Consistency of Replicated Shared Objects. In: Wyrzykowski, R., Dongarra, J., Paprzycki, M., Waśniewski, J. (eds) Parallel Processing and Applied Mathematics. PPAM 2003. Lecture Notes in Computer Science, vol 3019. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24669-5_1
Download citation
DOI: https://doi.org/10.1007/978-3-540-24669-5_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-21946-0
Online ISBN: 978-3-540-24669-5
eBook Packages: Springer Book Archive