Чем livelock отличается от deadlock?

Deadlock и livelock внешне похожи, но принципиально различаются по поведению потоков.

Поведение при deadlock

При deadlock:

• потоки заблокированы

• они ждут освобождения ресурсов

• CPU практически не используется

• состояние стабильно и неизменно

Поведение при livelock

При livelock:

• потоки активно выполняются

• они постоянно меняют свое состояние

• каждый поток «уступает» другому

• полезная работа не выполняется

Пример логики:

• поток A видит, что ресурс занят, и отступает

• поток B делает то же самое

• ситуация повторяется бесконечно

Почему livelock опасен

Livelock:

• нагружает CPU

• сложен для диагностики

• выглядит как «работающая» система

Как бороться

Подходы:

• добавление случайных задержек

• ограничение количества повторных попыток

• изменение стратегии синхронизации

Вывод: deadlock — это остановка, livelock — бесконечная бесполезная активность.