РУАЭСТ (RUAEST)
Облако ключевых слов*
- "потребление памяти"
- "электронное издание"
- "поиск состояния"
- "журнал выполнения"
- "библиотека регистрации"
- "динамический анализатор"
- "система llvm"
- "генерация событий"
- "инструментирование"
- "динамический поиск"
- "многопоточные программы"
- "тестовые программы"
- "состояние гонки"
- "промежуточный код"
- "функция posix"
- "ограничения глубины"
- "платформа llvm"
- "ограничение истории"
- "llvm"
- "анализатор гонок"
- "поиск гонок"
- "инструментирование кода"
- "отношения предшествования"
- "переопределенная функция"
- "список сегментов"
- "процессорное время"
- "поток выполнения"
- "гонка"
- "событие входа"
- "виртуальная машина"
* - вычисляется автоматически
Недавно смотрели:
Использование системы LLVM при динамическом поиске состояний гонок в программах
В многопоточных программах может возникать состояние гонок ввиду отсутствия синхронизации при доступе к памяти. Для сбора информации о событиях динамическими методами выявления таких гонок требуется либо виртуальная машина, либо инструментирование исполняемого кода. В работе предложен метод динамического поиска гонок, использующий отношение предшествования и ограничение истории обращений. Метод реализован для анализа программ на языке С, для инструментирования исходного кода на этапе трансляции используется система LLVM. Как показывают проведенные эксперименты, применение предложенного метода позволяет сохранить накладные расходы на поиск гонок на приемлемом уровне.
Авторы
Тэги
состояния гонок
динамический поиск гонок
инструментирование кода
тестирование многопоточных программ
LLVM
Тематические рубрики
Предметные рубрики
- Технические науки. Промышленность
- Физико-математические науки
- Социальные (общественные) науки
- Естественные науки
В этом же номере:
Дихотомический поиск множителя целых чисел произвольного размера,
Влияние коэффициента жесткости газодинамической опоры на работу двухосного поплавкового датчика угловой скорости,
...
Резюме по документу**
УДК 004.415.53
Использование системы LLVM
при динамическом поиске
состояний гонок в программах
1
1 <...> Н.Э. Баумана, Москва, 105005, Россия
В многопоточных программах может возникать состояние гонок
ввиду отсутствия синхронизации при доступе к памяти. <...> Для сбора
информации о событиях динамическими методами выявления таких
гонок требуется либо виртуальная машина, либо инструментирование
исполняемого кода. <...> В работе предложен метод динамического
поиска гонок, использующий отношение предшествования и ограничение
истории обращений. <...> Метод реализован для анализа программ
на языке С, для инструментирования исходного кода на этапе трансляции
используется система LLVM. <...> Как показывают проведенные
эксперименты, применение предложенного метода позволяет сохранить
накладные расходы на поиск гонок на приемлемом уровне. <...> E-mail: arhibot@gmail.com, kva@bmstu.ru
Ключевые слова: состояния гонок, динамический поиск гонок, инструментирование
кода, тестирование многопоточных программ, LLVM. <...> Для поиска состояний гонок при работе
с разделяемой памятью в многопоточных программах существуют
инструменты нескольких классов, наиболее применимым являются
средства динамического поиска гонок. <...> Такие средства во время выполнения
программы ведут историю обращений к памяти и операций
синхронизации для дальнейшего анализа. <...> Генерация потока событий при динамическом поиске гонок может
реализоваться либо при исполнении программы в виртуальной машине,
либо посредством модификации кода программы для сбора информации
о доступе к памяти и к функциям синхронизации. <...> Существующие
реализации на базе виртуальной машины, такие как Helgrind [1] и
Thread Checker, осуществляют интерпретацию исполняемого файла, что
позволяет проводить анализ программы и используемых библиотек без
необходимости повторной компиляции или внесения изменений в бинарные
файлы. <...> Основной проблемой таких инструментов являются высокие
накладные расходы на интерпретацию анализируемого машинного <...>
** - вычисляется автоматически, возможны погрешности
Похожие документы: