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()
  - a administrac,a o da fila associada ao synchronized for justa
  Com estas hipóteses adicionais, a propriedade é óbvia.