A collection of multithreaded benchmarks amenable to systematic concurrency testing.
SCTBench is a collection of multithreaded benchmarks that are amenable to systematic concurrency testing. That is, they are deterministic (except for scheduler non-determinism) and their state-spaces are acyclic (except for busy-wait loops, which contain calls to “yield” as expected). Most have been used in prior work on concurrency testing. SCTBench is summarised in our PPoPP’14 paper, where we performed an empirical evaluation of several existing systematic concurrency testing techniques.
This research has been supported by the EU FP7 CARP project, Correct and Efficient Accelerator Programming, and a PhD studentship from the EPSRC.
Concurrency Testing Using Controlled Schedulers: An Empirical Study
ACM Transactions on Parallel Computing
Concurrency Testing Using Schedule Bounding: an Empirical Study
19th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP'14)