测试并发数据结构

Question

你如何实际测试同步数据结构(在C中)？

解雇几个线程,并让他们竞争访问结构一段时间,看看是否出现任何问题听起来不是很安全.

EDIT响应评论:我的意思是有几个线程运行在同一组数据上运行的函数,具有某种同步策略(标志/信号量/无锁CAS /等),可能会消除竞争条件和死锁.问题是以编程方式测试工人的正确同步.

Answer 1

没有人真正知道如何 100% 可靠地做到这一点。 这只是查找并发错误的测试工具的一个示例。