大家怎么跟踪、验证、测试并发程序？

[pythonee]

比如，我想验证concurrenthashmap的正确性，当然我不是怀疑他的正确性，只不过好奇实现者是如何肯定他是线程安全且行为正确的。另外，都说他的get, clear,iterator是弱一致性，那么是不是意味着可能可以读出脏数据，但是想复现这种情景实在是不易的事情啊