Lock Removal for Concurrent Trace Programs

11 years 7 months ago

Download www.cs.utexas.edu

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 efﬁcient in that it involves only thread-local computation and therefore avoids interleaving explosion, which is known as the main hurdle for scalable concurrency analysis. Our method builds on the partial-order theory and a uniﬁed analysis framework; therefore, it is more generally applicable than existing methods based on simple syntactic rules and ad hoc heuristics. We have implemented and evaluated the proposed method in the context of runtime veriﬁcation of multithreaded Java and C programs. Our experimental results show that lock removal can signiﬁcantly speed up symbolic predictive analysis for detecting concurrency bugs. Besides runtime veriﬁcation, our new method will also be useful in applications such as debugging, performance optimization, program un...

Vineet Kahlon, Chao Wang

Real-time Traffic