Устройство и процедура барьерной синхронизации процессов в мультикомпьютерах

СОДЕРЖАНИЕ
ВВЕДЕНИЕ
1. ЗАДАЧИ СИНХРОНИЗАЦИИ В ПАРАЛЛЕЛЬНЫХ СИСТЕМАХ
1.1. Архитектура современных параллельных систем
1.2. Межпроцессорное взаимодействие в параллельных системах
1.3. Задача синхронизации и подходы к ее решению
1.4. Методы барьерной синхронизации Выводы
2. ПРОЦЕДУРА БАРЬЕРНОЙ СИНХРОНИЗАЦИИ И АЛГОРИТМ ВЗАИМОДЕЙСТВИЯ СИНХРОНИЗИРУЕМЫХ ПРОЦЕССОВ
2.1. Модель параллельной системы
2.2. Содержательная характеристика и формализованное представление задачи обеспечения синхронизации
2.3. Характеристика процедуры синхронизации
2.4. Алгоритм взаимодействия синхронизируемых процессов
2.5. Примеры использования процедуры синхронизации Выводы
3. УСТРОЙСТВО СИНХРОНИЗАЦИИ НА ОСНОВЕ СОЗДАННОЙ ПРОЦЕДУРЫ
3.1. Функциональная организация матричной МРРсистемы
3.2. Анализ работы системы при рассмотрении соответствующих режимов функционирования процессоров
4. ДОКАЗАТЕЛЬСТВО КОРРЕКТНОСТИ СОЗДАННОЙ ПРОЦЕДУРЫ И ОЦЕНКА ПРЕИМУЩЕСТВ РАЗРАБОТАННОЙ ПРОЦЕДУРЫ И УСТРОЙСТВА
4.1. Представление процедуры синхронизации в виде сети Петри
4.2 Доказательство корректности процедуры синхронизации
4.3 Аналитическая оценка аппаратной сложности устройства синхронизации
4.4 Аналитическая оценка созданной процедуры синхронизации
4.5 Экспериментальная оценка созданной процедуры синхронизации
4.5.1. Постановка эксперимента
4.5.2. Архитектура экспериментальных программных средств
4.5.3. Результаты эксперимента
Выводы
ЗАКЛЮЧЕНИЕ
БИБЛИОГРАФИЧЕСКИЙ СПИСОК
Приложения
ВВЕДЕНИЕ
Актуальность