Распределенные алгоритмы

  • Просмотров 7810
  • Скачиваний 573
  • Размер файла 960
    Кб

TOC \t "chap_number;1;chap_name;1;sc;2;ssc;3" Пролог PAGEREF _Toc423280427 \h 6 1 Введение: распределенные системы PAGEREF _Toc423280428 \h 7 1.1 Что такое распределенная система? PAGEREF _Toc423280429 \h 7 1.1.1 Мотивация PAGEREF _Toc423280430 \h 8 1.1.2 Компьютерные сети PAGEREF _Toc423280431 \h 10 1.1.3 Глобальные сети PAGEREF _Toc423280432 \h 11 1.1.4 Локальные сети PAGEREF _Toc423280433 \h 13 1.1.5 Многопроцессорные компьютеры PAGEREF _Toc423280434 \h 16 1.1.6 Взаимодействующие процессы PAGEREF _Toc423280435 \h 19 1.2 Архитектура и Языки PAGEREF _Toc423280436 \h 22 1.2.1

Архитектура PAGEREF _Toc423280437 \h 22 1.2.2 Ссылочная Модель OSI PAGEREF _Toc423280438 \h 24 1.2.3 OSI Модель в локальных сетях: IEEE Стандарты PAGEREF _Toc423280439 \h 26 1.2.4 Поддержка Языка PAGEREF _Toc423280440 \h 27 1.3 Распределенные Алгоритмы PAGEREF _Toc423280441 \h 29 1.3.1 Распределенный против Централизованных Алгоритмов PAGEREF _Toc423280442 \h 30 1.3.2 Пример: Связь с одиночным сообщением PAGEREF _Toc423280443 \h 32 1.3.3 Область исследования PAGEREF _Toc423280444 \h 37 1.3.4 Иерархическая структура книги PAGEREF _Toc423280445 \h 37 2 Модель

PAGEREF _Toc423280446 \h 40 2.1 Системы перехода и алгоритмы PAGEREF _Toc423280447 \h 41 2.1.1 Системы переходов PAGEREF _Toc423280448 \h 42 2.1.2 Системы с асинхронной передачей сообщений PAGEREF _Toc423280449 \h 43 2.1.3 Системы с синхронной передачей сообщений PAGEREF _Toc423280450 \h 45 2.1.4 Справедливость PAGEREF _Toc423280451 \h 47 2.2 Доказательство свойств систем перехода PAGEREF _Toc423280452 \h 47 2.2.1 Свойства безопасности PAGEREF _Toc423280453 \h 48 2.2.2 Свойства живости PAGEREF _Toc423280454 \h 50 2.3 Каузальный порядок событий и

логические часы PAGEREF _Toc423280455 \h 51 2.3.1 Независимость и зависимость событий PAGEREF _Toc423280456 \h 52 2.3.2 Эквивалентность исполнений: вычисления PAGEREF _Toc423280457 \h 54 2.3.3 Логические часы PAGEREF _Toc423280458 \h 57 2.4 Дополнительные допущения, сложность PAGEREF _Toc423280459 \h 60 2.4.2 Свойства каналов PAGEREF _Toc423280460 \h 62 2.4.3 Допущения реального времени PAGEREF _Toc423280461 \h 64 2.4.4 Знания процессов PAGEREF _Toc423280462 \h 64 2.4.5 Сложность распределенных алгоритмов PAGEREF _Toc423280463 \h 66 3 Протоколы Связи

PAGEREF _Toc423280464 \h 66 3.1 Сбалансированный протокол скользящего окна PAGEREF _Toc423280465 \h 68 3.1.1 Представление протокола PAGEREF _Toc423280466 \h 68 3.1.2 Доказательство правильности протокола PAGEREF _Toc423280467 \h 71 3.1.3 Обсуждение протокола PAGEREF _Toc423280468 \h 73 3.2 Протокол, основанный на таймере PAGEREF _Toc423280469 \h 75 3.2.1 Представление Протокола PAGEREF _Toc423280470 \h 78 3.2.2 Доказательство корректности протокола PAGEREF _Toc423280471 \h 81 3.2.3 Обсуждение протокола PAGEREF _Toc423280472 \h 85 Упражнения к главе