A collection of multithreaded benchmarks amenable to systematic concurrency testing.
Overview
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.
Research Support
This research has been supported by the EU FP7 CARP project, Correct and Efficient Accelerator Programming, and a PhD studentship from the EPSRC.
Publications
-
Concurrency Testing Using Controlled Schedulers: An Empirical Study
Paul Thomson, Alastair F. Donaldson, Adam Betts
ACM Transactions on Parallel Computing
-
Concurrency Testing Using Schedule Bounding: an Empirical Study
Paul Thomson, Alastair F. Donaldson, Adam Betts
19th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP'14)