Reasoning about Lock Placements

A lock placement describes, for each heap location, which lock guards the location, and under what circumstances. We formalize methods for reasoning about lock placements, making precise the interactions between the program, the heap structure, and the lock placement.

• Type: Journal
• Year: 2012
• Where: ESOP
• Authors: Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv
• Keywords: Circumstances, ESOP 2012, Heap Structure, Placements, Programming Languages