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

V2EX = way to explore

V2EX 是一个关于分享和探索的地方

现在注册

已注册用户请登录

这是一个创建于 4233 天前的主题，其中的信息可能已经有所发展或是发生改变。

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

目前尚无回复