No que diz respeito à gerência de processos em sistemas operacionais, um termo é empregado para traduzir um problema que ocorre quando processos competem entre si. Existem quatro condições para sua ocorrência, listadas a seguir.
I. Condição de exclusão mútua. Em um determinado instante, cada recurso está em uma de duas situações: associado a um único processo ou disponível.
II. Condição de posso e espera. Processos que, em um determinado instante, retêm recursos concedidos anteriormente, podem requisitar novos recursos.
III. Condição de não preempção. Recursos concedidos previamente a um processo não podem ser tomados a força desse processo, eles devem ser explicitamente liberados pelo processo que os retém.
IV. Condição de espera circular. Deve existir u encadeamento circular de dois ou mais processos; cada um deles encontra-se à espera de um recurso que está sendo usado pelo membro seguinte dessa cadeia.
O termo é denominado