A seguir: Algoritmo de Carvalho e Acima: O Algoritmo de Maekawa 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. Caso (Ti, i) seja 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
retira da fila;
(Ti, i) é colocado
na fila;