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

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

Carvalho e Campos:
Algoritmo do Árbitro - 2

R 16677

 Asking back the permission, kindly: 


 		 $\exists {c}, c \not= Owner, Owner \not= NIL,$ 
		 Req(c),Req(Owner),         $Priority(Owner) \gt Priority(c) \rightarrow$ 
		 		 ${\rm send}(Owner, Request)$ 
		 		 Req(Owner) := FALSE

R 16683

 Asking back the permission, firmly: 


 		 $\exists {c}, c \not= Owner, Owner \not= NIL,$ 
		 $Req(c),
 \sim StrongReqSent, Priority(Owner) < Priority(c) \rightarrow$ 
		 		 ${\rm send}(Owner, StrongRequest)$ 
		 		 StrongReqSent := TRUE 
		 		 Req(Owner) := FALSE

Condições iniciais:


Osvaldo Carvalho