Введение в распределённые алгоритмы. Ж. Тель (2009) (не распознанно) (1185664)
Текст из файла
4УДК ????ББК ????Т??ОГЛАВЛЕНИЕT?? Тель Ж.Введение в распределенные алгоритмы. Пер. с англ. / Под ред. Р. Подловченко. — М.: МЦНМО. 2007. — ??? с.: ил.ББК ????Во всемирно известной монографии голландского математика Ж. Теля рассказывается об устройстве и принципах работы распределенных вычислительныхсистем, об алгоритмах решения наиболее важных задач, возникающих при проектировании программного обеспечения распределенных систем.
Большое внимание уделяется методам повышения надежности распределенных систем.Предисловие . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .12Г л а в а 1. Введение: распределенные системы141.1.1.2.1.3.Издание осуществлено при финансовой поддержкеРоссийского фонда фундаментальных исследований (РФФИ)грант №06-01-141071.4.Что такое распределенная система? . . . .
. . . . . . . . . . . . . . . . . .1.1.1. Мотивировка . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .1.1.2. Вычислительные сети . . . . . . . . . . . . . . . . . . . . . . . . . .1.1.3. Глобальные сети. . . . . . . . . . . . . . .
. . . . . . . . . . . . . . .1.1.4. Локальные сети . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .1.1.5. Многопроцессорные компьютеры . . . . . . . . . . . . . . . . . .1.1.6. Взаимодействующие процессы . . . . . . . . . . . . . . . . . . . .Архитектура и языки. . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .1.2.1. Архитектура . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .1.2.2. Эталонная модель OSI . . . . . . . . . . . . . . . . . . . . . . . . .1.2.3. Модель OSI для локальных сетей: стандарт IEEE . . . . . . .1.2.4. Языковая поддержка. . . . . . . . . . . . . . . . . . . . . . . . .
. .Распределенные алгоритмы . . . . . . . . . . . . . . . . . . . . . . . . . . .1.3.1. Сравнение распределенных и централизованных алгоритмов .1.3.2. Пример связи с передачей одного сообщения. . . . . . . . . . .1.3.3. Область исследований. . . . . . . . . . . .
. . . . . . . . . . . . . .Обзор содержания книги . . . . . . . . . . . . . . . . . . . . . . . . . . . . .....................................................................Г л а в а 2. МодельISBN 0-521-79483-8 (англ.)ISBN ?-???-?????-? (русск.)1994 Gerard Tel2000 Cambridge University Press, 2nd edition2007 МЦНМО, перевод с англ.Жирар Тель2.1.2.2.Введение в распределенные алгоритмы2.3.Лицензия ИД №????? от ?????Подписано к печати ???????Формат 60×90/16. Бумага офсетная. Печать офсетная.Объем ?? печ. л.
Тираж ???? экз. Заказ.2.4.Издательство Московского центра непрерывного математического образования.121002, Москва, Г-2, Бол. Власьевский пер., 11.Отпечатано с готовых диапозитивов в ?????2.5.Системы переходов и алгоритмы . . . . . . . . . . . . . . . . . . . .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 . . . . . . . . . . . . . . .
. . . . . . . . . . . .151517192124273131333637404042484954........................................................................................................................................................555656586061626466676974767779818182846ОглавлениеГ л а в а 3. Коммуникационные протоколы3.1.3.2.3.3.Симметричный протокол раздвижного окна .
. . .3.1.1. Описание протокола . . . . . . . . . . . . . .3.1.2. Доказательство корректности протокола .3.1.3. Обсуждение протокола . . . . . . . . . . . .Протокол с таймерами . . . . . . . . . . . . . . . . .3.2.1. Описание протокола . . . . . . . . . . . . . .3.2.2. Доказательство корректности протокола .3.2.3. Обсуждение протокола . .
. . . . . . . . . .Упражнения к главе 3 . . . . . . . . . . . . . . . . . .86.........................................................................................................................................................Г л а в а 4. Алгоритмы маршрутизации4.1.4.2.4.3.4.4.4.5.4.6.5.3.5.4.5.5.Маршрутизация на основе узлов-адресатов. . . . . . . . . .
. . . . .Задача построения кратчайших путей для всех пар вершин . . . .4.2.1. Алгоритм Флойда—Уоршалла. . . . . . . . . . . . . . . . . . .4.2.2. Алгоритм Туэга построения кратчайших путей . . . . . . . .4.2.3. Другие алгоритмы. . . . . . . . . . . . . . . . . . . . . . . . . . .Алгоритм Netchange . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . .4.3.1. Описание алгоритма . . . . . . . . . . . . . . . . . . . . . . . . .4.3.2. Корректность алгоритма Netchange . . . . . . . . . . . . . . .4.3.3. Обсуждение алгоритма . . . . . . . . . . . . . . . . . . . . . . .Маршрутизация с использованием компактных таблиц . . . . . .
.4.4.1. Схема древесной разметки . . . . . . . . . . . . . . . . . . . . .4.4.2. Интервальная маршрутизация. . . . . . . . . . . . . . . . . . .4.4.3. Префиксная маршрутизация . . . . . . . . . . . . . . . . . . . .Иерархическая маршрутизация . . . . . . . . . . . . . . . . .
. . . . . .4.5.1. Сокращение числа узлов, в которых выбирается маршрутУпражнения к главе 4 . . . . . . . . . . . . . . . . . . . . . . . . . . . . .6.1.................................................................................................118123123126132137137143145147148151160164165167........................................................................171173173178182182183186187188189192Волновые алгоритмы и алгоритмы обходаОпределение и применение волновых алгоритмов . . . . .
.6.1.1. Определение волновых алгоритмов . . . . . . . . . .6.1.2. Основные свойства волновых алгоритмов . . . . . .6.1.3. Распространение информации с обратной связью .6.2.6.3.6.4.6.5.6.6.............................................6.1.4. Синхронизация . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . .6.1.5. Вычисление функций точной нижней грани . . . . . . . . . . . .Семейство волновых алгоритмов . . . . . . . . . . . . . . . . . . . . . . . .6.2.1. Кольцевой алгоритм . . . . . . . . . . . . . . . . . . . . . . . . .
. .6.2.2. Древесный алгоритм . . . . . . . . . . . . . . . . . . . . . . . . . . .6.2.3. Алгоритм эха. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .6.2.4. Алгоритм опроса . . . . . . . . . . . . . . . . . . . . . . . . . . . . .6.2.5. Фазовый алгоритм . . . . . .
. . . . . . . . . . . . . . . . . . . . . .6.2.6. Алгоритм Финна . . . . . . . . . . . . . . . . . . . . . . . . . . . . .Алгоритмы обхода . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .6.3.1. Обход клик . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . .6.3.2. Обход торов . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .6.3.3. Обход гиперкубов. . . . . . . . . . . . . . . . . . . . . . . . . . . . .6.3.4. Обход связных сетей. . . . . . . . . . .
. . . . . . . . . . . . . . . .Сложность по времени: поиск в глубину . . . . . . . . . . . . . . . . . . .6.4.1. Распределенный поиск в глубину. . . . . . . . . . . . . . . . . . .6.4.2. Алгоритмы поиска в глубину, требующие линейного времени6.4.3. Поиск в глубину с учетом сведений о соседях .
. . . . . . . . .Прочие вопросы. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .6.5.1. Обзор волновых алгоритмов . . . . . . . . . . . . . . . . . . . . . .6.5.2. Вычисление сумм . . . . . . . . . . . . . . . . . . . . . . . . . . . . .6.5.3. Альтернативные определения сложности по времени . . . . . .Упражнения к главе 6 . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . .............................................................................................Г л а в а 7. Алгоритмы избрания лидера7.1.7.2.170Введение . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .Структурированные решения . . . . . . . . . . . . . . .
Характеристики
Тип файла PDF
PDF-формат наиболее широко используется для просмотра любого типа файлов на любом устройстве. В него можно сохранить документ, таблицы, презентацию, текст, чертежи, вычисления, графики и всё остальное, что можно показать на экране любого устройства. Именно его лучше всего использовать для печати.
Например, если Вам нужно распечатать чертёж из автокада, Вы сохраните чертёж на флешку, но будет ли автокад в пункте печати? А если будет, то нужная версия с нужными библиотеками? Именно для этого и нужен формат PDF - в нём точно будет показано верно вне зависимости от того, в какой программе создали PDF-файл и есть ли нужная программа для его просмотра.