是什么导致了死锁或者并发测试不一致地失败?

我一直在摆弄 CHESS ,这似乎是一个非常有用的工具。然而,具有讽刺意味的是,在我的一个测试方法中,我似乎正在处理一个海森堡。当我运行此测试时,CHESS报告的结果是不可预测的:

• 有时考试会通过
• 有时测试会失败,并指示复制*

起初,我认为这种不一致性一定是因为测试涉及到 Random

因此,我更新了测试,只需运行一组预定义的种子值(0到10)。线程本地 随机的 随机的 在锁里。代码看起来 基本上 确切地 这样地:

更新 :我在.NET 3.5上运行此程序,因为CHESS仅支持VS 2008。我想知道这个问题是否与 this ?)

sharedRandom 使用已知种子(介于0和10之间)初始化 localRandom Parallel.For 可能在运行之间有所不同,但在5次迭代中 平行。用于 ,同样的5粒种子应该用于 局部随机 ).

就是这样 明白了。但是从国际象棋的结果来看,我倾向于相信我一定错过了什么。

1. 上面的代码中是否有一个死锁,我太笨了,看不出来?
2. 我不应该使用 在并发相关测试中初始化?
3. 对于那些有使用国际象棋经验的人:它是一个可靠的工具吗?有时会出现假阳性吗?这实际上是一个很大的问题,好像这个场景很常见(测试结果不一致),那么我暂时暂缓使用象棋可能是明智的。

_{*……我还没弄清楚怎么用——但这是另外一个问题。}