|
Добрый день! Видеоряд лекции 9 не соответсвует звуковой дорожке, а также обрывается на рассмотрении детерминированного объекта. В лекции отсутствует рассмотрение FLP. |
Московский физико-технический институт
Опубликован: 16.09.2014 | Доступ: свободный | Студентов: 573 / 22 | Длительность: 02:12:00
Специальности: Программист, Системный архитектор, Архитектор программного обеспечения
Лекция 9:
Еще про консенсус
< Лекция 1 || Лекция 9
Аннотация: Универсальный объект. Невозможность консенсуса в системе со сбоями.
Цель: закрепление теоретических выкладок о композиционности консенсуса. Ознакомление с ограничениями применимости протокола консенсуса.
Презентация к лекции: 
L9.pdf.
Краткие итоги: универсальный объект позволяет строить неожидающие конкурентные реализации для любого объекта, имеющего последовательно-формализуемые методы. Полностью корректный консенсус в системах со сбоями невозможен.
Упражнение
Изучите доказательство теоремы FLP impossibility.
Дополнительные материалы
Рекомендуем прочитать статью: FLPImpossibility.pdf.
< Лекция 1 || Лекция 9
Игорь Садченко
Максим Зиганшин
|
http://www.intuit.ru/studies/professional_skill_improvements/14005/video_courses/1281/info - это платный курс, а это: http://www.intuit.ru/studies/courses/14040/1281/info - его аналог, но бесплатный, и разница у них лишь в том, что в платном я получаю бумажку, правильно? |