Scaricare la presentazione
La presentazione è in caricamento. Aspetta per favore
PubblicatoLetizia Zanetti Modificato 9 anni fa
1
TXJA --- Reti logiche fuzzy distribuite --- Reti di Calcolatori LS Davide Sottara
2
28/09/06 Introduzione : Concetti e Strumenti NeuLoNet Reti che supportano la logica (fuzzy) dei predicati Motore inferenziale parallelo e distribuibile Logica Razionale Estensione della logica fuzzy Particolarmente adatta alla distribuzione JXTA Middleware P2P Adatto ad ambienti dinamici TuCsON Infrastruttura di comunicazione basata su centri di tuple reattivi Integra un motore Prolog
3
28/09/063 Logica : dai programmi alle reti c(X) :- q(X) r(X). c(X) :- p(X) r(X). → C Q → R P “Or parallelismo” Tutti i rami vanno esplorati SWA In caso di fallimento, si assume “unknown”
4
28/09/06 Controllo fuzzy distribuito → C Q → R P
5
28/09/06 Imp 3 Predicati : Valutazione Tre livelli di definizione: Pred Semantica (JXTA Class ) Pred 1 Pred N Criterio (JXTA Spec ) Imp 1 Imp 2 Imp 1 Metodo (JXTA Impl )
6
28/09/06 Predicati Nodi Quattro classi di Spec : 1.Memoria 2.Valutazione diretta 3.Consulenza esterna 4.Combinazione ( operandi ) P Op Mem Consult Ev Q RS P
7
28/09/06 Deployment : Gruppi Peer JXTA ospitano i Nodi in base agli Adv. locali Network Layer JXTA Layer TXJA Layer P P Q JXTA Group P JXTA Discovery
8
28/09/06 Fault tolerance : best effort Ambiente dinamico : i peer non danno garanzie Replicazione SWA PP Q P ? = P P1P1 P2P2 C Ma anche cambi di programma voluti …
9
28/09/06 Protocolli di comunicazione Scambi frequenti : protocolli elementari basso overhead Risoluzione “backward” Client / Server (default) Risoluzione “feed-forward” Publish / Subscribe PP Q Ask Tell JXTA Msg : {Req,Ans} { } [0,1] 0 Subscribe JXTA Pipes
10
28/09/06 Flusso continuo : Query non bloccanti Massimo parallelismo Ordine non garantito Ordinamento a carico del cliente Query logiche : no stato : Query sequenziali Alternative più costose... PP Q 1:Ask 11 3:Tell 21 2:Ask 21 4:Tell 22
11
28/09/06 Replicazione a copie attive Il client interroga un solo server (…) Il modulo di Consult, se presente, propaga entro il gruppo Il server unisce le risposte e ritorna PP 1:Ask 2: Consult 4: Advise 5: Merge 6: Tell Consult non propaga ulteriormente Advise basate solo sul contenuto della memoria 3: Recall
12
28/09/06 QoS Più servitori alternativi Ogni richiesta diretta ad uno solo Eventualmente consulto inter-gruppo… PP Selezione casuale pesata: Servitore efficiente se risponde entro i timeout. Servitore efficace se fornisce risposte certe. Servitore fidato se efficiente ed efficace. Maggiore fiducia Maggiore probabilità di essere scelto ??
13
28/09/06 Velocità Risposte attese entro un tempo massimo T Query ordinate per urgenza U T = (1-U) T max Ad ogni passo U aumenta TTL previene loop Consult : U = 1 Ask 1 Ask 2 Ask’ 2 Ask’ 1 Ogni modulo ha una velocità S Interrogato solo se S U S Mem = 1 Sempre interrogato ! S Consult < 1 S Op < 1
14
28/09/06 Memoria Memorie cache ottimali se sincronizzate Troppo costoso ! Copie (quasi) fredde PP 6: Tell 1:Ask Affermazioni “nuove” ed “utili” vengono memorizzate Successivamente diffuse Con probabilità pari alla certezza 7: Remember? 8: Remind
Presentazioni simili
© 2024 SlidePlayer.it Inc.
All rights reserved.