B. Xu, F. Zuo, X. Zhou, L. Shi, and Y. Zeng (PRC)
concurrent programs, software testing, non-determinism and debugging
TP PT Traditional cyclic debugging technique cannot be effectively applied to debug concurrent programs because of the non-determinism of programs execution. This paper puts forward a new method to debug concurrent programs based on events, which records the sequence of synchronized events in program execution, makes the execution deterministic and replays the original status of errors according to event records. With this method, therefore, we will be able to implement the one-step debugging at synchronized operation level, and visualize the communication among threads combined with static program analysis. In a word, this method makes the cyclic debugging remain effective in concurrent situations.
Important Links:
Go Back
