Guest
В докладе мы зададимся вопросом: как проверить, что ваше Java приложение работает при любом, даже самом неожиданном сценарии конкурентного выполнения -- не зависает, не приводит к некорректным результатам и не бросает неожиданные исключения? Оказывается, не обязательно быть специалистом по верификации многопоточных алгоритмов, чтобы использовать продвинутые инструменты анализа параллельных систем и успешно находить ошибки в коде. В ходе выступления на примерах будет показано, что используя Java PathFinder () — специальную JVM, разработанную в NASA - разработчик может очень быстро находить довольно нетривиальные ошибки, проявляющиеся только при конкурентном исполнении.
