Software Open Access

Learning-based Controlled Concurrency Testing

Mukherjee, Suvam; Deligiannis, Pantazis; Biswas, Arpita; Lal, Akash

Concurrency bugs are notoriously hard to detect and reproduce. Controlled concurrency testing (CCT) techniques aim to offer a solution, where a scheduler explores the space of possible interleavings of a concurrent program looking for bugs. Since the set of possible interleavings is typically very large, these schedulers employ heuristics that prioritize the search to "interesting" subspaces. However, current heuristics are typically tuned to specific bug patterns, which limits their effectiveness in practice.

In this artifact, we present QL, a learning-based CCT framework where the likelihood of an action being selected by the scheduler is influenced by earlier explorations. We leverage the classical Q-learning algorithm to explore the space of possible interleavings, allowing the exploration to adapt to the program under test, unlike previous techniques. We have implemented and evaluated QL on a set of microbenchmarks, complex protocols, as well as production cloud services. In our experiments, we found QL to consistently outperform the state-of-the-art in CCT.

Please refer to the README file for more details on how to run the artifact.

Files (6.0 GB)
Name Size
QL.ova
md5:41b922ac44e4c060571a6bc72c0b843f
6.0 GB Download
README.pdf
md5:9a25c4f3621e1772582afd48f264c422
39.2 kB Download
399
232
views
downloads
All versions This version
Views 399399
Downloads 232232
Data volume 125.9 GB125.9 GB
Unique views 369369
Unique downloads 207207

Share

Cite as