- - - - CENAPAD-MGCO

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

Carvalho e Campos:
Algoritmo do Árbitro - 1

R 17884

  Receiving a request:

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

R 17888

  Receiving a dirty permission:

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

R 17892

  Receiving a clean permission:

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

R 17897

  Sending the permission:

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