Введение
1. Анализ методов представления распределенных и параллельных вычислений 24
1.1. Математическая модель взаимодействия процессов 24
1.2. Параллельные граф-схемы алгоритмов 34
1.3. Сети Петри 44
1.4. Расширенные сети Петри 57
1.5. Принципы построения CF-сетей 62
1.6. Выводы 80
2. Основные свойства CF-сетей 84
2.1. События в CF-сетях 84
2.2. Представление последовательных и параллельных процессов с помощью CF-сетей 89
2.3. Реализация вычислений с помощью CF-сетей 93
2.4. Эквивалентные преобразования CF-сетей 99
2.5. Алгебра CF-сетей 111
2.6. Решение с помощью CF-сетей противоречий в параллельных алгоритмах 117
2.6.1. Противоречие детерминированного и случайного 117
2.6.2. Противоречия синхронных и асинхронных процессов 124
2.7. Выводы 139
3. Сравнение CF-сетей с другими формальными моделями распределенных и многопроцессорных систем 142
3.1. Сравнение CF- сетей 142
3.1.1. CF- сети и оценивающие сети (Е-сети) 142
3.1.2. CF-сети HF-СЄТИ 153
3.1.3. CF-сети и цветные сети Петри 162
3.1.4. CF- сети и объектные сети Фалька 166
3.2. Представление с помощью CF-сетей типовых взаимосвязанных процессов 169
3.2.1. Последовательный процесс 169
3.2.2. Процессы выбора 171
3.2.3. Параллельные взаимосвязанные процессы 174
3.2.4. Подчиненные процессы 176
3.3. Применение CF-сетей для моделирования взаимосвязанных процессов 182
3.4. Выводы 189
4. Программное обеспечение для моделирования параллельных программ многопроцессорных и распределенных систем 191
4.1. Основные принципы создания комплекса программ для моделирования распределенных и параллельных вычислений на основе CF-сетей 191
4.2. Общая структура программного обеспечения для моделирования параллельных программ многопроцессорных и распределенных систем 194
4.3. Среда разработки CF-сетей 199
4.3.1. Особенности пользовательского интерфейса среды синтеза и анализа CF-сетей 204
4.3.2. Средства отладки CF-сетей 208
4.3.3. Библиотеки стандартных мастеров 217
4.4. Программа взаимосвязи кибернетических моделей на основе CF-сетей и аналитических моделей дискретных систем 221
4.5. Подсистема имитационного моделирования вычислительных систем и сетей 223
4.5.1. Редактор сети 225
4.5.2. Моделирование процессов в сети 227
4.6. Выводы 233
5. Применение CF-сетей для моделирования параллельных программ многопроцессорных и распределенных систем 235
5.1. Требования к механизмам взаимодействия ресурсов и процессов в многопроцессорных и распределенных системах 235
5.2. Моделирование параллельных программ для многопроцессорных систем 240
5.3. Средства и методы эффективного взаимодействия процессов и ресурсов в многопроцессорных и распределенных системах 248
5.3.1. Механизм критической секции 249
5.3.2. Буферизация запросов 253
5.3.3. Механизмы синхронизации множества процессов обмена 259
5.3.4. Механизмы синхронизации групповых процессов обмена 263
5.3.5. Механизмы повышения надежности процессов обмена 267
5.4. Выводы 280
6. Моделирование с помощью cf-сетей распределенных систем 282
6.1. Методы организации распределенных вычислений 282
6.2. Моделирование протоколов с помощью CF-сетей 290
6.3. Моделирование и анализ региональной информационно-вычислительной сети 298
6.3.1. Структура региональной информационно-вычислительной сети 300
6.3.2. Синхронизация распределенных баз данных 304
6.3.3. Моделирование процесса синхронизация распределенных баз
с помощью CF-сетей 318
6.3.4. Моделирование и анализ функционирования ИВС
Дагестанского отделения ПФР 324
6.4. Выводы 336
Заключение 338
Список использованных источников
