c++ - 测试并发数据结构

Question

有哪些方法可以测试并发数据结构以确保数据结构在从多个线程访问时行为正确？

Answer 1

所有其他答案都侧重于实际测试代码，通过测试代码并以一种或另一种形式实际运行它，或者礼貌地说“不要自己做，使用现有的库”。

这很好，但是 IMO，最重要的(实际测试也很重要)测试是逐行查看代码，对于每一行代码询问“如果发生什么情况我在这里被另一个线程打断了吗？”想象另一个线程，在这个中断期间运行几乎任何其他行/函数。事情仍然保持一致吗？竞争资源时，其他线程是阻塞还是自旋？

这是我们在学校学习并发时所做的，这是一种非常有效的方法。总而言之，我觉得花时间向自己证明事情是一致的，并且在所有状态下都按预期工作是处理这些东西时应该使用的第一种技术。