- - - - CENAPAD-MGCO

A seguir: Leitores e Escritores: Solução Acima: Propriedades de programas paralelos Anterior: Progresso

Starvation

Diz-se de um programa que não satisfaz a uma propriedade de progresso que ele é injusto , pois permite que alguns processos morram de inanição , ou starvation .

Programas ``justos'' são também chamados de equânimes .

A propriedade de justiça é conhecida em inglês pelo termo fairness .

Estes termos devem ser interpretados com frieza técnica: um programa injusto pode ser mais adequado para uma certa tarefa do que um programa justo.

Tudo depende da especificação do problema: um escalonador não equânime que privilegie tarefas urgentes como desligar um reator atômico no caso de super aquecimento é evidentemente muito melhor que um escalonador justo.

Propriedades de progresso exigem técnicas mais elaboradas de prova, porque:

• Pode-se mostrar que um algoritmo não obedece a uma especificação de invariância exibindo-se uma computação que viole esta especificação
• A inanição só se revela em computações infinitas, e por isto exige uma demonstração formal de existência ou inexistência