A parametrized algorithm that implements sequential, causal, and cache memory consistencies

Journal of Systems and Software

Volumn 81, Issue 1, 2008, Pages 120-131

  Jiménez, Ernesto ^b   Fernández, Antonio ^a   Cholvi, Vicent ^c  

^a UNIVERSIDAD REY JUAN CARLOS   (Spain)

^b UNIVERSIDAD POLITÉCNICA DE MADRID   (Spain)

^c Institute of New Imaging Technologies   (Spain)

Author keywords

Causal consistency; Coherency models; Distributed shared memory; Distributed systems; Sequential consistency

Indexed keywords

ALGORITHMS; DISTRIBUTED COMPUTER SYSTEMS; MATHEMATICAL MODELS;

CAUSAL CONSISTENCY; COHERENCY MODELS; DISTRIBUTED SHARED MEMORY; SEQUENTIAL CONSISTENCY;

CACHE MEMORY;

EID: 35848931899     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jss.2007.03.012     Document Type: Article

References (17)

1. Ahamad M., Neiger G., Burns J., Kohli P., and Hutto P. Causal memory: definitions, implementation and programming. Distributed Computing 9 1 (1995) 37-49
2. Akl S.G. The Design and Analysis of Parallel Algorithms (1989), Prentice-Hall, Inc., Upper Saddle River, NJ, USA
3. Attiya, H., Friedman, R., 1992. A correctness condition for high-performance multiprocessors. In: Proceedings of the 24th Annual ACM Symposium on the Theory of Computing, pp. 679-690.
4. Attiya H., and Welch J. Sequential consistency versus linearizability. ACM Transactions on Computer Systems 12 2 (1994) 91-122
5. Cholvi V., and Bernabéu J. Relationships between memory models. Information Processing Letters 90 2 (2004) 53-58
6. Lamport L. How to make a multiprocessor computer that correctly executes multiprocess programs. IEEE Transactions on Computers 28 9 (1979) 690-691
7. Manovit C., and Hangal S. Efficient algorithms for verifying memory consistency. SPAA'05: Proceedings of the 17th Annual ACM Symposium on Parallelism in Algorithms and Architectures (2005), ACM Press, New York, NY, USA 245-252
8. Misra J. Axioms for memory access in asynchronous hardware systems. ACM Transactions on Programming Languages and Systems 8 1 (1986) 142-153
9. Prakash R., Raynal M., and Singhal M. An adaptive causal ordering algorithm suited to mobile computing environments. Journal of Parallel and Distributed Computing 41 (1997) 190-204
10. Raynal M. Token-based sequential consistency. Computer Systems Science and Engineering 17 6 (2002) 359-365
11. Raynal, M., Ahamad, M., 1998. Exploiting write semantics in implementing partially replicated causal objects. In: Proceedings of the Sixth EUROMICRO Conference on Parallel and Distributed Computing, pp. 157-163.
12. Raynal, M., Schiper, A., 1996. From causal consistency to sequential consistency in shared memory systems, Tech. Rep. 926, IRISA (May).
13. Raynal, M., Vidyasankar, K., 2004. A distributed implementation of sequential consistency with multi-object operations. In: ICDCS, pp. 544-551.
14. Singh A. Bounded timestamps in process networks. Parallel Processing Letters 6 2 (1996) 259-264
15. Steinke R.C., and Nutt G.J. A unified theory of shared memory consistency. Journal of ACM 51 5 (2004) 800-849
16. Wilkinson B., and Allen M. Parallel Programming: Techniques and Applications Using Networked Workstations and Parallel Computers (1999), Prentice-Hall, Inc., Upper Saddle River, NJ, USA
17. Yehuda Afek G.B., and Merritt M. Lazy caching. ACM Transactions on Programming Languages and Systems 15 1 (1993) 182-205