- - - - CENAPAD-MGCO

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

Carvalho e Campos:
Algoritmo do Cliente - 2

R 17867

  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 17871

  Receiving a permission:

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

R 17874

  Receiving a request:

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

R 17881

  Receiving a strong request:

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