multithreading - 搞乱线程计时的工具？

Question

我最近一直在研究一个多线程程序，该程序具有非常复杂的锁定不变量。我希望检查程序中是否存在死锁或竞争，但典型的单元测试可能不会显示这一点，因为线程计时可能恰好以导致测试通过的方式运行，即使存在错误在代码中。

我很好奇是否有一种工具可以让测试运行多次，每次不同的线程以不同的顺序获得不同的时间片。这样的工具存在吗？或者是否有其他好工具可以使调试更容易？

这个程序是用 C 语言编写的，但我会接受任何语言的回答，因为我很好奇那里有什么，即使它不能直接适用于此。

Answer 1

查看 Helgrind一个基于 Valgrind 的工具。它似乎对它使用的 gcc 版本相当挑剔，但值得一看。