Lock Removal for Concurrent Trace Programs

Abstract

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

Topics

  • Presentations referencing similar topics