-
09-09-2020 - |
题
我想知道是否有任何框架或应用程序(应用程序)/程序,可以分析任何Java代码的并发性吗?
如果该工具知道JRE发货类和方法的所有实现,那么它会归结为简单地分析同步块和方法及其呼叫层次结构。从这里可以创建一个培养网,并肯定会告诉您是否会遇到僵局。
我错过了一些东西,或者真的很容易吗?那么必须有一些很酷的工具做那种东西?或者这样的工具报告太多可能是由于某些底层计划/业务逻辑而完全节省的可能性的死锁?Petri网应该足够强大,可以处理这些情况?
这将节省许多人搜索可能或可能与死锁问题无关的错误。
解决方案
虽然可以使用静态代码分析找到(许多)并发相关错误,但它不适用于每种类型的错误。某些错误仅在某些条件下出现在运行时。
ibm有一个名为比赛&Que;调度程序线程的执行,使得可能包含竞争条件,死锁和其他间歇性错误(统称称为同步问题)的程序场景被迫出现高频“。
其他提示
不隶属于 StackOverflow