Causal memory: definitions, implementation, and programming

DOI10.1007/BF01784241MaRDI QIDQ5137003zbMATH OpenOpenAlexFDO

Authors Mustaque Ahamad, James E. Burns, Prince Kohli, Phillip W. Hutto, Gil Neiger

Publication date 30 November 2020

Published in Distributed Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01784241

zbMATH Keywords

causal memorydistributed shared memorymemory consistencysequential consistency

Mathematics Subject Classification ID

Distributed systems (68M14)

Recommendations

• On verifying causal consistency
• From causal consistency to sequential consistency in shared memory systems
• A unified theory of shared memory consistency
• On the interconnection of causal memory systems
• scientific article; zbMATH DE number 7141420

Cites work

• Axioms for memory access in asynchronous hardware systems
• How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs
• scientific article; zbMATH DE number 51132 (Why is no real title available?)
• Myths about the mutual exclusion problem
• On interprocess communication. I: Basic formalism
• Time, clocks, and the ordering of events in a distributed system

Cited in

(40)

• On the composability of consistency conditions
• The causal ordering abstraction and a simple way to implement it
• The weakest memory-access order
• Linearizable read/write objects
• Data-race and concurrent-write freedom are undecidable.
• On the interconnection of causal memory systems
• Structured development of a virtual shared memory system
• Set-constrained delivery broadcast: a communication abstraction for read/write implementable distributed objects
• Optimal propagation-based protocols implementing causal memories
• Relationships between memory models
• Generalized Paxos made Byzantine (and less complex)
• Checking causal consistency of distributed databases
• Implementing set objects in dynamic distributed systems
• Chapar: certified causally consistent distributed key-value stores
• A unified theory of shared memory consistency
• Implementing sequentially consistent programs on processor consistent platforms
• scientific article; zbMATH DE number 1950677 (Why is no real title available?)
• Virtual world consistency: a condition for STM systems (with a versatile protocol with invisible read operations)
• Remarks on memory consistency description
• Causal broadcast: how to forget?
• Read-write causality
• Implementing hybrid consistency with high-level synchronization operations
• Hundreds of impossibility results for distributed computing
• Partially Replicated Causally Consistent Shared Memory
• On the interconnection of causal memory systems
• On verifying causal consistency
• Principles of Distributed Systems
• scientific article; zbMATH DE number 7327945 (Why is no real title available?)
• Robustness Against Transactional Causal Consistency.
• Sound concurrent traces for online monitoring
• Making Linearizability Compositional for Partially Ordered Executions
• Asynchronous Wait-Free Runtime Verification and Enforcement of Linearizability
• Brief Announcement: The MBroadcast Abstraction
• Brief Announcement: CausalEC: A Causally Consistent Data Storage Algorithm based on Cross-Object Erasure Coding
• Opportunistic monitoring of multithreaded programs
• Optimal stateless model checking for causal consistency
• Rely-guarantee reasoning for causally consistent shared memory
• Process-commutative distributed objects: from cryptocurrencies to Byzantine-fault-tolerant CRDTs
• Verification of the release-acquire semantics
• Asynchronous wait-free runtime verification and enforcement of linearizability

This page was built for publication: Causal memory: definitions, implementation, and programming

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