
Next: Pool de recursos idênticos
Up: Buffer equânime
Previous: Fila com tickets
- tickets crescem indefinidamente, mas o número de bits
necessário cresce com o logaritmo do maior ticket, o que viabiliza
o algoritmo para qualquer aplicação prática
- o procedimento ok é utilizado para avisar à TicketQueue
que o último processo selecionado já conseguiu efetivar sua operação
- a equanimidade do algoritmo baseia-se no fato de que qualquer
processo em espera torna-se o de melhor ticket ao fim de um tempo finito,
e de que o melhor processo em espera sempre efetiva sua operação
Osvaldo Sergio F. de Carvalho
Wed Mar 19 14:56:39 EST 1997