Sequential consistency as lazy linearizability

Annual ACM Symposium on Parallel Algorithms and Architectures

Volumn , Issue , 2002, Pages 151-152

  Raynal, Michel ^a  

^a CAMPUS DE BEAULIEU   (France)

Author keywords

Linearizability; Sequential consistency

Indexed keywords

CONSTRAINT THEORY; MULTIPROCESSING SYSTEMS; PROGRAM PROCESSORS; REAL TIME SYSTEMS;

LAZY LINEARIZABILITY; SEQUENTIAL CONSISTENCY;

MULTIPROCESSING PROGRAMS;

EID: 0036956934     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/564891.564896     Document Type: Conference Paper

References (8)

1. Attiya H. and Welch J.L., Sequential Consistency versus Linearizability. ACM TOCS, 12(2):91-122, 1994.
2. Herlihy M.P. and Wing J.L., LIN: a Correctness Condition for Concurrent Objects. ACM TOPLAS, 12(3), 1990.
3. Lamport L., How to Make a Multiprocessor Computer that Correctly Executes Multiprocess Programs. IEEE Transactions on Computers, C28(9):690-691, 1979.
4. Li K. and Hudak P., Memory Coherence in Shared Virtual Memory Systems. ACM TOCS, 7(4):321-359, 1989.
5. Misra, J., Axioms for Memory Access in Asynchronous Hardware Systems. ACM TOPLAS, 8(1):142-153, 1986.
6. Mizuno M., Raynal M. and Zhou J.Z., Sequential Consistency in Distributed Systems. Springer Verlag LNCS #938, pp. 224-241, Dagsthul (G), 1994.
7. Raynal M., Sequential Consistency as Lazy Linearizability. Research Report #1437, IRISA, Univ. de Rennes (F), 2002. http://www.irisa.fr/bibli/publi/pi/2002/1437/1437.html.
8. Taylor R.N., Complexity of Analyzing the Synch Structure of Concurrent Programs. Acta Informatica, 19:57-84, 1983.