Buffer: Comandos Guardados

A seguir: Buffer: Uma computação Acima: O Buffer Compartilhado Anterior: Buffer: Estados e Estado

Buffer: Comandos Guardados

Com Guarda Ação

$\gamma_{1}$ consumerState = thinking consumerState = hungry;

$\gamma_{2}$ consumerState = hungry $\wedge$ n > 0 consumption = buffer.head(); buffer = buffer.tail(); n = n - 1; consumerState = thinking;

$\gamma_{3}$ producerState = thinking producerState = hungry; product = randomChar();

$\gamma_{4}$ producerState = hungry $\wedge$ n < MAX buffer.append(product); n = n + 1; producerState = thinking;

a execução dos comandos guardados se dá de forma
- não-determinística : qualquer comando com a guarda válida pode ser selecionado para prolongar uma computação e
- atômica : a ação do comando selecionado é executada completamente, sem a interferência de qualquer outra ação
a transformação do algoritmo inicial foi feita baseando-se nos pontos em que a exclusão mútua é levantada:
- no fim dos procedimentos
- nos comandos wait()

Next: Buffer: Uma computação Up: O Buffer Compartilhado Previous: Buffer: Estados e Estado

Osvaldo Carvalho

Postscript

Comentários?

Com	Guarda	Ação
$\gamma_{1}$	consumerState = thinking	consumerState = hungry;
$\gamma_{2}$	consumerState = hungry $\wedge$ n > 0	consumption = buffer.head(); buffer = buffer.tail(); n = n - 1; consumerState = thinking;
$\gamma_{3}$	producerState = thinking	producerState = hungry; product = randomChar();
$\gamma_{4}$	producerState = hungry $\wedge$ n < MAX	buffer.append(product); n = n + 1; producerState = thinking;