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


Метод инструментирования кода на этапе компиляции для направленной отладки оптимизирующих преобразований

Д. А. Максименков (МЦСТ, Москва)

Аннотация

В статье рассматривается проблемы отладки оптимизирующих компиляторов. В качестве эффективного способа повышения надежности производимых компилятором оптимизирующих преобразований автором предлагается новый метод инструментирования кода программы на этапе компиляции. Особенностью описываемого в статье метода является то, что он предназначен в первую очередь для отладки конкретных проблемных оптимизаций, а не самих тестов, и позволяет верифицировать корректность формируемого оптимизацией кода для произвольных входных данных запускаемой задачи. Предлагаемый метод был успешно использован для поиска и выявления нерегулярно проявляющихся ошибок в программах с асинхронно работающим кодом.

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

тестирование, инструментирование кода, отладка оптимизирующих компиляторов

Издание

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

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

DOI: 10.15514/ISPRAS-2015-27(6)-1

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