Timer, Exponential Backoff, Stochastic Jitter, Full Jitter

Timer, Exponential Backoff, Stochastic Jitter, Full Jitter

1. Timer (Таймер)

• Английское наименование: Timer.
• Русская трактовка: Это программный механизм или объект, предназначенный для генерации сигнала (события) через заданный промежуток времени или с определенной периодичностью. В асинхронных системах таймеры не блокируют выполнение потока (thread), а позволяют «заснуть» задаче и проснуться по истечении срока без потребления ресурсов CPU.
• Применение в архитектуре: Используется для реализации задержек перед повторной попыткой операции, контроля таймаутов запросов или периодического выполнения задач (например, отправки метрик).

2. Экспоненциальный бэкофф (Exponential Backoff)

• Английское наименование: Exponential Backoff.
• Русская трактовка: Это алгоритм управления нагрузкой и обработки ошибок, при котором время ожидания перед следующей попыткой неудачной операции увеличивается экспоненциально (обычно удваивается). Цель — снизить нагрузку на перегруженный сервис и дать ему время восстановиться.
• Формула расчета задержки: $delay = initialDelay \times base^{(attempt - 1)}$ Где:
  • initialDelay — начальная пауза (например, 100 мс).
  • base — множитель (обычно 2).
  • attempt — номер текущей попытки.
• Пример работы: Попытка 1: сбой $\rightarrow$ ждем $100$ мс. Попытка 2: сбой $\rightarrow$ ждем $200$ мс. Попытка 3: сбой $\rightarrow$ ждем $400$ мс. Попытка 4: сбой $\rightarrow$ ждем $800$ мс. Для предотвращения бесконечного роста задержки обычно вводят параметр maxDelay (потолок).

3. Стохастический джиттер (Stochastic Jitter)

• Английское наименование: Stochastic Jitter (или Randomized Jitter).
• Русская трактовка: Это внесение случайного шума (вариативности) в детерминированный процесс. Слово «стохастический» подчеркивает, что величина смещения определяется генератором случайных чисел в определенном диапазоне. В контексте сетевых взаимодействий это необходимо, чтобы избежать эффекта синхронизации.
• Проблема отсутствия джиттера («Грозовой фронт»): Если сто серверов одновременно потеряют соединение с базой данных и настроят одинаковый Exponential Backoff, они все попытаются переподключиться ровно через 1 секунду, затем через 2, затем через 4. Это создаст новые пики нагрузки и снова обрушит систему.
• Решение: Джиттер заставляет каждый клиент ждать немного разное время, размазывая запросы во времени.

4. Full Jitter (Полный джиттер)

• Английское наименование: Full Jitter.
• Русская трактовка: Это конкретная стратегия применения джиттера к алгоритму экспоненциального бэкоффа. При каждом расчете задержки генерируется случайное число в диапазоне от нуля до вычисленного значения экспоненциальной паузы.
• Алгоритм:
  1. Вычислить идеальную экспоненциальную задержку: $tempDelay = initialDelay \times 2^{attempt}$.
  2. Применить «полный джиттер»: $finalDelay = random(0, tempDelay)$.
• Особенность: На первых попытках среднее время ожидания будет меньше, чем при чистом экспоненциальном бэкоффе, что позволяет быстрее найти «окно», когда сервис стал доступен. Однако разброс значений очень велик.

Сводная таблица стратегий

Стратегия	Формула / Логика	Плюсы	Минусы
Fixed Delay	Всегда одно и то же время (напр. 500мс)	Предсказуемость	Высокий риск DDOS-эффекта при массовом сбое
Exponential Backoff	$delay = start \times 2^n$	Быстро увеличивает паузу, снижая давление	Риск «грозового фронта» (все клиенты атакуют одновременно)
Full Jitter	$delay = random(0, start \times 2^n)$	Идеально распределяет нагрузку клиентов	Непредсказуемость конкретной задержки для одного клиента

В вашей системе комбинация этих понятий реализуется так: внутри поведения (Behavior) вы используете Timer, который запускается с задержкой, рассчитанной по формуле ExponentialBackoff с применением стратегии Full Jitter. Это гарантирует, что если ячейка упадет из-за недоступности внешнего ресурса, она вернется к жизни плавно, не создавая критической нагрузки на сеть своими массовыми перезапусками.