Reasoning about lock placements

DOI10.1007/978-3-642-28869-2_17MaRDI QIDQ2892737zbMATH OpenOpenAlexFDO

Authors Peter Hawkins, Alex Aiken, Kathleen Fisher, Mooly Sagiv, Martin C. Rinard

Publication date 22 June 2012

Published in Programming Languages and Systems (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Local Reasoning for Storable Locks and Threads
• Structural lock correlation with ownership types
• Safety by uninterpreted locks
• Formal verification of concurrent programs with Read-write locks
• Locking based on a pairwise decomposition of the transaction system

Cited in

(3)

• Safety by uninterpreted locks
• Kempe-locking configurations
• Locks, Bombs and Testing: The Case of Independent Locks

This page was built for publication: Reasoning about lock placements

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