Buffer equânime: comentários

• 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