Моделирование, сбор и анализ количественных характеристик функционирования распределенных разнородных аппаратно-программных комплексов

Оглавление
Введение
1 Обзор методов профилирования и моделирования производительности
1.1 Диагностика производительности.
1.2 Направления развития средств профилирования
1.3 Автоматическое использование данных профилирования .
1.4 Управление производительностью.
1.5 Моделирование производительности.
1.6 Проблемы соответствия модели и приложения
1.7 Программирование, ориентированное на мониторинг
1.8 Выводы.
2 Моделирование, сбор и анализ количественных характеристик функционирования как аспекты контролируемого выполнения
2.1 Расширение понятия контролируемого выполнения аппаратно
программных комплексов
2.2 Особенности целевых аппаратнопрограммных комплексов . .
2.3 Контролируемое выполнение, основанное на моделировании и
верификации
2.4 Сбор и анализ информации средствами контролируемого выполнения . . .
2.5 Выводы.
3 Моделирование систем и количественных характеристик их функционирования
3.1 Модель распределнных вычислений.
3.1.1 Моделирование разных аспектов вычисления.
3.1.2 Моделирование ресурсов.
3.1.3 Полная модель приложения.
3.2 Моделирование последовательных распределнных приложений
3.3 Автоматизация описания приложения .
3.4 Использование АСБЬ.
3.5 Библиотека моделирования и самоконтроля
3.5.1 Аннотированная библиотека самоконтроля.
3.5.2 Аннотации к системным функциям взаимодействия потоков и процессов.
3.5.3 Вспомогательные утверждения .
3.6 Интеграция со средой разработки приложений
3.7 Выводы.
4 Сбор и анализ количественных характеристик функционирования
4.1 Сбор количественных характеристик
4.1.1 Архитектура системы профилирования.
4.1.2 Описание компонентов системы профилирования
4.2 Поддержка оптимизации но профилю в компиляторе СКРВ
Багет 3.0
4.3 Выводы.
Заключение
Литература