Analyzing convergence in consistency models for distributed objects

Lecture Notes in Computer Science

Volumn 3544, Issue , 2005, Pages 346-356

  Torres Rojas, Francisco J ^a   Meneses, Esteban ^b  

^a UNIVERSIDAD DE COSTA RICA   (Costa Rica)

^b INSTITUTO TECNOLÓGICO DE COSTA RICA   (Costa Rica)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; CONVERGENCE OF NUMERICAL METHODS; MATHEMATICAL MODELS; NETWORK PROTOCOLS;

CONSISTENCY MODELS; CONSISTENCY PROTOCOL; DISTRIBUTED OBJECTS; FORMALIZATION;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 26444492553     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11516798_25     Document Type: Conference Paper

References (20)

1. Adve, S. and Gharachorloo, K., Shared Memory Consistency Models: A Tutorial. Western Research Laboratory, Research Report 95/7, 1995.
2. Ahamad, M., Torres-Rojas, F., Kordale, R., Singh, J. and Smith, S., Detecting Mutual Consistency of Shared Objects, Proc. of International Workshop on Mobile Systems and Applications, 1994.
3. Ahamad, M., Neiger, G., Burns, J., Kohli., P. and Hutto, P. Causal memory: definitions, implementation and programming. Distributed Computing. September, 1995.
4. Ahamad, M., Bhola, S., Kordale, R. and Torres-Rojas, F., Scalable Information Sharing in Large Scale Distributed Systems, Proceedings of the Seventh SIGOPS Workshop, August 1996.
5. Ahamad, M., Raynal, M. and Thiakime, G., An adaptive architecture for causally consistent services, Proc. ICDCS98, Amsterdam. 1998.
6. Ahamad, M. and Raynal, M., Ordering and Timeliness: Two Facets of Consistency?, Future Directions in Distributed Computing, 2003.
7. Attiya, H and J. Welch, J., Sequential Consistency vs. Linearizability, ACM Transactions on Computer Systems. Vol 12, Number 12. May 1994.
8. Birman, K., Schiper, A. and Stephenson, P., Lightweight Causal and Atomic Group Multicast, ACM Transactions on Computer Systems, Vol 9, No. 3, pp. 272-314, Aug. 1991.
9. Ellis, C.A. and Gibbs, S.J. Concurrency Control in Groupware Systems. In ACM SIGMOD'89 proceedings, pages 399-407, 1989.
10. Guerraoui, R. and Hari, C. On the Consistency Problem in Mobile Distributed Computing. ACM POMC, 2002.
11. Herlihy, M. and Wing, J. Linearizability: A Correctness Condition for Concurrent Objects. ACM Transactions on Programming Languages and Systems. Vol 12(3), July 1990.
12. Kordale, R. and Ahamad, M. A Scalable Technique for Implementing Multiple Consistency Levels for Distributed Objects, Proceedings of the 16th. International Conference in Distributed Computing Systems. May 1996.
13. Kordale, R. System Support for Scalable Services, Ph.D. dissertation, College of Computing, Georgia Institute of Technology. January 1997.
14. Lamport, L. Time, Clocks and the Ordering of Events is a Distributed System. Communications of the
15. Lamport, L. How to make a Multiprocessor Computer that correctly executes Multiprocess Programs. IEEE Transactions on Computer Systems, C-28(9), 1979.
16. Mattern, F. Virtual Time and Global States of Distributed Systems. Proceedings of the International Workshop on Parallel and Distributed Algorithms, 215-226, 1989.
17. Raynal, M. and Schiper, A., From Causal Consistency to Sequential Consistency in Shared Memory Systems, Proceedings 15th Int. Conference FST & TCS (Foundations of Software Technology and Theoretical Computer Science), Springer-Verlag LNCS 1026, pp. 180-194. Bangalore, India, Dec. 1995.
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.
19. Torres-Rojas, F. J., Ahamad, M. and Raynal, M. Lifetime Based Consistency Protocols for Distributed Objects. Proc. 12th International Symposium on Distributed Computing, DISC'98, Andros, Greece, September 1998.
20. Torres-Rojas, F. J., Ahamad, M. and Raynal, M. Timed Consistency for Shared Distributed Objects. Annual ACM Symposium on Principles of Distributed Computing PODC'99, Atlanta, Georgia, 1999.