The Complexity of Predicting Atomicity Violations

DOI10.1007/978-3-642-00768-2_14MaRDI QIDQ3617757zbMATH OpenOpenAlexFDO

Authors Azadeh Farzan, Parthasarathy Madhusudan

Publication date 31 March 2009

Published in Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-00768-2_14

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Analysis of algorithms and problem complexity (68Q25) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Trace-based symbolic analysis for atomicity violations
• Meta-analysis for Atomicity Violations under Nested Locking
• Monitoring Atomicity in Concurrent Programs
• Symbolic predictive analysis for concurrent programs
• Detecting errors in multithreaded programs by generalized predictive analysis of executions

Cites work

• A high-performance, portable implementation of the MPI message passing interface standard
• Atomizer: a dynamic atomicity checker for multithreaded programs
• Causal Atomicity
• Computer Aided Verification
• scientific article; zbMATH DE number 3986679 (Why is no real title available?)
• Monitoring Atomicity in Concurrent Programs
• On the complexity of intersecting finite state automata and \(\mathcal{NL}\) versus \(\mathcal{NP}\)
• Reduction
• Software transactional memory
• The Complexity of Predicting Atomicity Violations

Cited in

(11)

• Verifying robustness of event-driven asynchronous programs against concurrency
• Trace-based symbolic analysis for atomicity violations
• Tight failure detection bounds on atomic object implementations
• The Complexity of Predicting Atomicity Violations
• Meta-analysis for Atomicity Violations under Nested Locking
• Symbolic predictive analysis for concurrent programs
• Detecting errors in multithreaded programs by generalized predictive analysis of executions
• On the Complexity of Bounded Context Switching.
• Fine-grained complexity of safety verification
• Parameterized complexity of safety of threshold automata
• On synthesis of distributed monitors (invited talk)

Describes a project that uses

Uses Software

• jPredictor
• AVIO
• Velodrome
• Atomizer

This page was built for publication: The Complexity of Predicting Atomicity Violations

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