题

我想知道是否有任何框架或应用程序（应用程序）/程序，可以分析任何Java代码的并发性吗？

如果该工具知道JRE发货类和方法的所有实现，那么它会归结为简单地分析同步块和方法及其呼叫层次结构。从这里可以创建一个培养网，并肯定会告诉您是否会遇到僵局。

我错过了一些东西，或者真的很容易吗？那么必须有一些很酷的工具做那种东西？或者这样的工具报告太多可能是由于某些底层计划/业务逻辑而完全节省的可能性的死锁？Petri网应该足够强大，可以处理这些情况？

这将节省许多人搜索可能或可能与死锁问题无关的错误。

有帮助吗？

解决方案

虽然可以使用静态代码分析找到（许多）并发相关错误，但它不适用于每种类型的错误。某些错误仅在某些条件下出现在运行时。

ibm有一个名为比赛＆Que;调度程序线程的执行，使得可能包含竞争条件，死锁和其他间歇性错误（统称称为同步问题）的程序场景被迫出现高频“。

这需要运行（单位）测试应用程序的仪器版本。更多背景信息在这个 developerworks文章

许可以下： CC-BY-SA 和 归因
不隶属于 StackOverflow
scroll top