- - - - CENAPAD-MGCO

A seguir: Observações Acima: The Drinking Philosophers Problem Anterior: A Solução Higiênica: Preliminares

A Solução Higiênica: Comandos Guardados

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;