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 Árbitro - 1

R 16658

 Receiving a request:

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

R 16662

 Receiving a dirty permission:

 		 ${\rm receive}({c}, DirtyPermission) \rightarrow$ 
		 		 Owner:= NIL 
		 		 GiveLeastPriorityTo(c)

R 16666

 Receiving a clean permission:

 		 ${\rm receive}({c}, CleanPermission) \rightarrow$ 
		 		 Owner := NIL 
		 		 Req(c) := TRUE 

R 16671

 Sending the permission:

 		 $Req(c), c = HighestPriorityRequest, Owner = NIL
 \rightarrow$ 
		 		 ${\rm send}({c}, CleanPermission)$ 
		 		 Owner := c 
		 		 StrongReqSent := FALSE