Оглавление
Оглавление
Введение.
Актуальность темы
Цель работы, задачи исследования.
Научная новизна
Практическая ценность
Положения, выносимые на защиту.
Публикации и апробация результатов.
Краткое содержание работы
Глава 1. Обзор существующих методов
Общие способы поиска проблем в параллельных
программах.
Статический анализ
Методы
Типы анализа
Алгоритмы
Особенности работы .
Анализаторы
Динамический анализ.
Методы.
Средства динамического анализа.
Проверка на основе моделей
Синхронизация в многопоточных алгоритмах
Неблокирующие алгоритмы.
Классификация исполнения параллельных программ
Глава 2. Подходы к моделированию исполнения потоков.
Идея подхода.
Построение графа совместного исполнения п потоков
Глава 3. Сложности и проблемы существующих подходов к моделированию исполнения потоков.
Проблемы современных систем статического анализа.
Ветвления
Другие проблемы
Анализ значений переменных.
Глава 4. Предлагаемая модель, ориентированная на реальные алгоритмы.
Предлагаемое расширение модели.
Ветвления
Общее представление о расчетном графе
Обозначение на рисунках и схемах.
Построение.
Метод неопределенных коэффициентов.
Класс анализируемых алгоримов
Представление циклов и ветвлений.
Конструктивное построение расчетного графа.
Расчеты на графе.
Доказательство корректности подхода
Обоснованность использования представителей класса эквивалентности в расчетном графе.
Глава 5. Практическая реализация анализа на построенной модели и результаты его работы на многопоточных алгоритмах
Комплекс программ для полуавтоматического анализа
Модельные эксперименты.
Выводы.
Заключение
Список использованных источников
- Київ+380960830922