Heuristics for finding concurrent bugs

Yaniv Eytani; Eitan Farchi; Yosi Ben-Asher

doi:10.1109/IPDPS.2003.1213514

Heuristics for finding concurrent bugs

Yaniv Eytani, Eitan Farchi, Yosi Ben-Asher

Department of Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

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.

Original language	English
Title of host publication	Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2003
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	8
Number of pages	1
ISBN (Electronic)	0769519261, 9780769519265
DOIs	https://doi.org/10.1109/IPDPS.2003.1213514
State	Published - 2003
Event	International Parallel and Distributed Processing Symposium, IPDPS 2003 - Nice, France Duration: 22 Apr 2003 → 26 Apr 2003

Publication series

Name	Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2003

Conference

Conference	International Parallel and Distributed Processing Symposium, IPDPS 2003
Country/Territory	France
City	Nice
Period	22/04/03 → 26/04/03

Bibliographical note

Publisher Copyright:
© 2003 IEEE.

ASJC Scopus subject areas

Theoretical Computer Science
Computational Theory and Mathematics
Software

Access to Document

10.1109/IPDPS.2003.1213514

Cite this

Eytani, Y., Farchi, E., & Ben-Asher, Y. (2003). Heuristics for finding concurrent bugs. In Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2003 (pp. 8). Article 1213514 (Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2003). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/IPDPS.2003.1213514

@inproceedings{be89861272434939ba7478b36cd57b72,

title = "Heuristics for finding concurrent bugs",

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.",

author = "Yaniv Eytani and Eitan Farchi and Yosi Ben-Asher",

note = "Publisher Copyright: {\textcopyright} 2003 IEEE.; International Parallel and Distributed Processing Symposium, IPDPS 2003 ; Conference date: 22-04-2003 Through 26-04-2003",

year = "2003",

doi = "10.1109/IPDPS.2003.1213514",

language = "English",

series = "Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2003",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

pages = "8",

booktitle = "Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2003",

address = "United States",

}

Eytani, Y, Farchi, E & Ben-Asher, Y 2003, Heuristics for finding concurrent bugs. in Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2003., 1213514, Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2003, Institute of Electrical and Electronics Engineers Inc., pp. 8, International Parallel and Distributed Processing Symposium, IPDPS 2003, Nice, France, 22/04/03. https://doi.org/10.1109/IPDPS.2003.1213514

Heuristics for finding concurrent bugs. / Eytani, Yaniv; Farchi, Eitan; Ben-Asher, Yosi.
Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2003. Institute of Electrical and Electronics Engineers Inc., 2003. p. 8 1213514 (Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2003).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Heuristics for finding concurrent bugs

AU - Eytani, Yaniv

AU - Farchi, Eitan

AU - Ben-Asher, Yosi

PY - 2003

Y1 - 2003

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84947246919&partnerID=8YFLogxK

U2 - 10.1109/IPDPS.2003.1213514

DO - 10.1109/IPDPS.2003.1213514

M3 - Conference contribution

AN - SCOPUS:84947246919

T3 - Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2003

SP - 8

BT - Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2003

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - International Parallel and Distributed Processing Symposium, IPDPS 2003

Y2 - 22 April 2003 through 26 April 2003

ER -

Heuristics for finding concurrent bugs

Abstract

Publication series

Conference

Bibliographical note

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this