Quando

todos os processos utilizam mutexes corretamente.

Quando

um semáforo é inicializado com um valor muito alto.

Quando

dois processos estão à espera indefinidamente de que o outro liberte um recurso

bloqueado.

Quando

um processo tenta executar duas operações P seguidas.