Введение
1 Обзор методов профилирования и моделирования произво дительности 9
1.1 Диагностика производительности 10
1.2 Направления развития средств профилирования 13
1.3 Автоматическое использование данных профилирования . 14
1.4 Управление производительностью 16
1.5 Моделирование производительности 18
1.6 Проблемы соответствия модели и приложения 22
1.7 Программирование, ориентированное на мониторинг 24
1.8 Выводы 26
2 Моделирование, сбор и анализ количественных характеристик функционирования как аспекты контролируемого выполнения 27
2.1 Расширение понятия контролируемого выполнения аппаратно-программных комплексов 27
2.2 Особенности целевых аппаратно-программных комплексов . 29
2.3 Контролируемое выполнение, основанное на моделировании и верификации 30
2.4 Сбор и анализ информации средствами контролируемого выполнения 32
2.5 Выводы 34
3 Моделирование систем и количественных характеристик их функционирования 35
3.1 Модель распределённых вычислений 35
3.1.1 Моделирование разных аспектов вычисления 40
3.1.2 Моделирование ресурсов 41
3.1.3 Полная модель приложения 43
3.2 Моделирование последовательных распределённых приложений 48
3.3 Автоматизация описания приложения 53
3.4 Использование ACSL 55
3.5 Библиотека моделирования и самоконтроля 64
3.5.1 Аннотированная библиотека самоконтроля 64
3.5.2 Аннотации к системным функциям взаимодействия потоков и процессов 69
3.5.3 Вспомогательные утверждения 70
3.6 Интеграция со средой разработки приложений 74
3.7 Выводы 76
4 Сбор и анализ количественных характеристик функционирования 77
4.1 Сбор количественных характеристик 77
4.1.1 Архитектура системы профилирования 78
4.1.2 Описание компонентов системы профилирования . 82
4.2 Поддержка оптимизации по профилю в компиляторе СКРВ Багет 3.0 94
4.3 Выводы 98
Заключение 100
Литература 102
