Post #557

В математике есть особенный тип открытий — это не инструкции «как сделать», а доказательства того, чего сделать принципиально невозможно Задача о двух генералах, появившаяся в 1970-х, как раз из этой серии Она показывает, где проходят границы возможного в любых системах, где связь ненадёжна Представьте двух генералов, чьи армии стоят на холмах вокруг вражеской долины Чтобы победить, им нужно атаковать одновременно Связываться они могут только через гонцов, которых враг может поймать в долине Вопрос: как договориться о времени атаки, если каждое сообщение может не дойти? На первый взгляд, решение простое: • Генерал А посылает: «Атакуем завтра на рассвете» • Генерал Б получает и отвечает: «Подтверждаю, атакую на рассвете» Но тут возникает проблема Генерал А, получив подтверждение, задумывается: «Б получил моё сообщение, но знает ли он, что я получил его ответ? Если Б думает, что его подтверждение не дошло, он может не атаковать» Чтобы развеять сомнения, А посылает: «Получил твоё подтверждение» Теперь Б задаётся тем же вопросом: «А знает ли, что я получил это сообщение?» Так начинается бесконечный обмен подтверждениями Каждое новое сообщение должно создать уверенность в предыдущем, но после любого конечного числа обменов всегда остаётся шанс, что последнее сообщение потерялось И если оно потерялось, один из генералов не будет уверен в планах другого Математически это можно сформулировать так: для полной уверенности в согласованных действиях нужно, чтобы оба генерала не просто знали время атаки, но и знали, что другой знает, и знали, что другой знает, что они знают, и так до бесконечности При ненадёжной связи достичь этого невозможно Это строго доказанная теорема: не существует алгоритма, который гарантировал бы согласие за конечное число шагов, если есть хоть малейший шанс потери сообщения Это открытие изменило подход к созданию распределённых систем Вместо поиска идеального решения инженеры научились создавать системы, где вероятность сбоя становится настолько мала, что ей можно пренебречь на практике Именно так устроены технологии — они не стремятся к абсолютной гарантии, а создают условия, где сбой стремится к практической невозможности