===23 билет. Консенсус в распределенных системах. Применение консенсуса: выбор лидера, terminating reliable broadcast===
TODO Результат FLP о невозможности консенсуса верен даже если, процессу разрешено делать операцию «атомарной передачи» сообщения сразу несколько процессам, ибо нет гарантии что все процессы обработают его. Если есть гарантия получения сообщения всеми процессами (или ни одним), то такая операция называется Terminating Reliable Broadcast (TRB). Имея TRB можно тривиально на его основе написать алгоритм консенсуса (процесс <tex>P_0</tex> рассылает всем свой бит, они соглашаются на этот бит, если получили сообщение, иначе на 0). Применение консенсуса: 1) Выбор лидера * Каждый процесс предлагает себя. Консенсус определяет лидера для последующего распределенного алгоритма 2) Terminating Reliable Broadcast[[Иерархия ошибок в распределённых системах]]* Надо прийти к консенсусу о том, надо ли обрабатывать полученное сообщение[[Асинхронные и синхронные распределённые системы]]* Таким образом, задача TRB эквивалентна задаче консенсуса[[Консенсус в распределённой системе]] — тут же и применение
===24 билет. Синхронные системы. Алгоритм для консенсуса в случае отказа заданного числа узлов===
