Programma preliminare
A/A 2005/2006
Tutore: Ing. Andrea Santoro,
Introduzione
Attributi della dependability
Applicazioni con requisiti di dependability
Descrizione degli impedimenti
Strumenti per la dependability
La tolleranza dei guasti
La rimozione dei guasti
La previsione dei guasti
- Dispense di Ciciani e Quaglia
- Capitolo 11 di Menascè e Almeida
Introduzione
Internet
Standard del WWW
Client Web
Server Web
Mirror, Proxy, Cache, CDN
Sistemi Web paralleli e distribuiti
- Dispense di Ciciani e Colajanni
- Capitolo 4 del libro di Menascé e Almeida
Indici di prestazioni e QoS
Dimensionamento:
Identificazione e configurazione dell’architettura
Caratterizzazione del carico
Modellazione e valutazione (tramite modelli analitici e simulativi)
Validazione del modello
Predizione del costo
Benchmark e test sulle prestazioni
- Capitoli 1, 5 e 7 del libro di Menascé e Almeida
- Dispensa di Ciciani e Chiari
Modellazione e valutazione della dependability: definizione e background matematico
Metodi combinatori per il calcolo dell’affidabilità e della disponibilità
Processi markoviani per il calcolo dell’affidabilità, della disponibilità, della sicurezza e della
performability
- Dispense di Ciciani e Quaglia
- Capitolo 11 del libro di Menascé e Almeida
Modellazione e valutazione delle prestazioni:
Sistemi a singola coda
Cenni di reti di code
MVA per reti di code aperte, chiuse
Modellazione e valutazione di una Intranet
- Capitoli 8, 9 del libro di Menascé e Almeida
- Capitolo 3 del libro di Kleinrock
WWW e prestazioni
Metriche di interesse
QoS
Anatomia di una transazione Web
Soluzioni architetturali per migliorare le prestazioni
- Cap. 4 del libro di Menascé e Almeida
Determinazione del tempo di servizio di:
Dischi singoli
Array di dischi
Protocolli di reti di comunicazione
Router di rete
- Capitolo 3 del libro di Menascé e Almeida
Caratterizzazione del carico
Modello del carico
Modelli Graph-based
Metodologie per la caratterizzazione del carico
Carichi del Web
Modellazione del “burst” e delle “heavy tails”
- Capitolo 6 e paragrafo 10.2 del libro di Menascé e Almeida
Modellazione e valutazione delle prestazioni di client e server del World Wide Web
Modellazione e valutazione di clienti senza proxy
Modellazione e valutazione di clienti con proxy
Modellazione e valutazione di serventi
Modellazione e valutazione di serventi duplicati
- Capitolo 10 del libro di Menascé e Almeida
Benchmark per Web Server e test sulle prestazioni
Capitolo 7 del libro di Menascé e Almeida
Tecniche di misurazione
Capitolo 13 del libro di Menascé e Almeida
Testi consigliati:
D. A. Menascé, V. A. F. Almeida: Capacity Planning for Web Services: metrics, models and methods. Prentice Hall, PTR
L. Kleinrock: Queueing Systems, Volume1:Theory, John Wiley & Sons
G. Buonanno, N. Scarabattolo: Temi d’esame di Impianti di elaborazione, Progetto Leonardo
B. Ciciani, F. Quaglia: Sistemi affidabili e in tempo reale
B. Ciciani, M. Colajanni: Architettura del WWW
B. Ciciani, A. Chiari: Metodologia per la valutazione comparativa di Personal Computer