Sequential consistency as lazy linearizability

DOI10.1007/3-540-36087-5_100MaRDI QIDQ4427280zbMATH OpenFDO

Authors Michel Raynal

Publication date 18 September 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2510/25100866.htm

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Network protocols (68M12) Computing methodologies and applications (68U99)

Recommendations

• Sequential consistency and the lazy caching algorithm
• The compositional approach to sequential consistency and lazy caching
• Cache consistency by design
• Verifying sequential consistency on shared-memory multiprocessor systems
• On the definition of sequential consistency

Cited in

(9)

• On the definition of sequential consistency
• scientific article; zbMATH DE number 1351080 (Why is no real title available?)
• Ordering vs timeliness: Two facets of consistency?
• Remarks on memory consistency description
• Sequential consistency and the lazy caching algorithm
• The compositional approach to sequential consistency and lazy caching
• Sequentially consistent versus linearizable counting networks
• Consistency models with global operation sequencing and their composition
• Fork sequential consistency is blocking

This page was built for publication: Sequential consistency as lazy linearizability

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4427280)