Метод F-сетей для моделирования мультипроцессорных вычислительных систем

• Автор: Гордеев, Александр Владимирович
• Шифр специальности: 05.13.11
• Научная степень: Докторская
• Год защиты: 1998
• Место защиты: Санкт-Петербург
• Количество страниц: 249 с. : ил.

1. ПРОБЛЕМА ОЦЕНКИ ВРЕМЕНИ ВЫПОЛНЕНИЯ ВЗАИМОДЕЙСТВУЮЩИХ ПАРАЛЛЕЛЬНЫХ ВЫЧИСЛИТЕЛЬНЫХ ПРОЦЕССОВ В ПАРАЛЛЕЛЬНЫХ ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМАХ

1.1. Системы реального времени, некоторые аспекты технологии

их проектирования

1.2. Понятие аппаратнопрограммного дуализма

1.3. Параллельные вычислительные процессы.

1.4. Бортовые мультипроцессорные вычислительные системы

и проблемы их моделирования

1.5. Имитационное моделирование вычислительных

систем.

1.6. Основные понятия и формальное описание сетей Петри.

1.7. Сравнительный анализ известных модификаций

формализма сетей Петри.
Выводы
2. БСЕТИ ПЕТРИ.
2.1. Принципы расширения сетей Петри до Есетей.
2.2. Формальное описание Рсетей
2.3. Рсети и сети автоматов
2.4. Вербальное описание основных примитивов
2.5. Формальное описание процедур срабатывания переходов
2.6. Операции на Рсетях.
2.7. Анализ Рсетей Петри, алгоритм построения дерева достижимых маркирований.
Выводы. 6
3. ПРИНЦИПЫ СОЗДАНИЯ КОМПЛЕКСА ПРОГРАММ ДЛЯ ИМИТАЦИОННОГО МОДЕЛИРОВАНИЯ МУЛЬТИПРОЦЕССОРНЫХ ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМ
НА ОСНОВЕ ИСПОЛЬЗОВАНИЯ СЕТЕЙ
ЗЛ. Основные принципы создания комплекса программ
3.2. Проблемы построения подсистемы эмуляции для моделирования МВС и принципы их разрешения
при использовании аппарата сетей.
3.3. Таблицы решений и их использование в автоматах сетей
для описания, разбора и исполнения двоичного кода
3.4. Технические предложения по архитектуре подсистемы
эмуляции.
Выводы
4. ПРИМЕРЫ ИСПОЛЬЗОВАНИЯ СЕТЕЙ ДЛЯ МОДЕЛИРОВАНИЯ ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМ
4.1. Многомашинная бортовая вычислительная система
с кольцевой магистралью и маркерным методом доступа
4.2. Бортовая вычислительная система ЦВМ 0
4.3. Моделирование раоты кэшпамяти.
4.4. Методика построения сегевых имитационных моделей
Выводы
ЗАКЛЮЧЕНИЕ
СПИСОК ЛИТЕРАТУРЫ


Это вызвано многими причинами большим количеством различных задач, возлагаемых на бортовые вычислительные системы, разнообразием оборудования, управляемого с помощью вычислительной техники, постепенным характером внедрения вычислительной техники для автоматизации решения задач управления подвижными объектами, интеграцией вычислительных средств разного поколения либо сделанного различными проектировщиками, стремлением повысить производительность системы за счет распараллеливания вычислений, желанием увеличить ее надежность, живучесть что тоже чаще всего достигается распараллеливанием, горячим резервированием вычислитель
ных модулей, интерфейсов, и другого оборудования, а значит, приводит и к дополнительным связями для обмена информацией между параллельно функционирующими модулями. В рамках настоящей работы нас не будет интересовать к какому классу параллельных структур относится вычислительная система, которую мы хотим промоделировать. Разрабатываемые метод, алгоритмы, модели и инструментальные средства должны позволить отобразить главную особенность наличие в системе дискретных параллельных асинхронных процессов на уровне аппаратуры вычислительной системы т. Для примера рассмотрим простейшую двухпроцессорную вычислительную систему, построенную на основе общей двухпортовой памяти. Структурная схема этой системы приведена на рис. Рис. Здесь каждый из процессоров выполняет свою программу, команды которой он выбирает из своего ПЗУ и, соответственно, программа каждого из процессоров не доступна другому.