From session causality to causal consistency

Proceedings - Euromicro Conference on Parellel, Distribeted and Network-based Proceeding

Volumn , Issue , 2004, Pages 152-158

  Brzeziński, Jerzy ^a   Sobaniec, Cezary ^a   Wawrzyniak, Dariusz ^a  

^a POZNAN UNIVERSITY OF TECHNOLOGY   (Poland)

Author keywords

Consistency models; Remote objects; Session guarantees; Shared objects

Indexed keywords

ALGORITHMS; DATA ACQUISITION; DATA STORAGE EQUIPMENT; MULTIPROCESSING SYSTEMS; NETWORK PROTOCOLS; SERVERS; THEOREM PROVING;

CONSISTENCY MODELS; REMOTE OBJECTS; SESSION GUARANTEES; SHARED OBJECTS;

SOFTWARE ENGINEERING;

EID: 3042630873     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/empdp.2004.1271440     Document Type: Conference Paper

References (10)

1. M. Ahamad, R. A. Bazzi, R. John, P. Kohli, and G. Neiger. The power of processor consistency (extended abstract). In Proc. of the 5th ACM Annual Symp. on Parallel Algorithms and Architectures (SPAA'93), pages 251-260, June 1993.
2. M. Ahamad, G. Neiger, P. Kohli, J. E. Burns, and P. W. Hutto. Casual memory: Definitions, implementation and programming. Distributed Computing, 9:37-49, 1995.
3. G. Chockler, R. Friedman, and R. Vitenberg. Consistency conditions for a CORBA caching service. Lecture Notes in Computer Science, 1914:374-388, 2000.
4. J. R. Goodman. Cache consistency and sequential consistency. Technical Report 61, IEEE Scalable Coherence Interface Working Group, Mar. 1989.
5. A.-M. Kermarrec, I. Kuz, M. van Steen, and A. S. Tanenbaum. 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.
6. L. Lamport. How to make a multiprocessor computer that correctly executes multiprocess programs. IEEE Trans. Comput., C-28(9):690-691, Sept. 1979.
7. R. J. Lipton and J. S. Sandberg. PRAM: A scalable shared memory. Technical Report CS-TR-180-88, Dept. of Computer Science, Princeton University, Sept. 1988.
8. J. Misra. Axioms for memory access in asynchronous hardware systems. ACM Trans. Prog. Lang. Syst., 8(1):142-153, Jan. 1986.
9. A. S. Tanenbaum and M. van Steen. Distributed Systems - Principles and Paradigms. Prentice Hall, New Jersey, 2002.
10. D. B. Terry, A. J. Demers, K. Petersen, M. Spreitzer, M. Theimer, and B. W. Welch. Session guarantees for weakly consistent replicated data. In Proceedings of the Third International Conference on Parallel and Distributed Information Systems (PDIS 94), Austin, Texas, September 28-30, 1994, pages 140-149. IEEE Computer Society, 1994.