Computadores possuem diversos recursos que só podem ser usados por um processo a cada vez. Considere um conjunto de processos no qual cada um está esperando por um evento que somente outro processo, pertencente ao conjunto, poderá fazer acontecer. Nesse contexto, pelo fato de todos os processos estarem esperando, nenhum deles poderá fazer acontecer qualquer um dos eventos que podem vir a acordar um dos demais membros do conjunto. Assim sendo, todos os processos do conjunto vão ficar eternamente bloqueados. Essa situação descrita é denominada