I file Agent.res
e Agentr.res.default
Il file Agent.res contiene i valori (istantanei) delle risorse rimaste
agli Agenti identificati dalla Public key.
I contatori vengono decrementati dal Thread gestore risorse (minuti
in memoria), dal Thread Negoziatore (all’arrivo di un Agente: minuti in
memoria, numero Agenti), e dalle primitive di Alias (numero alias) e getPort
(numero porte).
Tutti gli accessi al file Agent.res sono escusivi ( risorsa critica).
Il file Agent.res.default contiene i valori iniziali per un Agente sconosciuto al Place, ed ovviamente vengono inizializzato dal gestore del Place.
Invece il file Agent.res.sturtup contiene i valori di inizializzazione
per Agent.res, anche in caso il Server cada.
