Reti di Calcolatori LS Universitá degli Studi di Bologna Remotizzazione del Framework Unibo-env Autrice: Leticia Riestra Ainsua

Reti di Calcolatori LS Universitá degli Studi di Bologna INDICE 1. Introduzione 1.1 Framework Unibo-env 1.2 Obiettivi da raggiungere 1.3 Obiettivi per punti 2. Metodologie in gioco 3. Realizzazione in modo generale 3.1 Server delle tuple 3.2 Persistenza delle tuple 3.3 Replicazione delle tuple

Reti di Calcolatori LS Universitá degli Studi di Bologna Framework Unibo-env Offrire la base per andare oltre alla semantica della chiamata a procedura, propria dell'ambiente JAVA nativo. Offrire strumenti di comunicazione fra processi mediante diverse astrazioni e mezzi di comunicazione.

Reti di Calcolatori LS Universitá degli Studi di Bologna Obiettivi da raggiungere Remotizzazione del framework utilizzato in Ingegneria del Sofware LS in diversi nodi in modo da offrire trasparenza nella locazione del servizio ai clienti per permettere di non vedere la differenza tra i servizi offerti dai locali e quelli in remoto.

Reti di Calcolatori LS Universitá degli Studi di Bologna Obiettivi per punti Server delle tuple: implementazione di un componente in grado di realizzare un qualche protocollo di registrazione e reperimento di tuple del tipo. Persistenza tuple. Servizio di nomi per differenziare server in base a tipologie di comunicazione (a sua volta server tuple). Replicazione (risorse fredde). Implementazione di un componente (o adattamento di uno già esistente) in grado di gestire un protocollo di comunicazione peer- to-peer che permetta il dialogo tra clienti e servitori, una volta che questi sono entrati in conoscenza reciproca.

Reti di Calcolatori LS Universitá degli Studi di Bologna Metodologie in gioco Kadmelia: protocolo decentralizzato formato per nodi in una rete virtuale. Grid Computing: garante un accesso coordinato e controllato alle risorse condivise e offre all'utente la visibilità di un unico sistema di calcolo logico. Hash Distributing: partizionano lappartenenza di un set di chiavi tra i nodi partecipanti. Tucson (Spazio delle tuple): permette la comunicazione e la coordinazione dei componenti indipendenti di software concurrente o distribuito.

Reti di Calcolatori LS Universitá degli Studi di Bologna Realizzazione in modo generale Prima fase dello sviluppo: implementazione attraverso Tucson del server delle tuple con tutte i tipi di comunicazione in modo centralizzato. Seconda fase dello sviluppo: decentralizzazione attraverso il Grid Computing.

Reti di Calcolatori LS Universitá degli Studi di Bologna Server delle tuple Importanza del TupleCentreRetriever. Il formato delle tuple è: (tipo di comunicazione, serviceName, id, payload). Classi più importanti: TupleCentreRetriever. ServiceConnectionP2P. EnviromentComunication.

Reti di Calcolatori LS Universitá degli Studi di Bologna Server delle tuple Aspetti interessanti: ID univoco in(signalNextId(NAME, ID)) :- rd_r(signalDeclaration(NAME)), !, ID1 is ID +1, out_r(signalNextId(NAME, ID1)). in(signalNextId(NAME, ID)) :- out_r(signalDeclaration(NAME)), out_r(signalNextId(NAME, 0)). Stringa delle tuple: Tucson solo permette stringa nelle tuple.

Reti di Calcolatori LS Universitá degli Studi di Bologna Server delle tuple Messaggi Un mittente deposita nel sistema un messaggio, etichettandolo e poi si disinteressa dello stesso. Il messaggio può permanere latente nel sistema per un tempo indefinito. CheckForMsg: cerciamo nello spazio delle tuple la template specifica per vedere se ci sta o meno. Usiamo rdp perchè nel caso non ci sia la tupla,loperazione fallisce. sendMsg: creamo un messaggio con i parametri adeguati e lo inseriamo nello spazio delle tuple specifico attraverso out. ReceiveMsg: si cerca con in la tupla nello spazio delle tuple e si construisce il messaggio (IMessage) per restituirlo con i parametri che si sono cercati.

Reti di Calcolatori LS Universitá degli Studi di Bologna Server delle tuple Segnali Un segnale viene inviato al mondo, non ad uno specifico destinatario. emitSignal: creamo un segnali con i parametri adeguati e dopo lo inserimo nello spazio delle tuple specifico attraverso out. inSignal: si cerca con in la tupla nello spazio delle tuple e si costruisce il messaggio (IMessage) per restituirlo con i parametri che si sono cercati. readRecentSignal: Legge in modo sospensivo (rd) un segnale avente ID successivo a lastSignalId. Se lo trova lo legge e memorizza, continuando i tentativi di lettura per un segnale ulteriore. Se non ne trova altri termina la ricerca e restituisce tutti i segnali memorizzati.

Reti di Calcolatori LS Universitá degli Studi di Bologna Server delle tuple Segnali isInterested: per un segnale dato, dice quali sono quelli in esso interessati. declaredInterested: creamo un nuovo SignalObserverFactory interessato nel tipo di segnale specificato. undeclaredInterested: togliamo il SignalObserverFactory che era interesato in quel tipo di segnale.

Reti di Calcolatori LS Universitá degli Studi di Bologna Persistenza delle tuple Regola Node ? out(cmd(enable_persistency(TCName))). Node: nome del nodo rispettivo secondo il tipo di comunicazione. TCName: nome dello spazio delle tuple corrispondente.

Reti di Calcolatori LS Universitá degli Studi di Bologna Replicazione delle tuple MASTER reaction(in(X), (post, execute(in(X))))). reaction(inp(X), (post, success, execute(in(X))))). reaction(out(X), execute(out(X))))). SLAVE reaction(out(execute(out(X))), (in_r(execute(out(X))), out_r(X))). reaction(out(execute(in(X))), (in_r(execute(in(X))), in_r(X))).

Reti di Calcolatori LS Universitá degli Studi di Bologna Domande