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

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

Carvalho e Campos:
Algoritmo do Cliente - 1

R 16619

 Becoming hungry:

 		 $Thinking \rightarrow$ 
		 		 Hungry := TRUE 

R 16623

 Starting to eat:

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

R 16626

 Starting to think:

 		 $Eating \rightarrow$ 
		 		 Thinking := TRUE 

R 16630

 Requesting a permission:

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

R 16635

 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