Сборники трудов ИСП РАН


Методы повышения производительности обратной отладки

М.А. Климушенкова (НовГУ, Великий Новгород), П.М. Довгалюк (НовГУ, Великий Новгород)

Аннотация

Обратная отладка — это инструмент разработки ПО, позволяющий более эффективно справляться с ошибками, возникающими при недетерминированном поведении программы. Она позволяет изучать прошедшие состояния программы без ее повторного запуска. В работе описана реализация обратной отладки на основе детерминированного воспроизведения в симуляторе QEMU 2.0. Предлагаются несколько способов повышения производительности отладки за счет сокращения дополнительно записываемых данных,  оптимального сохранения снимков системы, индексации и сжатия журнала событий. Симулятор может работать совместно с интерактивным отладчиком GDB, что позволяет использовать команды reverse-continue, reverse-nexti, reverse-stepi и reverse-finish в процессе отладки. Скорость работы этих команд зависит от периода сохранения состояний системы в процессе записи ее работы. В статье представлена оценка наилучшего периода для оптимальной скорости работы команды  reverse-continue.

Ключевые слова

обратная отладка; детерминированное воспроизведение; QEMU; симулятор

Издание

Труды Института системного программирования РАН, том 27, вып. 2, 2015, стр. 127-144.

ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

DOI: 10.15514/ISPRAS-2015-27(2)-8

Полный текст статьи в формате pdf Вернуться к содержанию тома