Nos sistemas operacionais, existe uma situação que ocorre quando todos os membros de um conjunto de processos são bloqueados, esperando por um evento que apenas outros membros do mesmo conjunto podem causar. Essa situação é conhecida como