Title :
Heuristics for finding concurrent bugs
Author :
Eytani, Yaniv ; Farchi, Eitan ; Ben-Asher, Yosi
Author_Institution :
Comput. Sci. Dept., Haifa Univ., Israel
Abstract :
This paper presents new heuristics that increase the probability of manifesting concurrent bugs. The heuristics are based on cross-run monitoring. A contended shared variable is chosen and random context switching is performed at accesses to that variable. The relative strength of the new heuristics is analyzed. In comparison to previous works, our heuristics increase the frequency of bug manifestation. In addition, the new heuristics were able to find bugs that previous methods did not discover.
Keywords :
Java; multi-threading; program debugging; program testing; system monitoring; concurrent Java programming; concurrent bugs; contended shared variable; cross-run monitoring; debugging; heuristics; multi-threading; random context switching; testing; Computer bugs; Computer science; Engines; Instruments; Interleaved codes; Java; Switches; System recovery; Testing; Yarn;
Conference_Titel :
Parallel and Distributed Processing Symposium, 2003. Proceedings. International
Print_ISBN :
0-7695-1926-1
DOI :
10.1109/IPDPS.2003.1213514
