Lock Removal for Concurrent Trace Programs


We propose a trace-based concurrent program analysis to soundly remove redundant synchronizations such as locks while preserving the behaviors of the concurrent computation. Our new method is computationally efficient in that it involves only thread-local computation and therefore avoids interleaving explosion, which is known as the main hurdle for scalable… (More)
DOI: 10.1007/978-3-642-31424-7_20

4 Figures and Tables


  • Presentations referencing similar topics