Анализ указателей в программах с вызовами библиотечных функций
•
0 j'aime•291 vues
Слайды к статье об использовании модели поведения функций при анализе указателей в компиляторе Эльбрус
Recommandé
Contenu connexe
Tendances
Tendances (9)
En vedette
En vedette (16)
Similaire à Анализ указателей в программах с вызовами библиотечных функций
Similaire à Анализ указателей в программах с вызовами библиотечных функций (20)
Анализ указателей в программах с вызовами библиотечных функций
- 1. Московский центр SPARC–технологий Анализ указателей в программах с вызовами библиотечных функций Статья: Руководитель: Маркин А. Л., Ермолицкий А. В., аспирант ИНЭУМ к.т.н., ЗАО МЦСТ
- 2. Анализ указателей Пример кода Цель анализа указателей void * createObj(void) { return malloc(sizeof(int)); } void destroyObj(void * obj) { free(obj); } void foo(void) { void * a = createObj(), * b = createObj(); // ... destroyObj(a); destroyObj(b); } Выяснить, пересекаются ли участки памяти, на которые указывают переменные. Анализ указателей в программах с вызовами библиотечных функций 2 / 10
- 3. Анализ указателей Пример кода Цель анализа указателей void * createObj(void) { return malloc(sizeof(int)); } void destroyObj(void * obj) { free(obj); } void foo(void) { void * a = createObj(), * b = createObj(); // ... destroyObj(a); destroyObj(b); } Выяснить, пересекаются ли участки памяти, на которые указывают переменные. Сложности анализа указателей Большие затраты по памяти Большие затраты по времени Отсутствие информации о всей программе Анализ указателей в программах с вызовами библиотечных функций 2 / 10
- 4. Модель поведения функций Библиотечные функции — это функции, описанные в стандарте языка или библиотеки. Обычно их работа гарантируется стандартом и не зависит от реализации. Граф вызовов задачи 179.art Анализ указателей в программах с вызовами библиотечных функций 3 / 10
- 5. Модель поведения функций Библиотечные функции — это функции, описанные в стандарте языка или библиотеки. Обычно их работа гарантируется стандартом и не зависит от реализации. Граф вызовов задачи 179.art Модель библиотечных функций представляет из себя, описание свойств множества функций, поведение которых определено стандартом и не может быть изменено. Анализ указателей в программах с вызовами библиотечных функций 3 / 10
- 6. Модель поведения функций Реализация модели библиотечных функций выполнена в виде хеш-таблицы, в которой ключом является символьное имя функции, а значением — набор атрибутов. Графическое представление реализации модели Анализ указателей в программах с вызовами библиотечных функций 4 / 10
- 7. Модель поведения функций Поддерживаемые свойства Режим возврата Наличие побочных эффектов Выделение функцией памяти Чтение глобальных переменных Запись в глобальные переменные Запись в переменную errno Запись по аргументам-указателям Чтение из аргументов-указателей Использование аргументов-указателей Вызов функции по аргументу-указателю Возврат указателя Принадлежность к стандарту Анализ указателей в программах с вызовами библиотечных функций 5 / 10
- 8. Экспериментальные результаты Режимы сборки Помодульный Вся программа (-fwhole) Доступность реализации библиотечных функций black_box — режим компиляции без промежуточного кода библиотек full_lib — режим компиляции с доступом ко внутреннему коду библиотек fast_lib — режим компиляции с использованием модели поведения библиотечных функций. Анализ указателей в программах с вызовами библиотечных функций 6 / 10
- 9. Компиляция SPEC-2000 Режим «Вся программа» Замер скорости компиляции Замер потребления памяти Коэффициент > 1 — ускорение Коэффициент > 1 — уменьшение потребления памяти Анализ указателей в программах с вызовами библиотечных функций 7 / 10
- 10. Компиляция SPEC-2006 Режим «Вся программа» Замер скорости компиляции Замер потребления памяти Коэффициент > 1 — ускорение Коэффициент > 1 — уменьшение потребления памяти Анализ указателей в программах с вызовами библиотечных функций 8 / 10
- 11. Исполнение SPEC-2000 Результат замеров скорости исполнения задач Время исполнения в режиме «Вся программа» Время исполнения в режиме помодульной сборки Коэффициент > 1 — ускорение Анализ указателей в программах с вызовами библиотечных функций 9 / 10
- 12. Итоги Выводы Рассмотрено влияние использования модели поведения библиотечных функций вместо анализа их кода. Использование такой модели ускоряет процесс анализа указателей Расходы по памяти с использованием таблицы атрибутов эквивалентны расходам без анализа содержимого функции и значительно меньше расходов при полном анализе содержимого Дальнейшие направления развития Увеличение количества подготовленных функций Автоматическое определение свойств пользовательских функций Модули с описанием функций популярных библиотек Полноценная поддержка C++ Анализ указателей в программах с вызовами библиотечных функций 10 / 10