Мне было интересно, существует ли какая-либо платформа или приложение (приложение) / программа, которая может анализировать параллелизм любого кода Java?
Если инструмент знает все реализации классов и методов, поставляемых jre, он сводится к простому анализу синхронизированных блоков и методов и их иерархий вызовов. Отсюда он может создать сеть Петри и точно сказать вам, можете ли вы когда-нибудь зайти в тупик.
Я что-то упускаю или это действительно так просто? Тогда должен быть какой-нибудь крутой инструмент, делающий подобные вещи? Или такой инструмент сообщит о слишком большом количестве возможных тупиков, которые полностью сохраняются из-за некоторой базовой программной / бизнес-логики? Сети Петри должны быть достаточно мощными, чтобы справляться с этими ситуациями?
Это сэкономило бы столько человеко-часов на поиск ошибок, которые могли бы или не могли быть связаны с проблемами мертвой блокировки.