Meta-analysis for Atomicity Violations under Nested Locking
No abstract available.
Related papers
- Composable, nestable, pessimistic atomic statements OOPSLA 2011
- Using data structure knowledge for efficient lock generation and strong atomicity PPoPP 2010
- Weak atomicity under the x86 memory consistency model PPoPP 2011
- Open nesting in software transactional memory PPoPP 2007
- An Efficient Meta-Lock for Implementing Ubiquitous Synchronization OOPSLA 1999
- Compositional Bitvector Analysis for Concurrent Programs with Nested Locks SAS 2010
- Trace-Based Symbolic Analysis for Atomicity Violations TACAS 2010
- Big Atomics and Fast Hash Tables PPoPP 2025