|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Вопросы индустриального применения синхронизационных контрактов при динамическом поиске гонок в Java-программах
В. Ю. Трифанов Санкт-Петербургский государственный университет
Аннотация:
Состояния гонки (data race) возникает в многопоточной программе при одновременном обращении нескольких потоков к разделяемым данным. Существует два основных подхода к обнаружению гонок - статический анализ программы (без её запуска) и динамическое обнаружение гонок в процессе работы программы. Ранее авторами был предложен точный высокопроизводительный динамический подход к обнаружению гонок на основании специальным образом составленных синхронизационных контрактов - частичных спецификаций поведения классов и наборов методов целевого приложения в многопоточной среде. Данная статья рассматривает вопрос индустриального применения концепции синхронизационных контрактов на крупных нагруженных многопоточных приложениях. Предложены метод обработки контрактов и архитектура соответствующего модуля динамического детектора jDRD, выявлены основные проблемные места и потенциальные точки падения производительности, разработано техническое решение, лишённое подобных проблем.
Ключевые слова:
состояние гонки, многопоточность, динамический анализ, автоматическое обнаружение ошибок.
Образец цитирования:
В. Ю. Трифанов, “Вопросы индустриального применения синхронизационных контрактов при динамическом поиске гонок в Java-программах”, Труды ИСП РАН, 30:3 (2018), 47–62
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/tisp324 https://www.mathnet.ru/rus/tisp/v30/i3/p47
|
Статистика просмотров: |
Страница аннотации: | 110 | PDF полного текста: | 49 | Список литературы: | 15 |
|