В чём разница между Deadlock и Livelock?

Сравнение Deadlock и Livelock

• Область: конкурентность и синхронизация потоков
• Deadlock: потоки навсегда ожидают ресурсы и остаются заблокированными
• Livelock: потоки продолжают работу, но бесконечно изменяют состояние без продвижения к результату
• Deadlock означает полную остановку, а Livelock — непрерывную активность, которая не приводит к результату
• Причина deadlock: ресурсы взаимно блокируют друг друга
• Причина livelock: состояние реактивно меняется, однако прогресс не достигается
• Оба сценария приводят к зависанию приложения, хотя возникают по разным причинам

Подробный ответ

Основной ответ

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

Ключевые моменты

• При deadlock процессы пребывают в режиме ожидания и фактически «заморожены». В случае livelock они постоянно выполняют действия, однако полезной работы при этом не совершают.
• При deadlock ресурсы уже захвачены процессами и не освобождаются, из-за чего система полностью останавливается. При livelock ресурсы переходят от одного процесса к другому, но бесконечный цикл взаимных адаптаций не позволяет достичь прогресса.
• С deadlock борются с помощью обнаружения и отмены транзакций либо предотвращения взаимной блокировки, например за счёт заранее заданного порядка захвата ресурсов. Чтобы устранить livelock, используют задержки, случайные таймауты или другую стратегию, разрывающую цикл бесконечных реакций процессов друг на друга.

Практический контекст

В базах данных и распределённых системах deadlock обычно возникает между конкурирующими транзакциями, использующими блокировки. Livelock характерен для систем с низкоуровневой синхронизацией и retry-логикой — например, сетевых протоколов или многопоточных алгоритмов с optimistic concurrency control, где процессы бесконечно «гоняются» друг за другом, не продвигаясь к результату.