Теория и практика многопоточного программирования

Еще про консенсус

Показывать лекцию целиком

Презентация к лекции: L9.pdf.

Краткие итоги: универсальный объект позволяет строить неожидающие конкурентные реализации для любого объекта, имеющего последовательно-формализуемые методы. Полностью корректный консенсус в системах со сбоями невозможен.

Упражнение

Изучите доказательство теоремы FLP impossibility.

Дополнительные материалы

Рекомендуем прочитать статью: FLPImpossibility.pdf.

Вернуться к учебному плану