A distributed implementation of sequential consistency with multi-object operations

Proceedings - International Conference on Distributed Computing Systems

Volumn 24, Issue , 2004, Pages 544-551

  Raynal, Michel ^a   Vidyasankar, Krishnamurthy ^b  

^a CAMPUS DE BEAULIEU   (France)

^b MEMORIAL UNIVERSITY OF NEWFOUNDLAND   (Canada)

Author keywords

Asynchronous Distributed System; Message Passing; Multi Object Operation; Object Manager; Sequential Consistency; Shared Objects Memory Abstraction

Indexed keywords

COMPUTATION THEORY; CONCURRENT ENGINEERING; DATA STORAGE EQUIPMENT; NETWORK PROTOCOLS; PROGRAM PROCESSORS; REAL TIME SYSTEMS;

ASYNCHRONOUS DISTRIBUTED SYSTEM; MESSAGE PASSING; MULTI OBJECT OPERATIONS; OBJECT MANAGERS; SEQUENTIAL CONSISTENCY; SHARED OBJECTS MEMORY ABSTRACTION;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 2442448475     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/icdcs.2004.1281621     Document Type: Conference Paper

References (19)

1. Adve S.V. and Garachorloo K., Shared Memory Models: a Tutorial. IEEE Computer, 29(12):66-77, 1997.
2. Afek Y., Brown G. and Merritt M., Lazy Caching. ACM Transactions on Programming Languages and Systems, 15(1): 182-205, 1993.
3. Ahamad M., Hutto P.W., Neiger G., Burns J.E. and Kohli P., Causal memory: Definitions, Implementations and Programming. Distributed Computing, 9:37-49, 1995.
4. Ahamad M. and Kordale R., Scalable Consistency Protocols for Distributed Services. IEEE Transactions on Parallel and Distributed Systems, 10(9):888-903, 1999.
5. Ahamad M., Raynal M. and Thia-Kime G., An Adaptive Protocol for Implementing Causally Consistent Distributed Services. 18th IEEE Int. Conf. on Distributed Computing Systems, IEEE Press, pp. 86-93, Amsterdam, 1998.
6. Attiya H. and Welch J.L., Sequential Consistency versus Linearizability. ACM Transactions on Computer Systems, 12(2):91-122, 1994.
7. Bernstein P.A., Hadzilacos V. and Goodman N., Concurrency Control and Recovery in Database Systems. Addison-Wesley, 370 pages, 1987.
8. Garg V.K. and Raynal M., Normality: a Correctness Condition for Concurrent Objects. Parallel Processing Letters, 9(1): 123-134, 1999.
9. Herlihy M.P. and Wing J.L., Linearizability: a Correctness Condition for Concurrent Objects. ACM Transactions on Prog. Languages and Systems, 12(3):463-492, 1990.
10. Ibaraki T., Kameda T. and Minoura T., Serializability with Constraints. ACM Transactions on Database Systems, 12(3):429-452, 1987.
11. Lamport L., How to Make a Multiprocessor Computer that Correctly Executes Multiprocess Programs. IEEE Transactions on Computers, C28(9):690-691, 1979.
12. Li K. and Hudak P., Memory Coherence in Shared Virtual Memory Systems. ACM Transactions on Computer Systems, 7(4):321-359, 1989.
13. Misra J., Axioms for Memory Access in Asynchronous Hardware Systems. ACM Transactions on Programming Languages and Systems, 8(1): 142-153, 1986.
14. Mittal N. and Garg V.K., Consistency Conditions for Multi-Object Distributed Operations. Proc. 18th IEEE Int. Conf. on Distributed Computing Systems, IEEE Computer Society Press, pp. 582-589, Amsterdam (Netherland), 1998.
15. Mizuno M., Raynal M. and Zhou J.Z., Sequential Consistency in Distributed Systems. Proc. Int. Workshop on Theory and Practice of Distributed Systems, Springer Verlag LNCS #938, pp. 224-241, Dagsthul Castle (Germany), 1994.
16. Raynal M., Sequential Consistency as Lazy Linearizability. Proc. 14th ACM Symp. on Parallel Algorithms and Architectures (SPAA'02), pp. 151-152, Winnipeg, 2002.
17. Raynal M., Token-Based Sequential Consistency. Int. Journal of Computer Systems Science and Engineering, 17(6):359-366, 2002.
18. Raynal M. and Schiper A., A Suite of Formal Definitions for Consistency Criteria in Distributed Shared Memories. 9th Int. IEEE Conf. on Parallel and Dist. Computing Systems (PDCS'96), IEEE Press, pp. 125-131, 1996.
19. Taylor R.N., Complexity of Analyzing the Synchronization Structure of Concurrent Programs. Acta Informatica, 19:57-84, 1983.