Exploiting write semantics in implementing partially replicated causal objects

Proceedings of the 6th Euromicro Workshop on Parallel and Distributed Processing, PDP 1998

Volumn , Issue , 1998, Pages 157-163

  Raynal, Michel ^a   Ahamad, Mustaque ^b  

^a CAMPUS DE BEAULIEU   (France)

^b Georgia Institute of Technology   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

MESSAGE PASSING;

CAUSAL DELIVERY; CONCURRENT PROCESS; CONSISTENCY CRITERIA; COOPERATIVE APPLICATIONS; MESSAGE PASSING SYSTEMS; NEW PROTOCOL; READ OPERATION; SHARED OBJECTS; UPDATE MESSAGES; WRITE OPERATIONS;

SEMANTICS;

EID: 85117462616     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EMPDP.1998.647193     Document Type: Conference Paper

References (9)

1. M. Ahamad, P.W. Hutto, G. Neiger, J.E. Burns, and P. Kohli. Causal Memory: Definitions, Implementations and Programming. Distributed Computing, 9:37-49, 1995.
2. K. Birman, A. Schiper, and P. Stephenson. Lightweight Causal and Atomic Group Multicast. ACM Transactions on Computer Systems, 9(3):272-314, 1991.
3. M. Herlihy and J. Wing. Linearizability: a Correctness Condition for Concurrent Objects. ACM TOPLAS, 12(3):463-492,1990.
4. L. Lamport. Time, Clocks and the Ordering of Events in a Distributed System. Com. ACM, 21(7):558-565, 1978.
5. L. Lamport. How to Make a Multiprocessor Computer that Correctly Executes Multiprocess Programs. IEEE Transactions on Computers, C28(9):690-691, 1979.
6. J. Misra. Axioms for Memory Access in Aynchronous Hardware Systems. ACM Trancastions on Prog. Languages and Systems, 8(1):142-153, 1986.
7. M. Raynal, A. Schiper and S. Toueg. The Causal Ordering Abstraction and a Simple Way to Implement it. Information Processing Letters, 39:343-350, 1991.
8. M. Raynal and A. Schiper. From Causal Consistency to Sequential Consistency in Shared Memory Systems.Proc. 15th Int. Conf. FST&TCS, Bangalore, India, Springer-Verlag LNCS 1026, pp. 180-194,1995.
9. F.J. Torres-Rojas and M. Ahamad. Plausible Clocks: Constant Size Logical Clocks for Distributed Systems. In Proc. 10th Int. WDAG, Springer-Verlag LNCS 1051, pp. 71-88, 1996.