Изменения
→6 семестр
*[[Алгоритм Скина]]
=== ?? билет. Выбор лидера. Алгоритм Чанди-Робертса, и алгоритм Хирчберга-Синклера===
'''Алгоритм Чанди-Робертса''' (Chang and Roberts) выбора лидера <ref>http://en.wikipedia.org/wiki/Chang_and_Roberts_algorithm</ref>.
Также решение - уйти от требования детерминированности алгоритма.
===23 билет. Консенсус в распределенных системах. Применение консенсуса: выбор лидера, terminating reliable broadcast===
===24 билет. Синхронные системы. Алгоритм для консенсуса в случае отказа заданного числа узлов===
(возможно, стоит дописать)
===1625 билет. Синхронные системы. Проблема двух византийских генералов. Невозможность получения общей информацииАлгоритм для N >= 4, f = 1. Объяснить идею обобщения для f > 1===
'''Задача двух генералов''' — мысленный эксперимент, призванный проиллюстрировать проблему синхронизации состояния двух систем по ненадежному каналу связи. ([https://ru.wikipedia.org/wiki/%D0%97%D0%B0%D0%B4%D0%B0%D1%87%D0%B0_%D0%B4%D0%B2%D1%83%D1%85_%D0%B3%D0%B5%D0%BD%D0%B5%D1%80%D0%B0%D0%BB%D0%BE%D0%B2 Википедия])
И отменим успешность последнего сообщения. Для 1-ого все ок, для 2-ого все испортилось.
===1727 билет. Синхронные системы. Проблема византийских генералов. Невозможность решения при N=3, f=1. Формулировка общей теоремы===
'''Задача византийских генералов''' — мысленный эксперимент, призванный проиллюстрировать проблему синхронизации состояния систем в случае, когда коммуникации считаются надёжными, а процессоры — нет. (Вики)
Можно доказать, например, что при ''n'' = 3, ''f'' = 1 консенсус невозможен.
Данный вопрос достаточно хорошо описан в английской версии.
