|
1. |
Dynamic slicing of multithreaded programs for race detection
Tallam, S.; Chen Tian; Gupta, R.;
Software Maintenance, 2008. ICSM 2008. IEEE International Conference on
Sept. 28 2008-Oct. 4 2008
Page(s):97
-
106
Abstract:
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-after-write 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.
|
Cart
