- - - - CENAPAD-MGCO

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 :

• permissões com os árbitros;
• requisições com os clientes;
• listas de prioridades determinando um grafo acíclico.