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. 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 that derived from the model. |
Year | DOI | Venue |
---|---|---|
2006 | 10.1145/1147403.1147410 | PADTAD |
Keywords | Field | DocType |
thread switch,concurrent program,conditional synchronization primitive,available multi-threaded benchmark,noise maker,novel fault model,producing scheduling,real-life behavior,empirical evidence,probabilistic algorithm,computer science,fault model | Synchronization,Empirical evidence,Computer science,Scheduling (computing),Parallel computing,Real-time computing,Thread (computing),Fault model,Distributed computing | Conference |
ISBN | Citations | PageRank |
1-59593-414-6 | 10 | 0.57 |
References | Authors | |
21 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Yosi Ben-Asher | 1 | 206 | 32.29 |
Yaniv Eytani | 2 | 168 | 9.13 |
Eitan Farchi | 3 | 590 | 46.38 |
Shmuel Ur | 4 | 885 | 101.32 |