Abstract
A noise maker is a tool that seeds a concurrent program with conditional synchronization primitives, such as yield(), for the purpose of increasing the likelihood that a bug manifest itself. We introduce a novel fault model that classifies locations as "good", "neutral", or "bad," based on the effect of a thread switch at the location. Using the model, we explore the terms under which an efficient search for real-life concurrent bugs can be conducted. We accordingly justify the use of probabilistic algorithms for this search and gain a deeper insight of the work done so far on noise-making. We validate our approach by experimenting with a set of programs taken from publicly available multi-threaded benchmarks. Our empirical evidence demonstrates that real-life behavior is similar to one derived from the model.
Original language | English |
---|---|
Title of host publication | Proceedings - ISoLA 2006 |
Subtitle of host publication | 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation |
Publisher | IEEE Computer Society |
Pages | 458-465 |
Number of pages | 8 |
ISBN (Print) | 0769530710, 9780769530710 |
DOIs | |
State | Published - 2006 |
Event | 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2006 - Paphos, Cyprus Duration: 15 Nov 2006 → 19 Nov 2006 |
Conference
Conference | 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2006 |
---|---|
Country/Territory | Cyprus |
City | Paphos |
Period | 15/11/06 → 19/11/06 |
ASJC Scopus subject areas
- Computational Theory and Mathematics
- Theoretical Computer Science