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.

Check out SCTBench in full

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.