Starvation

• Outra propriedade de um programa paralelo a ser evitada é a injustiça, ou não equanimidade, que é também conhecida por inanição, ou starvation, em inglês;
• Neste caso não se configura um bloqueio do sistema, mas um processo tem o seu progresso impedido pela ação de outros processos;
• Nos leitores e escritores, um escritor pode esperar indefinidamente pela autorização para escrever, se por exemplo a demanda por leituras for alta o suficiente para nunca termos nr = 0
• Pode-se mostrar uma computação de um algoritmo paralelo que leve a um deadlock
• A inanição só se revela em computações infinitas, e por isto exige uma demonstração formal