Asynchronous Wait-Free Runtime Verification and Enforcement of Linearizability
From MaRDI portal
Publication:6202229
DOI10.1145/3583668.3594563arXiv2301.02638MaRDI QIDQ6202229
Armando Castañeda, Unnamed Author
Publication date: 26 March 2024
Published in: Proceedings of the 2023 ACM Symposium on Principles of Distributed Computing (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2301.02638
verificationfault-tolerancelinearizabilitymonitoringshared memoryconcurrent algorithmswait-freedomlock-freedomenforcementdistributed runtime verification
Cites Work
- Runtime verification with minimal intrusion through parallelism
- Atomizer: A dynamic atomicity checker for multithreaded programs
- An overview of the runtime verification tool Java PathExplorer
- Forward and backward simulations. I. Untimed Systems
- Deciding and verifying network properties locally with few output bits
- A survey of challenges for runtime verification from advanced application domains (beyond software)
- A lower bound on the number of opinions needed for fault-tolerant decentralized run-time monitoring
- Locality and checkability in wait-free computing
- Tractable Refinement Checking for Concurrent Objects
- Quantitative relaxation of concurrent data structures
- Locality and Checkability in Wait-Free Computing
- Impossibility of distributed consensus with one faulty process
- How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs
- Time, clocks, and the ordering of events in a distributed system
- Atomic snapshots of shared memory
- Testing Shared Memories
- Unifying Concurrent Objects and Distributed Tasks
- Distributed Verification and Hardness of Distributed Approximation
- Causal memory: definitions, implementation, and programming
- Failure-aware Runtime Verification of Distributed Systems
- Verifying Concurrent Programs against Sequential Specifications
- Decentralized Asynchronous Crash-resilient Runtime Verification
This page was built for publication: Asynchronous Wait-Free Runtime Verification and Enforcement of Linearizability
