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: Algoritmo

Carvalho e Campos:
Algoritmo do Cliente - 2

R 16641

 Sending a clean permission:

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

R 16645

 Receiving a permission:

 		 ${\rm receive}(a, CleanPermission) \rightarrow$ 
		 		 Permission(a) := TRUE 
		 		 Dirty(a) := FALSE 

R 16648

 Receiving a request:

 		 ${\rm receive}(a, Request) \rightarrow$ 
		 		 Req(a) := TRUE 

R 16655

 Receiving a strong request:

 		 ${\rm receive}(a, StrongRequest)\rightarrow$ 
		 		 $Permission(a) \rightarrow$		 Req(P) := TRUE 
		 		 		 Strongreq(P) := TRUE 
		 		 $\sim Permission(a) \rightarrow$ SKIP