A simple protocol offering both atomic consistent read operations and sequentially consistent read operations

Proceedings - International Conference on Advanced Information Networking and Applications, AINA

Volumn 1, Issue , 2005, Pages 961-966

  Raynal, Michel ^a   Roy, Matthieu ^b   Tutu, Ciprian ^c  

^a UNIVERSITÉ DE RENNES 1   (France)

^b LAAS CNRS   (France)

^c JOHNS HOPKINS UNIVERSITY   (United States)

Author keywords

Asynchronous distributed systems; Atomic consistency; Combination of consistency criteria; Linearizability; Message passing; Np completeness; Sequential consistency; Shared memory abstraction

Indexed keywords

CONCURRENT ENGINEERING; DISTRIBUTED COMPUTER SYSTEMS; FORMAL LOGIC; MULTIPROCESSING PROGRAMS; REAL TIME SYSTEMS; SEMANTICS; SEQUENTIAL CIRCUITS;

ASYNCHRONOUS DISTRIBUTED SYSTEMS; ATOMIC CONSISTENCY; COMBINATION OF CONSISTENCY CRITERIA; MESSAGE PASSING; NP-COMPLETENESS; SEQUENTIAL CONSISTENCY; SHARED MEMORY ABSTRACTION;

NETWORK PROTOCOLS;

EID: 33744497860     PISSN: 1550445X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/AINA.2005.64     Document Type: Conference Paper

References (23)

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 TOPLAS, 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. Proc. 18th IEEE Int. Conf. on Distributed Computing Systems, pp. 86-93, Amsterdam (Netherland), 1998.
6. Attiya H. and Welch J.L., Sequential Consistency versus Linearizability. ACM Transactions on Computer Systems, 12(2):91-122, 1994.
7. Garg V.K. and Raynal M., Normality: a Correctness Condition for Concurrent Objects. Parallel Processing Letters, 9(1):123-134, 1999.
8. Herlihy M.P. and Wing J.L., Linearizability: a Correctness Condition for Concurrent Objects. ACM Transactions on Programming Languages and Systems, 12(3):463-492, 1990.
9. Ibaraki T., Kameda T. and Minoura T., Serializability with Constraints. ACM Transactions on Database Systems, 12(3):429-452, 1987.
10. Lamport L., How to Make a Multiprocessor Computer that Correctly Executes Multiprocess Programs. IEEE Transactions on Computers, C28(9):690-691, 1979.
11. Li K. and Hudak P., Memory Coherence in Shared Virtual Memory Systems. ACM Transactions on Computer Systems, 7(4):321-359, 1989.
12. Misra J., Axioms for Memory Access in Asynchronous Hardware Systems. ACM Transactions on Programming Languages and Systems, 8(1):142-153, 1986.
13. Mittal N. and Garg V.K., Consistency Conditions for Multi-Object Distributed Operations. Proc. 18th IEEE Int. Conf. on Distributed Computing Systems, pp. 582-589, 1998.
14. Mizuno M., Nielsen M.L. and Raynal M., An Optimistic Protocol for a Linearizable Distributed Shared Memory System. Parallel Processing Letters, 6(2):265-278, 1996.
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. Papadimitriou C.H., The Theory of Concurrency Control. Computer Science Press, 1986.
17. Raynal M., Sequential Consistency as Lazy Linearizability. 14th ACM Symposium on Parallel Algorithms and Architectures (SPAA'02), pp. 151-152, Winnipeg (Canada), 2002.
18. Raynal M., Token-Based Sequential Consistency. Journal of Computer Systems Science and Engineering, 17(6):359-365.
19. Raynal M., Roy M. and Tutu C., Merging Atomic Consistency and Sequential Consistency. IRISA Research Report #1629, June 2004, available at www.irisa.fr/bibli/publi/pi/2004/1629/1629.html.
20. Raynal M. and Schiper A., From Causal Consistency to Sequential Consistency in Shared Memory Systems. Proc. 15th Int. Conf. on Foundations of Software Technology and Theoretical Computer Science (FST&TCS'95), Springer-Verlag LNCS#1026, pp. 180-194, Bangalore (India), 1995.
21. Raynal M. and Schiper A., A Suite of Formal Definitions for Consistency Criteria in Distributed Shared Memories. Proc. 9th Int. IEEE Conference on Parallel and Distributed Computing Systems (PDCS'96), pp. 125-131, 1996.
22. Raynal M. and Vidyasankar K., A Distributed Implementation of Sequential Consistency with Multi-Object Operations. 24th IEEE Int. Conf. on Distributed Computing Systems (ICDCS'04), pp. 544-551, Tokyo, 2004.
23. Taylor R.N., Complexity of Analyzing the Synchronization Structure of Concurrent Programs. Acta Informatica, 19:57-84, 1983.