- - - - CENAPAD-MGCO

A seguir: Carvalho e Campos: Algoritmo Acima: Algoritmo de Carvalho e Anterior: Carvalho e Campos: mensagens

Carvalho e Campos:
Algoritmo do Cliente - 1

R 17845

  Becoming hungry:

 		 $Thinking \rightarrow$ 
		 		 Hungry := TRUE 

R 17849

  Starting to eat:

 		 $Hungry, \forall a \in S \; Permission(a) \rightarrow$ 
		 		 Eating := TRUE 
		 		 $\forall a \in S, Dirty(a) := TRUE$

R 17852

  Starting to think:

 		 $Eating \rightarrow$ 
		 		 Thinking := TRUE 

R 17856

  Requesting a permission:

 		 $Hungry, a \in S, \sim Permission(a), Req(a) \rightarrow$ 
		 		 ${\rm send}(a, Request)$ 
		 		 Req(a) := FALSE 

R 17861

  Sending a dirty permission:

 		 $\sim Eating, a \in S, Permission(a), Req(a) , Dirty(a) \rightarrow$ 
		 		 ${\rm send}(a, DirtyPermission)$ 
		 		 Permission(a) := FALSE 
		 		 Strongreq(a) := FALSE