From causal consistency to sequential consistency in shared memory systems

DOI10.1007/3-540-60692-0_48MaRDI QIDQ2956682zbMATH OpenOpenAlexFDO

Authors Michel Raynal, A. Schiper

Publication date 19 January 2017

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

Full work available at URL https://hal.inria.fr/inria-00074123/file/RR-2557.pdf

Mathematics Subject Classification ID

Distributed systems (68M14)

Recommendations

• Partially Replicated Causally Consistent Shared Memory
• scientific article; zbMATH DE number 2102714
• A unified theory of shared memory consistency
• Shared Memory Consistency Conditions for Nonsequential Execution: Definitions and Programming Strategies
• Sound and complete monitoring of sequential consistency for relaxed memory models
• scientific article; zbMATH DE number 1346868
• scientific article; zbMATH DE number 1859710

Cited in

(10)

• An efficient causal logging scheme for recoverable distributed shared memory systems
• Optimal propagation-based protocols implementing causal memories
• Shared Memory Consistency Conditions for Nonsequential Execution: Definitions and Programming Strategies
• scientific article; zbMATH DE number 1950677 (Why is no real title available?)
• Causal memory: definitions, implementation, and programming
• The inhibition spectrum and the achievement of causal consistency
• Partially Replicated Causally Consistent Shared Memory
• On verifying causal consistency
• Consistency models with global operation sequencing and their composition
• Optimal stateless model checking for causal consistency

This page was built for publication: From causal consistency to sequential consistency in shared memory systems

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