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.
|Title of host publication||Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2003|
|Publisher||Institute of Electrical and Electronics Engineers Inc.|
|Number of pages||1|
|ISBN (Electronic)||0769519261, 9780769519265|
|State||Published - 2003|
|Event||International Parallel and Distributed Processing Symposium, IPDPS 2003 - Nice, France|
Duration: 22 Apr 2003 → 26 Apr 2003
|Name||Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2003|
|Conference||International Parallel and Distributed Processing Symposium, IPDPS 2003|
|Period||22/04/03 → 26/04/03|
Bibliographical notePublisher Copyright:
© 2003 IEEE.
ASJC Scopus subject areas
- Theoretical Computer Science
- Computational Theory and Mathematics