Exploring the interleaving space of a multithreaded program to efficiently detect concurrency bugs is important but also difficult because of the astronomically many thread schedules. This paper presents a novel framework to decompose a thread schedule generator that explores the interleaving space into the composition of a basic generator and its extension under the “small interleaving hypothesis”. Under this framework, we in-depth analyzed research work on interleaving space exploration, illustrated how to design an effective schedule generator, and shed light on future research opportunities.

中文翻译：

---

关于多线程程序的交错空间探索

探索多线程程序的交织空间以有效检测并发错误很重要，但由于天文上有许多线程调度，因此也很困难。本文提出了一个新颖的框架来分解线程调度生成器，该线程调度生成器将交织空间探索为基本生成器的组成及其在“小交织假设”下的扩展。在此框架下，我们深入分析了交错空间探索的研究工作，阐述了如何设计有效的时间表生成器，并阐明了未来的研究机会。