Ви є тут

Математическое моделирование алгоритмов, работающих на разделяемой памяти

Автор: 
Кудрин Максим Юрьевич
Тип роботи: 
кандидатская
Рік: 
2009
Кількість сторінок: 
112
Артикул:
247300
179 грн
Додати в кошик

Вміст

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