-
-
-
CENAPAD-MGCO
A seguir: Carvalho e Campos: Algoritmo
Acima: Algoritmo de Carvalho e
Anterior: Carvalho e Campos: Grafo
| Permissionc(a) | c tem a permissão do árbitro a; |
|---|---|
| Reqc(a) : | c tem a requisição que compartilha com o árbitro a; |
| Strongreqc(a) : | c recebeu um StrongRequest do árbitro a; |
| Dirtyc(a) : | c possui a permissão de a, que está suja; |
| Thinkingc : | c está pensando; |
| Hungryc : | c está com fome; |
| Eatingc : | c está comendo. |
| Ownera | cliente que está com a permissão de a; igual a NIL se Pa estiver com a; |
|---|---|
| Reqa(c) | a possui a requisição que compartilha com o cliente c; |
| StrongReqSenta | a já enviou um StrongRequest para o cliente que está com sua permissão. |