Книга предназначена для широкого круга специалистов по организации и автоматизации сложных РВСУ в ГАП и АСНИ. Первые три главы могут быть полезны студентам и аспирантам специальностей "ЭВМ, комплексы, системы и сети", "Математическое и программное обеспечение ЭВМ, комплексов и систем".
ПРЕДИСЛОВИЕ...................................................................................................................................7
Глава 1. МНОГОУРОВНЕВАЯ ОРГАНИЗАЦИЯ АРХИТЕКТУРЫ РВСУ....................12
1.1. Архитектура РВСУ.................................................................................................................13
1.1.1. Специфика распределенной исполнительной среды..........................................16
1.1.2. Организация отказоустойчивости и методов резервирования.........................17
1.2. Методы взаимодействия прикладных программ РВСУ..............................................19
1.2.1. Развитие языков со средствами взаимодействия.................................................20
1.2.2. Классификация механизмов коммуникации и синхронизации.........................22
1.2.3. Оценка механизмов коммуникации и синхронизации........................................25
1.3. Организация среды взаимодействия и транспортной среды......................................29
1.3.1. Классификация данных и типов сообщений..........................................................29
1.3.2. Сетевые пакеты программ и их недостатки.........................................................31
1.3.3. Программируемые локальные мониторы взаимодействия..............................33
Глава 2. АРХИТЕКТУРА И ОРГАНИЗАЦИЯ СРЕДЫ ВЗАИМОДЕЙСТВИЯ
ПРОГРАММ ЧЕРЕЗ ИНФОРМАЦИОННО-ТРАНСПОРТНЫЙ ПОРТ......36
2.1. Концепция информационно-транспортного порта.......................................................36
2.1.1. Интерфейс к среде взаимодействия........................................................................37
2.1.1.1. Общая форма вызова взаимодействия.......................................................37
2.1.1.2. Внутренняя семантика и примитивы взаимодействия..........................39
2.1.2. Интерфейс к транспортной среде...........................................................................42
2.1.3. Внешняя семантика взаимодействия......................................................................44
2.1.3.1. Логические взаимоотношения устройств ввода/вывода......................46
2.1.3.2. Логические отношения портов....................................................................49
2.2. Метод построения портов на основе формализованного описания структуры и поведения.........................................................................................................50
2.2.1. Структурное описание ИТП.....................................................................................50
2.2.2. Представление поведения ИТП с помощью аппарата
формальных грамматик..............................................................................................52
2.2.3. Корректность описания поведения ИТП...............................................................56
2.2.4. Способ реализации ИТП.............................................................................................58
Глава 3. УСТРАНЕНИЕ ТУПИКОВЫХ СИТУАЦИЙ В СРЕДЕ
ВЗАИМОДЕЙСТВИЯ РВСУ............................................................................................62
3.1. Состояние теоретических исследований..........................................................................63
3.1.1. Методы устранения тупиковых ситуаций.............................................................64
3.1.2. Модели и методы для анализа тупиковых ситуаций..........................................65
3.1.2.1. Сетевое вещание и его проблемы...............................................................67
3.1.2.2. Модели транзакций.........................................................................................68
3.2. Моделирование РВС. Тупиковые ситуации в распределенных
системах моделирования.......................'................................................................................69
3.3. Тупики в распределенных операционных системах.....................................................70
3.4. Схема устранения тупиковых ситуаций при обмене сообщениями.........................71
3.4.1. Способ исправления тупиковых ситуаций в РВСУ.............................................72
3.4.2. Фазы устранения тупиковых ситуаций..................................................................74
3.4.3. Распределенный алгоритм D3M обнаружения и исправления тупиков
в среде взаимодействия...............................................................................................75
3.4.3.1. Автоматное представление состояний алгоритма.................................77
3.4.3.2. Оценка сложности алгоритма D3M...........................................................79
Глава 4. ОРГАНИЗАЦИЯ АРХИТЕКТУРЫ САП РВСУ И ИНТЕРФЕЙСА
К ИНСТРУМЕНТАЛЬНЫМ СРЕДСТВАМ..............................................................82
4.1. Формирование "парадигмы распределенного программирования"..........................82
4.1.1. Традиционная парадигма программирования.......................................................83
4.1.2. Тенденции проектирования и архитектурная организация САП РВСУ.......84
4.2. Структурная модель объектов РВСУ...............................................................................89
4.3. Язык системных архитекторов...........................................................................................91
4.3.1. Основные типы. Описания станций, блоков и портов........................................93
4.3.2. Оператор назначения и оператор связи портов...................................................95
4.4. Механизм исключительных ситуаций для среды взаимодействия...........................96
4.4.1. Методы обработки исключительных ситуаций...................................................96
4.4.2. Обработка исключительных ситуаций в языке ALADDIN...............................97
4.5. Дисциплина временного приоритетного обслуживания запросов в транспортной среде............................................................................................
Цена книги: 100руб.
