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

A seguir: A Solução Higiênica: Condições Acima: The Drinking Philosophers Problem[#!Drinking!#] Anterior: A Solução Higiênica: Preliminares

A Solução Higiênica: Regras

R1

Requisitando um garfo f:

$$\neg fork(f) \rightarrow$$ send request token for fork f; reqf(f) := false

R2

Entregando um garfo f:

$$\neg eating \rightarrow$$ send fork f; dirty(f) := false; fork(f) := false

R3

Recebendo um request token por f:

$$\rightarrow$$ reqf(f) := true

R4

Recebendo um garfo f:

$$\rightarrow$$ fork(f) := true

R5

Começando a comer:

$$\rightarrow$$ hungry := false; eating := true; dirty(f) := true for all f

R6

Acabando de comer:

$$\rightarrow$$ eating := false; thinking := true;