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

A seguir: Buffer: Comandos Guardados Acima: O Buffer Compartilhado Anterior: Computações de um Sistema

Buffer: Estados e Estado Inicial

• O conjunto Q de estados é determinado pelas variáveis na seguinte tabela:

Variável Valores Valor Inicial

consumerState {thinking, hungry } thinking

producerState {thinking, hungry } thinking

buffer char^*

n int

product char

consumption char