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

A seguir: Propriedades Formais Acima: O Buffer Compartilhado Anterior: O Buffer Compartilhado

Propriedades do Buffer Compartilhado

• A sequência de caracteres consumidos é um prefixo da sequência de caracteres produzidos.
  • ``Prova'': todo caracter produzido é colocado no fim de uma lista fifo . Esta mesma lista é usada pelo consumidor para a retirada de caracteres.
• Todo caracter produzido é consumido ao fim de um tempo finito.
  • ``Prova'': esta propriedade só se verifica se o processo consumidor sempre voltar a chamar o procedimento get() . Com esta hipótese adicional, a propriedade é óbvia.