Starvation

UFMG - Pós-graduação em Ciência da Computação - Programação Paralela

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 de existência ou inexistência