-
-
-
CENAPAD-MGCO
A seguir: Algoritmo de Carvalho e
Acima: Maekawa (1985)
Anterior: Algoritmo de Maekawa -
Owner = NIL,
o árbitro faz Owner := i, OwnerTi := Ti,
e envia locked(Tj,j)
para o cliente i; senão, o árbitro coloca o pedido numa
fila. Neste caso, se (Ti, i) for mais prioritário que
(OwnerTi, Owner), o árbitro envia inquire(Tj,j)
para o cliente Owner;
Owner := NIL; senão, o árbitro envia
locked(Tj, j) para o cliente k mais prioritário, faz
Owner := k e OwnerTi := Tk, e retira k
da fila;
(Ti, i) é colocado
na fila;