Громоподобная проблема стада

В информатике проблема громоподобного стада возникает, когда большое количество процессов или потоков, ожидающих события, пробуждаются, когда это событие происходит, но только один процесс способен обработать событие. Когда процессы просыпаются, каждый из них пытается обработать событие, но только один из них победит. Все процессы будут конкурировать за ресурсы, возможно, замораживая компьютер, пока стадо снова не успокоится. ^[1]

Ядро Linux сериализует ответы на запросы к одному файловому дескриптору, поэтому пробуждается только один поток или процесс. ^[2] Для epoll() в версии 4.5 ядра Linux был добавлен флаг EPOLLEXCLUSIVE. Таким образом, несколько наборов epoll (разные потоки или разные процессы) могут ожидать на одном и том же ресурсе, и только один набор будет пробужден. Для определенных рабочих нагрузок этот флаг может дать значительное сокращение времени обработки. ^[3]

Аналогично в Microsoft Windows порты завершения ввода-вывода могут смягчить проблему громоподобного стада, поскольку их можно настроить таким образом, что при возникновении события пробуждается только один из потоков, ожидающих на порту завершения. ^[4]

В системах, которые полагаются на механизм отсрочки (например, экспоненциальную отсрочку ), клиенты будут повторять неудачные вызовы, ожидая определенное количество времени между последовательными повторными попытками. Чтобы избежать проблемы громового стада, можно намеренно ввести джиттер , чтобы нарушить синхронизацию между клиентами, тем самым избегая коллизий. При таком подходе случайность добавляется к интервалам ожидания между повторными попытками, так что клиенты больше не синхронизированы.

• Управление процессами (вычисления)
• Блокировать конвой
• Проблема спящего парикмахера
• глобальная синхронизация TCP
• Кэш давка

• Обсуждение этого наблюдения на Linux
• Улучшенные повторные попытки с экспоненциальной задержкой и джиттером