- - - - CENAPAD-MGCO

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


Carvalho e Campos:
Algoritmo do Árbitro - 2

R 17903

  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 17909

  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 - Postscript - Comentários?