Здравствуйте, samius, Вы писали:

S>Конечно. Но это не значит, что пакет будет доставлен, это значит, что тот, кто гарантировал доступность, ответит за недоступность в некоторой форме. Или сделает вид, что ничего не было. Как в банке. Перевод 3 дня. Но если не переведем — пишите заявление, рассмотрим за пол года.

Вопрос такой — сходится ли ряд?

Если по моему алгоритму, который описал выше:

1. Генерал 1 отправляет данные.
2. Генерал 2 получает и подтверждает что получил в ответ (не зная доставлен ли его ответ).
3. Генерал 2 ждет n времени и если не было повторных отправок данных — имеет 100% гарантию согласованности. Его уверенность основана на том, что всего 5% времени в месяц канал не работает — а уже прошло больше этого времени в худшем раскладе.

Давайте так. Пусть даже теряется 5% пакетов. Запрос имеем возможность делать раз в 1 сек.

Если на шаге 3 прошла 1 сек. — значит, с вероятностью 5% — пакет потерялся. Но с вероятностью 95% — генерал 1 получил подтверждение. Дальше — на второй секунде как изменяется вероятности? По-моему тут сходимость ряда происходит?

Похоже на Ахиллес и черепаха.