我想知道是否有任何框架或应用程序(app)/程序可以分析任何Java代码的并发性？
如果该工具知道jre传送的类和方法的所有实现,那么它归结为对同步块和方法及其调用层次结构的简单分析.从这里它可以创建一个petri网,并告诉你,如果你可能遇到死锁.
我错过了什么或者这真的很容易吗？然后必须有一些很酷的工具做那种东西？或者这样的工具是否会报告太多可能因为一些底层程序/业务逻辑而完全保存的死锁？Petri网应该足够强大以处理这些情况？
这将节省大量工时搜索可能与死锁问题有关或可能与死锁问题无关的错误.