From serializable to causal transactions for collaborative applications

Conference Proceedings of the EUROMICRO

Volumn , Issue , 1997, Pages 314-321

  Raynal, Michel ^a   Thia Kime, Gerard ^a   Ahamad, Mustaque ^b  

^a CAMPUS DE BEAULIEU   (France)

^b Georgia Institute of Technology   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COLLABORATIVE APPLICATION; CONSISTENCY CRITERIA; DECENTRALIZED DISTRIBUTED SYSTEMS; DECENTRALIZED SYSTEM; DISTRIBUTED OBJECTS; SERIALIZABILITY; SHARED OBJECTS; SYNCHRONIZATION CONSTRAINTS;

MODEL CHECKING; COMPUTER OPERATING SYSTEMS; CONCURRENCY CONTROL; FAULT TOLERANT COMPUTER SYSTEMS; INTERACTIVE COMPUTER SYSTEMS; NETWORK PROTOCOLS; SYNCHRONIZATION;

INFORMATION TECHNOLOGY; DISTRIBUTED COMPUTER SYSTEMS;

CAUSAL CONSISTENCY; CAUSAL SERIALIZABILITY;

EID: 0030662818     PISSN: 10896503     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EURMIC.1997.617301     Document Type: Conference Paper

References (18)

1. Y. Afek, G. Brown, and M. Merritt. Lazy caching. ACM Trans, on Programming Languages and Systems, 15(1): 182205, 1993.
2. D. Agrawal and A. El Abbadi. Database Transaction Models For Advanced Applications. Chapter 1, Transaction Management in Database Systems, A. K. Elmagarmid Ed, Morgan Kaufmann publishers.
3. 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.
4. H. Attiya and J. L. Welch. Sequential Consistency versus Linearizability. ACM Trans, on Computer Systems, 12(2):91-122, May 1994.
5. PA. Bernstein, V. Hadzilacos and N. Goodman. Concurrency Control and Recovery in Database Systems. Addison-Wesley, 370 pages, 1987.
6. H. Garcia-Molina and D. Barbara. How to Assign Votes in a Distributed System. Journal of the ACM, 32(4):841-850, 1985.
7. M. Herlihy and J. Wing. Linearizability: a Correctness Condition for Concurrent Objects. ACM Trans, on Programming Languages and Systems, 12(3):463-492, 1990.
8. L. Lamport. Time, Clocks and the Ordering of Events in a Distributed System. Communications of the ACM, 21(7):558-565, 1978.
9. L. Lamport. How to Make a Multiprocessor Computer that Correctly Executes Multiprocess Programs. IEEE Trans, on Computers, C28(9):690-691, 1979.
10. F. Mattern. Virtual Time and Global States in Distributed Systems. Proc. Int. Conf. on Parallel and Distributed Computing, (Cosnard, Quinton, Raynal and Robert Eds), North-Holland, pp. 215-226, 1988.
11. J. Misra. Axioms for Memory Access in Asynchronous Hardware Systems. ACM Trans, on Programming Languages and Systems, 8(1): 142-153, 1986.
12. M. Mizuno, M. Raynal, and J.Z. Zhou. Sequential Consistency in Distributed Systems. Proc. Int. Workshop "Theory and Practice in Dist. Systems", Dagstuhl, Germany, Springer-Verlag LNCS 938, (K. Birman, F. Mattern and A. Schiper Eds), pp.227-241, 1994.
13. M. Raynal. A Distributed Solution to the k-out of-m Resources Allocation Problem. Proc. Int. Conf. ICCI, Ottawa, Springer-Verlag LNCS 497, pp. 407-412, 1991.
14. 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.
15. M. Raynal and A. Schiper. From Causal Consistency to Sequential Consistency in Shared Memory Systems. Proc. 15th Int. Conf. FST&TCS (Foundations of Software Technology and Theoretical Computer Science), Bangalore, India, Springer-Verlag LNCS 1026, (P.S. Thiagarajan Ed.), pp. 180-194, dec. 1995.
16. M. Raynal, G. Thia-Kime and M. Ahamad. From Seri-alizable to Causal Transactions for Collaborative Applications. Technical Report Irisa-Rennes, Feb. 1996, no 983, 22 pages.
17. F. Schmuck The Use of Efficient Broadcast in Asynchronous Distributed Systems. Ph. D. Thesis, Cornell University, TR88-928, 124 pages, 1988.
18. R.H. Thomas. A Majority Consensus Approach to Concurrency Control for Multiple Copies Databases. ACM Trans, on Database Systems, 4(2): 180-209, 1979.