Local Reasoning for Storable Locks and Threads
Abstract elided by the publisher.
Related papers
- Fair Operational Semantics PLDI 2023
- Reasoning About Threads Communicating via Locks CAV 2005
- Small bisimulations for reasoning about higher-order imperative programs POPL 2006
- Scalable adaptive NUMA-aware lock: combining local locking and remote locking for efficient concurrency PPoPP 2016
- Contention-conscious, locality-preserving locks PPoPP 2016
- Lock reservation: Java locks can mostly do without atomic operations OOPSLA 2002
- Mechanized verification of fine-grained concurrent programs PLDI 2015
- An Efficient Abortable-locking Protocol for Multi-level NUMA Systems PPoPP 2017