Advertisement

Analyzing Convergence in Consistency Models for Distributed Objects

  • Francisco J. Torres-Rojas
  • Esteban Meneses
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3544)

Abstract

At instant t, two or more sites could perceive different values for the same distributed object X. However, depending on the consistency protocol used, it might be expected that, after a while, every site in the system should see the same value for this object. In this paper, we present a formalization of the concept of convergence and analyze its relationships with several consistency models. Among other things, we claim that, by itself, sequential consistency is not a convergent protocol.

Keywords

Partial Order Consistency Model Absolute Convergence Read Operation Time Consistency 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Adve, S., Gharachorloo, K.: Shared Memory Consistency Models: A Tutorial. Western Research Laboratory, Research Report 95/7 (1995)Google Scholar
  2. 2.
    Ahamad, M., Torres-Rojas, F., Kordale, R., Singh, J., Smith, S.: Detecting Mutual Consistency of Shared Objects. In: Proc. of International Workshop on Mobile Systems and Applications (1994)Google Scholar
  3. 3.
    Ahamad, M., Neiger, G., Burns, J., Kohli., P., Hutto, P.: Causal memory: definitions, implementation and programming. Distributed Computing (September 1995)Google Scholar
  4. 4.
    Ahamad, M., Bhola, S., Kordale, R., Torres-Rojas, F.: Scalable Information Sharing in Large Scale Distributed Systems. In: Proceedings of the Seventh SIGOPS Workshop (August 1996)Google Scholar
  5. 5.
    Ahamad, M., Raynal, M., Thiakime, G.: An adaptive architecture for causally consistent services. In: Proc. ICDCS 1998, Amsterdam (1998)Google Scholar
  6. 6.
    Ahamad, M., Raynal, M.: Ordering and Timeliness: Two Facets of Consistency? Future Directions in Distributed Computing (2003)Google Scholar
  7. 7.
    Attiya, H., Welch, J.J.: Sequential Consistency vs. Linearizability. ACM Transactions on Computer Systems 12(1) (May 1994)Google Scholar
  8. 8.
    Birman, K., Schiper, A., Stephenson, P.: Lightweight Causal and Atomic Group Multicast. ACM Transactions on Computer Systems 9(3), 272–314 (1991)CrossRefGoogle Scholar
  9. 9.
    Ellis, C.A., Gibbs, S.J.: Concurrency Control in Groupware Systems. In: ACM SIGMOD 1989 proceedings, pp. 399–407 (1989)Google Scholar
  10. 10.
    Guerraoui, R., Hari, C.: On the Consistency Problem in Mobile Distributed Computing. In: ACM POMC (2002)Google Scholar
  11. 11.
    Herlihy, M., Wing, J.: Linearizability: A Correctness Condition for Concurrent Objects. ACM Transactions on Programming Languages and Systems 12(3) (July 1990)Google Scholar
  12. 12.
    Kordale, R., Ahamad, M.: A Scalable Technique for Implementing Multiple Consistency Levels for Distributed Objects. In: Proceedings of the 16th. International Conference in Distributed Computing Systems (May 1996)Google Scholar
  13. 13.
    Kordale, R.: System Support for Scalable Services, Ph.D. dissertation, College of Computing, Georgia Institute of Technology (January 1997)Google Scholar
  14. 14.
    Lamport, L.: Time, Clocks and the Ordering of Events is a Distributed System. Communications of the ACM 21(7), 558–565 (1978)zbMATHCrossRefGoogle Scholar
  15. 15.
    Lamport, L.: How to make a Multiprocessor Computer that correctly executes Multiprocess Programs. IEEE Transactions on Computer Systems C-28(9) (1979)Google Scholar
  16. 16.
    Mattern, F.: Virtual Time and Global States of Distributed Systems. In: Proceedings of the International Workshop on Parallel and Distributed Algorithms, pp. 215–226 (1989)Google Scholar
  17. 17.
    Raynal, M., Schiper, A.: From Causal Consistency to Sequential Consistency in Shared Memory Systems. In: Thiagarajan, P.S. (ed.) FSTTCS 1995. LNCS, vol. 1026, pp. 180–194. Springer, Heidelberg (1995)Google Scholar
  18. 18.
    Sun, C., et al.: Achieving convergence, causality-preservation, and intention-preservation in real-time cooperative editing systems. ACM Transactions in Computer-Human Interaction 5(1), 63–108 (1998)CrossRefGoogle Scholar
  19. 19.
    Torres-Rojas, F.J., Ahamad, M., Raynal, M.: Lifetime Based Consistency Protocols for Distributed Objects. In: Kutten, S. (ed.) DISC 1998. LNCS, vol. 1499, pp. 378–392. Springer, Heidelberg (1998)CrossRefGoogle Scholar
  20. 20.
    Torres-Rojas, F.J., Ahamad, M., Raynal, M.: Timed Consistency for Shared Distributed Objects. In: Annual ACM Symposium on Principles of Distributed Computing PODC 1999, Atlanta, Georgia (1999)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Francisco J. Torres-Rojas
    • 1
  • Esteban Meneses
    • 2
  1. 1.Costa Rica Institute of Technology (I.T.C.R.) and, University of Costa Rica (U.C.R.) 
  2. 2.Costa Rica Institute of Technology and PrediSoftCosta Rica

Personalised recommendations