Введение в распределённые алгоритмы. Ж. Тель (2009) (1185665)
Текст из файла
ОГЛАВЛЕНИЕПредисловие..........................................................................................................................12Глава141.1.1.2.1.3.1.4.Глава2.1.2.2.2.3.2.4.2.5.1. Введение: распределенны е системыЧто такое распределенная система?..................................................................1.1.1. Мотивировка.............................................................................................1.1.2. Вычислительные с е т и .............................................................................1.1.3. Глобальные сети.......................................................................................1.1.4.
Локальные сети .......................................................................................1.1.5. Многопроцессорные компьютеры........................................................1.1.6. Взаимодействующие процессы .............................................................Архитектура и языки.............................................................................................1.2.1. Архитектура.............................................................................................1.2.2.
Эталонная модель O S I ..........................................................................1.2.3. Модель OSI для локальных сетей: стандарт I E E E ...........................1.2.4. Языковая поддержка................................................................................Распределенные алгоритмы...............................................................................1.3.1. Сравнение распределенных и централизованных алгоритмов..........1.3.2. Пример связи с передачей одного сообщения.....................................1.3.3.
Область исследований.............................................................................Обзор содержания книги...................................................................................2. М одельСистемы переходов и алгоритмы........................................................................2.1.1. Системы переходов..................................................................................2.1.2.
Системы с асинхронным обменом сообщениями................................2.1.3. Системы с синхронным обменом сообщениями..................................2.1.4. Справедливость.......................................................................................Как обосновывать свойства системпереходов.................................................2.2.1. Свойства безопасности..........................................................................2.2.2. Свойства ж и во сти ..................................................................................Причинно-следственный порядок событий и логические часы .....................2.3.1. Зависимые и независимые собы тия.....................................................2.3.2. Эквивалентность выполнений: вычисления........................................2.3.3. Логические ч а с ы .....................................................................................Дополнительные допущения.
Сложность..........................................................2.4.1. Топология сети..........................................................................................2.4.2. Свойства каналов.....................................................................................2.4.3. Допущения реального времени.............................................................2.4.4. Осведомленность процессов..................................................................2.4.5. Сложность распределенных алгоритмов.............................................Упражнения к главе 2 ..........................................................................................151517192124273131333637404042484954555656586061626466676974767779818182846ОглавлениеГлава3.
Коммуникационные протоколы863.1.Симметричный протокол раздвижного окна.............................................................3.1.1. Описание протокола..........................................................................................3.1.2. Доказательство корректности протокола...................................................3.1.3. Обсуждение п р отокол а....................................................................................888992943.2.Протокол с тай м ер ам и ...................................................................................................3.2.1.
Описание протокола..........................................................................................3.2.2. Доказательство корректности протокола...................................................3.2.3. Обсуждение п р отокол а....................................................................................981001051113.3.Упражнения к главе 3 .....................................................................................................114Глава4. Алгоритмы марш рутизации1164.1.Маршрутизация на основе узлов-адресатов............................................................1184.2.Задача построения кратчайших путей для всех пар в е р ш и н ...........................4.2.1. Алгоритм Флойда— Уоршалла........................................................................4.2.2.
Алгоритм Туэга построения кратчайших п утей .......................................4.2.3. Другие алгоритмы................................................................................................1231231261324.3.Алгоритм N etch a n g e........................................................................................................4.3.1. Описание алгоритма..........................................................................................4.3.2. Корректность алгоритма N e tc h a n g e ............................................................4.3.3. Обсуждение алгоритм а....................................................................................1371371431454.4.Маршрутизация с использованием компактных т а б л и ц ....................................4.4.1.
Схема древесной разметки..............................................................................4.4.2. Интервальная маршрутизация........................................................................4.4.3. Префиксная маршрутизация...........................................................................1471481511604.5.Иерархическая маршрутизация....................................................................................4.5.1.
Сокращение числа узлов, в которых выбирается м ар ш р ут...............Упражнения к главе 4 .....................................................................................................1641651674.6.Глава5. Н еблокируем ая коммутация пакетов1705.1.5.2.В в е д е н и е .............................................................................................................................Структурированные р е ш е н и я .......................................................................................5.2.1. Буферные г р а ф ы ................................................................................................5.2.2. Ориентации сети G .............................................................................................1711731731785.3.Неструктурированные решения .................................................................................5.3.1.
Контроллеры с прямым и обратным о т с ч е т о м .......................................5.3.2. Контроллеры с состояниями прямого и обратного о т с ч е т а ...............1821821835.4.Прочие вопросы..................................................................................................................5.4.1.
Изменения топол огии.......................................................................................5.4.2. Другие типы блокировок.................................................................................5.4.3. Активный тупик..................................................................................................1861871881895.5.Упражнения к главе 5 .....................................................................................................192Глава6.1.6. Волновы е алгоритмы и алгоритмы о б х о д аОпределение и применение волновых алгоритмов.................................................6.1.1.
Характеристики
Тип файла PDF
PDF-формат наиболее широко используется для просмотра любого типа файлов на любом устройстве. В него можно сохранить документ, таблицы, презентацию, текст, чертежи, вычисления, графики и всё остальное, что можно показать на экране любого устройства. Именно его лучше всего использовать для печати.
Например, если Вам нужно распечатать чертёж из автокада, Вы сохраните чертёж на флешку, но будет ли автокад в пункте печати? А если будет, то нужная версия с нужными библиотеками? Именно для этого и нужен формат PDF - в нём точно будет показано верно вне зависимости от того, в какой программе создали PDF-файл и есть ли нужная программа для его просмотра.