A methodological construction of an efficient sequentially consistent distributed shared memory

Computer Journal

Volumn 53, Issue 9, 2010, Pages 1523-1534

  Cholvi, Vicent ^a   Fernández, Antonio ^b   Jiménez, Ernesto ^c   Manzano, Pilar ^c   Raynal, Michel ^d  

^a UNIVERSITAT JAUME I   (Spain)

^b UNIVERSIDAD REY JUAN CARLOS   (Spain)

^c UNIVERSIDAD POLITÉCNICA DE MADRID   (Spain)

^d CAMPUS DE BEAULIEU   (France)

Author keywords

distributed shared memory; distributed systems; sequential consistency

Indexed keywords

ATOMIC BROADCAST; DISTRIBUTED SHARED MEMORY; DISTRIBUTED SYSTEMS; LOCAL MEMORIES; LOCAL STATE; READ OPERATION; SEQUENTIAL CONSISTENCY; SEQUENTIAL CONSISTENCY PROTOCOL; SHARED MEMORIES; SHARED OBJECTS; SIMPLE PROTOCOL; SYNCHRONIZATION MECHANISMS; WRITE OPERATIONS;

EID: 78149233555     PISSN: 00104620     EISSN: 14602067     Source Type: Journal    
DOI: 10.1093/comjnl/bxp090     Document Type: Article

References (28)

1. Cholvi, V., Fernández, A., Jiménez, E. and Raynal, M. (2004) A methodological construction of an efficient sequential consistency protocol. IEEE Int. Symp. Netw. Comput. Appl. (NCA'04), pp. 141-148. (Pubitemid 40681670)
2. Cholvi, V. and Bernabéu, J. (2004) Relationships between memory models. Inf. Process. Lett., 90, 53-58.
3. Steinke, R. C. and Nutt, G. J. (2004) A unified theory of shared memory consistency. J. ACM, 51, 800-849.
4. Haldar, S. and Vidyasankar, K. (2007) On specification of read/write shared variables. J. ACM, 54, 1-31. (Pubitemid 350249499)
5. Higham, J. and Jackson, L. and Kawash, J. (2007) Specifying memory consistency of write buffer multiprocessors. ACM Trans. Comput. Syst., 25, 1-42. (Pubitemid 46902855)
6. Manovit, C. and Hangal, S. (2005) Efficient Algorithms for Verifying Memory Consistency, SPAA'05: Proc. 17th Annual ACM Symp. Parallelism in Algorithms and Architectures, Las Vegas, NV, USA, pp. 245-252. ACM Press, New York, USA. (Pubitemid 43206577)
7. Misra, J. (1986) Axioms for memory access in asynchronous hardwaresystems. ACM Trans. Program. Lang. Syst., 8, 142-153. (Pubitemid 16632370)
8. Herlihy, M. P. and Wing, J. L. (1990) Linearizability: a correctness condition for concurrent objects. ACM Trans. Program. Lang. Syst., 12, 463-492.
9. Ahamad, M., Hutto, P. W., Neiger, G., Burns, J. E. and Kohli, P. (1995) Causal memory: definitions, implementations and programming. Distrib. Comput., 9 37-49.
10. Ahamad, M., Raynal, M. and Thia-Kime, G. (1998) An Adaptive Protocol for Implementing Causally Consistent Distributed Services. Proc. 18th IEEE Int. Conf. Distributed Computing Systems, Amsterdam, The Netherland, pp. 86-93. IEEE Computer Society Press.
11. Adve, S. V. and Garachorloo, K. (1997) Shared memory models: a tutorial. IEEE Comput., 29, 66-77.
12. Raynal, M. and Schiper, A. (1996) A Suite of Formal Definitions for Consistency Criteria in Distributed Shared Memories. Proc. 9th Int. IEEE Conf. Parallel and Distributed Computing Systems (PDCS'96), Dijon, France, pp. 125-131. IEEE Computer Society Press.
13. Lamport, L. (1979) How to make a multiprocessor computer that correctly executes multiprocess programs. IEEE Trans. Comput., C28, 690-691. (Pubitemid 10420526)
14. Li, K. and Hudak, P. (1989) Memory coherence in shared virtual memory systems. ACM Trans. Comput. Syst., 7, 321-359. (Pubitemid 20637608)
15. Bal, H. and Tanenbaum, A. S. (1992) ORCA: a language for parallel programming of distributed systems. IEEE Trans. Softw. Eng., 18, 190-205.
16. Raynal, M. (2002) Sequential Consistency as Lazy Linearizability. Proc. 14th ACM Symp. Parallel Algorithms and Architectures (SPAA'02), Winnipeg, pp. 151-152.
17. Jiménez, E., Fernández, A. and Cholvi, V. (2008) Aparameterized algorithm that implements sequential, causal and cache memory consistencies. J. Syst. Softw., 81, 120-131. (Pubitemid 350060987)
18. Attiya, H. and Welch, J. L. (1994) Sequential consistency versus linearizability. ACM Trans. Comput. Syst., 12, 91-122.
19. Afek, Y., Brown, G. and Merritt, M. (1993) Lazy caching. ACM Trans. Program. Lang. Syst., 15, 182-205.
20. Mizuno, M., Raynal, M. and Zhou, J. Z. (1994) Sequential consistency in distributed systems. Proc. Int. Workshop on Theory and Practice of Distributed Systems, Dagsthul Castle, Germany, pp. 224-241. Lecture Notes in Computer Science 938, Springer.
21. Ahamad, M. and Kordale, R. (1999) Scalable consistency protocols for distributed services. IEEE Trans. Parallel Distrib. Syst., 10, 888-903. (Pubitemid 32081633)
22. Raynal, M. (2002) Token-based sequential consistency. Int. J. Comput. Syst. Sci. Eng., 17, 359-366.
23. Herlihy, M. P. (1991) Wait-free synchronization. ACM Trans. Program. Lang. Syst., 13, 124-149.
24. Mizuno, M., Nielsen, M. L. and Raynal, M. (1996) An optimistic protocol for a linearizable distributed shared memory system. Parallel Process. Lett., 6, 265-278. (Pubitemid 126732580)
25. Raynal, M. and Schiper, A. (1995) From Causal Consistency to Sequential Consistency in Shared Memory Systems. Proc. 15th Int. Conf. Foundations of Software Technology and Theoretical Computer Science (FST&TCS'95), Bangalore, India, pp. 180-194. Lecture Notes in Computer Science 1026, Springer. (Pubitemid 126012710)
26. Mattern, F. (1987) Algorithms for distributed termination detection. Distrib. Comput., 2, 161-175.
27. Wilkinson, B. and Allen, M. (1999) Parallel Programming: Techniques and Applications using Networked Workstations and Parallel Computers. Prentice-Hall.
28. Akl, S. G. (1989) The Design and Analysis of Parallel Algorithms. Prentice-Hall.