Sciweavers

Share
ICSM
2008
IEEE

Dynamic slicing of multithreaded programs for race detection

9 years 7 months ago
Dynamic slicing of multithreaded programs for race detection
Prior work has shown that computing dynamic slices of erroneous program values can greatly assist in locating the root cause of erroneous behavior by identifying faulty statements in sequential programs. These dynamic slices represent backward transitive closure over exercised read-afterwrite data dependences and control dependences. However, for a multithreaded program executing on a processor, data races represent an additional source of errors which are not captured by dynamic slices. We present an extended form of dynamic slice for multithreaded programs which can assist in locating faults, including those caused by data races. We demonstrate the effectiveness of our approach via case studies and also describe an efficient algorithm for computing dynamic slices.
Sriraman Tallam, Chen Tian, Rajiv Gupta
Added 31 May 2010
Updated 31 May 2010
Type Conference
Year 2008
Where ICSM
Authors Sriraman Tallam, Chen Tian, Rajiv Gupta
Comments (0)
books