Modelli di Sistemi. Modelli concettual di supporto allo studio dei sistemi distribuiti Modelli architetturali

Dimensione: px

Iniziare la visualizzazioe della pagina:

Download "Modelli di Sistemi. Modelli concettual di supporto allo studio dei sistemi distribuiti Modelli architetturali"

Severino Martinelli
5 anni fa
Visualizzazioni

1 Modelli di Sistei Modelli concettual di supporto allo studio dei sistei distribuiti Modelli architetturali Descrizione ad alto livello della distribuzione delle funzionalità delle coponenti e loro relazione Modelli di counicazione e interazione Distribuzione dei dati e dei processi sulle u.e. Valutazione qualitativa (proprietà) e quantitativa (prestazioni, affidabilità, scalabilità) Modelli fondaentali Descrizione vertcale o parziale di alcuni aspetti dei s.d. Insiee di aspetti di progetto Modello di interazione Modello di guasti Modello di sicurezza Modelli Architetturali Astrazione del sistea - coponenti e struttura - distribuzione delle funzionalità Processi client peer Counicazione Coordinaento Modello cliente-servente Modello peer processes Ipatto su prestazioni - affidabilità - scalabilità - costo -sicurezza -...

2 Livelli di servizi hardware e software in un sistea distribuito Applicazioni e servizi Middleware Sistea Operativo Rete e hardware Piattafora Invocazione di clienti ad un servente invocazione invocazione risultato risultato Processo: Coputer:

3 Servizio forito da un insiee di serventi Service Web proxy Proxy Web Web

4 Applicazione distribiuita basata su peer processes Applicazione Codice di coordinaento Applicazione Codice di coordinaento Applicazione Codice di coordinaento Varianti del odello cliente-servente Mobilità del supporto (U.E.) del codice dei dati Dinaicità Mobilità del codice Mobilità del codice e dati agenti obili Network coputer Thin client

5 Web applets a) la richiesta del cliente provoca il downloading del codice applet Applet code Web b) il cliente interagisce con la applet Applet Web Thin clients and copute s Network coputer or PC Copute Thin network Application Process

6 Esepio di networking spontaneo in un hotel gateway Music service Alar service Internet Discovery service Hotel wireless network Caera TV/PC Laptop PDA Guests devices Modelli fondaentali DEPENDABILITY correttezza, affidabilità, sicurezza, prestazioni Modelli di interazione Modelli di guasto Modelli di sicurezza

7 Modelli di interazione Algoriti distribuiti: evoluzione dei processi trasissione dei essaggi fra processi Liiti dovuti alla counicazione (prestazioni, affidabilità) latenza (servizio - accesso - trasissione) banda jitter - tepo per consegnare un insiee di essaggi Mancanza di un tepo globale sincronizzazione di orologi fisici - logici ordinaento degli eventi Sistei distribuiti sincroni - bound ai tepi di esecuzione/trasissione/deviazione clock asincroni - nessun bound Ordinaento di eventi in sistei real-tie X Y send 1 2 send 3 4 Tepo reale Z send A t t t

8 Modelli di guasto Tipi di guasto oissioni arbitrari di tepo Processi e canali processo processo Outgoing essage buffer Canale di counicazione Incoing essage buffer

9 Oissioni e guasti Tipo di guasto Su Descrizione Fail-stop Processo Il processo si fera. Altri processi possono riconoscere lo stato. Crash Processo Il processo si fera. Altri processi possono non riconoscere lo stato. Oissione Canale Un essaggio inserito in un buffer di uscita non arriva ai all altro estreo del buffer. Send-oission Processo Un processo copleta send,a il essaggio non è esso nel buffer di uscita. Receive-oissionProcesso Un essaggio è posto in un buffer di ingresso di un processo Arbitrario (Bizantino) Process o canalel a processo non lo riceve. Un process/canale si coporta in odo arbitrario: può inviare/trasettere essaggi qualsiasi a tepi qualsiasi. coit oissions; un processo può ferarsi o fare un passo sbagliato. Guasti di tepi Tipo di guasto Su Descrizione Clock Processo Il clock locale del processo eccede il liite sul tasso di sfasaento rispetto al tepo reale. Perforance Processo Un processo eccede il liite di intervallo fra due passi Perforance Canale Una trasissione di essaggio richiede più tepo di quanto stabilito.

10 Modelli di sicurezza Sicurezza dei processi delle interazioni degli oggetti Proprietà Protezione - Diritti di accesso Canale sicuro crittografia autenticazione Oggetti e principals invocation Access rights Object result Principal (user) Network Principal ()

11 The eney Copy of Process p The eney Counication channel Process q Canale sicuro Principal A Principal B Process p Secure channel Process q

Documenti analoghi

Modelli di Sistemi Distribuiti

Università degli Studi di Napoli Federico II Facoltà di Ingegneria Corso di Laurea Specialistica in Ingegneria Informatica Corso di Sistemi Distribuiti Prof. Stefano Russo Modelli di Sistemi Distribuiti