Институт системного программирования им. В.П. Иванникова РАН


Инструмент поиска ошибок синхронизации в многопоточных программах

Начало проекта – 2012 год. Окончание проекта - 2012 год. Заказчик - Samsung.

В рамках работ для компании Samsung в 2012 году группой анализа программ разработан инструмент поиска ошибок синхронизации в многопоточных Java программах на основе инструментации Java байт-кода.

Реализованы алгоритмы инструментации Java байт-кода для сбора трасс выполнения программы и с применением библиотеки ThreadSanitizer реализован обнаружитель состояния гонки при доступе к ресурсам программы из разных потоков и взаимной блокировки потоков программы. Особенностью реализации инструмента является возможность его применения на Java машинах не поддерживающих встроенные механизмы инструментации (Dalvik).

Исполнитель

Системное программирование

Перейти к списку всех проектов