Class RMSetup
java.lang.Object
|
+--RMSetup
- public class RMSetup
- extends java.lang.Object
Inizializza lo stato di un Replica Manager utilizzando nell'ordine :
parametri di default, file di configurazione e riga di comando.
Attualmente la riga di comando e' ignorata.
Il file di configurazione e' chiamato "config.properties" e contiene
i parametri necessari per il setup di un RM sotto forma di coppie chiave-
valore.
I parametri settabili nel file sono i seguenti :
Parametri obbligatori per i quali non esiste default :
numRM = numero di RM del sistema.
rnode = indice all'interno del sistema di RM.
Parametri opzionali :
ipRMn = indirizzo IP del Replica Manager di indice n presente nel
sistema. Possono esserci pił chiavi di questo tipo per
fornire al Replica Manager la conoscenza statica della
topologia di interconnessione dei suoi pari.
portaFE = numero di porta per la connessione con i FE (default 54950).
portaGossip = numero di porta per la connessione con i RM per il gossip
(default 54616).
gossipRate = tempo in millisecondi intercorrente tra due Gossip periodici
successivi (default 15000).
gossipByNeed = "abilitato" oppure "disabilitato" (default "abilitato").
gossipSleep = tempo in millisecondi che un thread CallMsgManager attende
(se gossipByNeed e' disabilitato) prima di ritestare se
puo' eseguire una query la cui esecuzione deve essere
ritardata (default 1000).
- Author:
- Mauro Barbieri, Francesco Baschieri
Field Summary |
private static java.lang.String |
nomeFileConfig
Nome del file di estensione .properties che contiene le coppie
chiave-valore. |
Method Summary |
static void |
main(java.lang.String[] args)
Rende la classe un'applicazione stand-alone per il testing. |
static StatoRM |
setup(java.lang.String[] args)
Processa la linea di comando passata come argomento e il file
"config.properties" per settare lo stato iniziale di un Replica
Manager. |
static void |
usage()
Stampa su standard output una stringa che illustra le opzioni
possibili e fa terminare la JVM. |
Methods inherited from class java.lang.Object |
,
clone,
equals,
finalize,
getClass,
hashCode,
notify,
notifyAll,
registerNatives,
toString,
wait,
wait,
wait |
nomeFileConfig
private static final java.lang.String nomeFileConfig
- Nome del file di estensione .properties che contiene le coppie
chiave-valore.
RMSetup
public RMSetup()
usage
public static void usage()
- Stampa su standard output una stringa che illustra le opzioni
possibili e fa terminare la JVM.
setup
public static StatoRM setup(java.lang.String[] args)
- Processa la linea di comando passata come argomento e il file
"config.properties" per settare lo stato iniziale di un Replica
Manager.
- Parameters:
args
- linea di comando da processare.- Returns:
- stato iniziale del Replica Manager.
main
public static void main(java.lang.String[] args)
- Rende la classe un'applicazione stand-alone per il testing.