A methodological construction of an efficient sequential consistency protocol

Proceedings - Third IEEE International Symposium on Network Computing and Applications, NCA 2004

Volumn , Issue , 2004, Pages 141-148

  Cholvi, Vicent ^a   Fernández, Antonio ^b   Jiménez, Ernesto ^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

[No Author keywords available]

Indexed keywords

MATRIC MULTIPLICATION (MM); PERFORMANCE EVALUATION; SEQUENTIAL CONSISTENCY; WEBPAGE CACHING;

ABSTRACTING; ALGORITHMS; BUFFER STORAGE; DISTRIBUTED COMPUTER SYSTEMS; SERVERS; SYNCHRONIZATION; WEBSITES;

NETWORK PROTOCOLS;

EID: 18844397564     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/NCA.2004.1347771     Document Type: Conference Paper

References (22)

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. Proc. 18th IEEE Int. Conf. on Distributed Computing Systems, IEEE Computer Society Press, pp. 86-93, Amsterdam (Netherland), 1998.
6. Akl S.G., The design and analysis of parallel algorithms. Prentice-Hall, 1989.
7. Attiya H. and Welch J.L., Sequential Consistency versus Linearizability. ACM Transactions on Computer Systems, 12(2):91-122, 1994.
8. Bal H. and Tanenbaum A.S., ORCA: a Language for Parallel Programming of Distributed Systems. IEEE Transactions on Software Engineering, 18(3): 190-205, 1992.
9. Herlihy M.P., Wait-Free Synchronization. ACM Transactions on Programming Languages and Systems, 13(1): 124-149, 1991.
10. 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.
11. Jimenez E., Femandez A. and Cholvi V., A parameterized Algorithm that Implements Sequential, Causal and Cache Consistency. Proc. 10th EUROMICRO Workshop on Parallel, Distributed and Network-Based Processing (PDP'02), Islas Canarias (Spain), 2002.
12. Lamport L., How to Make a Multiprocessor Computer that Correctly Executes Multiprocess Programs. IEEE Transactions on Computers, C28(9):690-691, 1979.
13. Li K. and Hudak P., Memory Coherence in Shared Virtual Memory Systems. ACM Transactions on Computer Systems, 7(4):321-359, 1989.
14. Mattem F., Algorithms for Distributed Termination Detection. Distributed Computing, 2:161-175, 1987.
15. Misra J., Axioms for Memory Access in Asynchronous Hardware Systems. ACM Transactions on Programming Languages and Systems, 8(1):142-153, 1986.
16. 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.
17. 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.
18. Raynal M., Token-Based Sequential Consistency. Int. Journal of Computer Systems Science and Engineering, 17(6):359-366, 2002.
19. Raynal M., Sequential Consistency as Lazy Linearizability. Proc. 14th ACM Symposium on Parallel Algorithms and Architectures (SPAA'02), pp. 151-152, Winnipeg, 2002.
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), IEEE Computer Society Press, pp. 125-131, Dijon (France), 1996.
22. Wilkinson B. and Allen M., Parallel Programming: Techniques and Applications using Networked Workstations and Parallel Computers. Prentice-Hall, 1999.