Lock trace reduction for multithreaded programs

Research output: Journal Publications and Reviews (RGC: 21, 22, 62)21_Publication in refereed journalpeer-review

18 Scopus Citations
View graph of relations


Related Research Unit(s)


Original languageEnglish
Article number6410311
Pages (from-to)2407-2417
Journal / PublicationIEEE Transactions on Parallel and Distributed Systems
Issue number12
Online published11 Jan 2013
Publication statusPublished - Dec 2013


Many happened-before-based detectors for debugging multithreaded programs implement vector clocks to incrementally track the casual relations among synchronization events produced by concurrent threads and generate trace logs. They update the vector clocks via vector-based comparison and content assignment in every case. We observe that many such tracking comparison and assignment operations are removable in part or in whole, which if identified and used properly, have the potential to reduce the log traces thus produced. This paper presents our analysis to identify such removable tracking operations and shows how they could be used to reduce log traces. We implement our analysis result as a technique entitled LOFT. We evaluate LOFT on the well-studied PARSEC benchmarking suite and five large-scale real-world applications. The main experimental result shows that on average, LOFT identifies 63.9 percent of all synchronization operations incurred by the existing approach as removable and does not compromise the efficiency of the latter. © 1990-2012 IEEE.

Research Area(s)

  • Redundant operation optimization, Synchronization, Threads