- - - - CENAPAD-MGCO

A seguir: Starvation Acima: Propriedades de programas paralelos Anterior: Invariância

Progresso

Uma propriedade de progresso que seria interessante para o problema dos leitores e escritores seria:

Toda requisição feita por processo leitor ou escritor será satisfeita ao fim de uma espera finita

Nossa solução teria esta propriedade?

Para ter alguma chance de ser satisfeita, nós devemos introduzir as hipóteses:

1.

toda operação de leitura ou escrita termina ao fim de um tempo finito

2.

a velocidade de progresso de todos os processos que não estão dormindo é estritamente positiva

Mas mesmo com estas hipóteses nossa solução não satisfaz a propriedade de progresso acima, porque:

• um escritor pode esperar indefinidamente enquanto processos leitores vão se revezando no uso da estrutura de dados, e
• um leitor pode esperar indefinidamente enquanto processos escritores fazem o mesmo tipo de conspiração.

Nestes casos não se configura um bloqueio do sistema, mas um processo tem o seu progresso impedido pela ação de outros processos.