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

    Дисциплина: Программирование
    Тип работы: Реферат
    Тема: Распределенные алгоритмы

    Пролог

    PAGEREF _Toc423280427 \\h

    1 Введение: распределенные системы

    PAGEREF _Toc423280428 \\h

    1.1 Что такое распределенная система?

    PAGEREF _Toc423280429 \\h

    1.1.1 Мотивация

    PAGEREF _Toc423280430 \\h

    1.1.2 Компьютерные сети

    PAGEREF _Toc423280431 \\h

    1.1.3 Глобальные сети

    PAGEREF _Toc423280432 \\h

    1.1.4 Локальные сети

    PAGEREF _Toc423280433 \\h

    1.1.5 Многопроцессорные компьютеры

    PAGEREF _Toc423280434 \\h

    1.1.6 Взаимодействующие процессы

    PAGEREF _Toc423280435 \\h

    1.2 Архитектура и Языки

    PAGEREF _Toc423280436 \\h

    1.2.1 Архитектура

    PAGEREF _Toc423280437 \\h

    1.2.2 Ссылочная Модель

    PAGEREF _Toc423280438 \\h

    1.2.3 OSI Модель в

    локальных сетях: IEEE Стандарты

    PAGEREF _Toc423280439 \\h

    1.2.4 Поддержка Языка

    PAGEREF _Toc423280440 \\h

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

    PAGEREF _Toc423280441 \\h

    1.3.1 Распределенный против Централизованных Алгоритмов

    PAGEREF _Toc423280442 \\h

    1.3.2 Пример: Связь с

    одиночным сообщением

    PAGEREF _Toc423280443 \\h

    1.3.3 Область исследования

    PAGEREF _Toc423280444 \\h

    1.3.4 Иерархическая структура книги

    PAGEREF _Toc423280445 \\h

    2 Модель

    PAGEREF _Toc423280446 \\h

    2.1 Системы перехода и алгоритмы

    PAGEREF _Toc423280447 \\h

    2.1.1 Системы переходов

    PAGEREF _Toc423280448 \\h

    2.1.2 Системы с асинхронной передачей сообщений

    PAGEREF _Toc423280449 \\h

    2.1.3 Системы с синхронной передачей сообщений

    PAGEREF _Toc423280450 \\h

    2.1.4 Справедливость

    PAGEREF _Toc423280451 \\h

    2.2 Доказательство свойств систем перехода

    PAGEREF _Toc423280452 \\h

    2.2.1 Свойства безопасности

    PAGEREF _Toc423280453 \\h

    2.2.2 Свойства живости

    PAGEREF _Toc423280454 \\h

    2.3 Каузальный порядок событий и логические часы

    PAGEREF _Toc423280455 \\h

    2.3.1 Независимость и зависимость событий

    PAGEREF _Toc423280456 \\h

    2.3.2 Эквивалентность исполнений: вычисления

    PAGEREF _Toc423280457 \\h

    2.3.3 Логические часы

    PAGEREF _Toc423280458 \\h

    2.4 Дополнительные допущения, сложность

    PAGEREF _Toc423280459 \\h

    2.4.2 Свойства каналов

    PAGEREF _Toc423280460 \\h

    2.4.3 Допущения реального времени

    PAGEREF _Toc423280461 \\h

    2.4.4 Знания процессов

    PAGEREF _Toc423280462 \\h

    2.4.5 Сложность распределенных алгоритмов

    PAGEREF _Toc423280463 \\h

    3 Протоколы Связи

    PAGEREF _Toc423280464 \\h

    3.1 Сбалансированный протокол скользящего окна

    PAGEREF _Toc423280465 \\h

    3.1.1 Представление протокола

    PAGEREF _Toc423280466 \\h

    3.1.2 Доказательство правильности протокола

    PAGEREF _Toc423280467 \\h

    3.1.3 Обсуждение протокола

    PAGEREF _Toc423280468 \\h

    3.2 Протокол, основанный на таймере

    PAGEREF _Toc423280469 \\h

    3.2.1 Представление Протокола

    PAGEREF _Toc423280470 \\h

    3.2.2

    Доказательство корректности протокола

    PAGEREF _Toc423280471 \\h

    3.2.3 Обсуждение протокола

    PAGEREF _Toc423280472 \\h

    Упражнения к главе 3

    PAGEREF _Toc423280473 \\h

    Раздел 3.1

    PAGEREF _Toc423280474 \\h

    Раздел 3.2

    PAGEREF _Toc423280475 \\h

    4 Алгоритмы маршрутизации

    PAGEREF _Toc423280476 \\h

    4.1 Адресат-основанная маршрутизация

    PAGEREF _Toc423280477 \\h

    4.2 Проблема кротчайших путей всех пар

    PAGEREF _Toc423280478 \\h

    4.2.1 Алгоритм Флойда-Уошала

    PAGEREF _Toc423280479 \\h

    4.2.2 Алгоритм кротчайшего пути.(Toueg)

    PAGEREF _Toc423280480 \\h

    4.2.3 Обсуждение и Дополнительные Алгоритмы

    PAGEREF _Toc423280481 \\h

    4.3 Алгоритм Netchange

    PAGEREF _Toc423280482 \\h

    4.3.1 Описание алгоритма

    PAGEREF _Toc423280483 \\h

    4.3.2 Корректность алгоритма Netchange

    PAGEREF _Toc423280484 \\h

    4.3.3 Обсуждение алгоритма

    PAGEREF _Toc423280485 \\h

    4.4 Маршрутизация с Компактными Таблицами маршрутизации

    PAGEREF _Toc423280486 \\h

    4.4.1 Схема разметки деревьев

    PAGEREF _Toc423280487 \\h

    4.4.2 Интервальная маршрутизация

    PAGEREF _Toc423280488 \\h

    4.4.3 Префиксная маршрутизация

    PAGEREF _Toc423280489 \\h

    4.5 Иерархическая маршрутизация

    PAGEREF _Toc423280490 \\h

    4.5.1 Уменьшение количества решений маршрутизации

    PAGEREF _Toc423280491 \\h

    Упражнения к Части 4

    PAGEREF _Toc423280492 \\h

    Раздел 4.1

    PAGEREF _Toc423280493 \\h

    Раздел 4.2

    PAGEREF _Toc423280494 \\h

    Раздел 4.3

    PAGEREF _Toc423280495 \\h

    Раздел 4.4

    PAGER...

    Забрать файл

    Похожие материалы:


ПИШЕМ УНИКАЛЬНЫЕ РАБОТЫ
Заказывайте напрямую у исполнителя!


© 2006-2016 Все права защищены