University of Illinois Urbana-Champaign

Producing Scheduling that Causes Concurrent Programs to Fail

Ben-Asher, Yosi; Eytani, Yaniv; Farchi, Eitan; Ur, Shmuel

Content Files
Producing Scheduling that Causes Concurrent Programs to Fail.pdf

Permalink

https://hdl.handle.net/2142/11158

Description

Title
Producing Scheduling that Causes Concurrent Programs to Fail
Author(s)
  • Ben-Asher, Yosi
  • Eytani, Yaniv
  • Farchi, Eitan
  • Ur, Shmuel
Issue Date
2006-02
Keyword(s)
computer science
Date of Ingest
2009-04-20T19:38:43Z
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. This work explores the theory and practice of choosing where in the program to induce such thread switches at runtime. 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 in which efficient search for real-life concurrent bugs can be carried out. 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 benchmark. Our empirical evidence demonstrates that real-life behavior is similar to what our model predicts.
Type of Resource
text
Genre of Resource
Technical Report
Permalink
http://hdl.handle.net/2142/11158
Copyright and License Information
You are granted permission for the non-commercial reproduction, distribution, display, and performance of this technical report in any format, BUT this permission is only for a period of 45 (forty-five) days from the most recent time that you verified that this technical report is still available from the University of Illinois at Urbana-Champaign Computer Science Department under terms that include this permission. All other rights are reserved by the author(s).

Owning Collections

Research and Tech Reports - Computer Science PRIMARY