Axioms for memory access in asynchronous hardware systems
From MaRDI portal
Publication:3723682
Recommendations
Cited in
(21)- Introduction à l'algorithmique des objets partagés
- Leveraging access mode declarations in a model for memory consistency in heterogeneous systems
- Data-race and concurrent-write freedom are undecidable.
- Causal memory: definitions, implementation, and programming
- Asynchronous PRAMs with memory latency
- The behavior of shared objects: Concept, pitfalls, and a new model
- Linearizable read/write objects
- A simple object that spans the whole consensus hierarchy
- On interprocess communication. II: Algorithms
- Atomic read/write memory in signature-free Byzantine asynchronous message-passing systems
- Analyzing linearizability violations in the presence of read-modify-write operations
- Time and space optimal implementations of atomic multi-writer register
- scientific article; zbMATH DE number 3907760 (Why is no real title available?)
- Schedulers and finishers: on generating and filtering the behaviours of an event structure
- Schedulers and finishers: on generating the behaviours of an event structure
- Computing \(k\)-atomicity in polynomial time
- Relationships between memory models
- A criterion for atomicity
- Proof of correctness of Ressel's adopted algorithm
- Composite registers
- Concurrent Kleene Algebra
This page was built for publication: Axioms for memory access in asynchronous hardware systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3723682)
