Sistemi Distribuiti
Università Ca' Foscari di Venezia
Corso di Laurea in Informatica
Anno Accademico 2011-2012
Go to the English version

Docente: S. Balsamo
balsamo@dsi.unive.it

Crediti: 6
Esami propedeutici: Reti di Calcolatori, Algoritmi e Strutture Dati
Obbiettivi | Programma | Libri di testo e consultazione | Lucidi | Avvisi | Esami

Obiettivi
Introduzione ai sistemi distribuiti. Scopo del corso e' presentare le tecnologie di base hardware e software dei sistemi distribuiti. Nel corso vengono affrontate le principali problematiche e scelte di progetto di un sistema distribuito, i principi architetturali con particolare enfasi su reti di interconnessione, interprocess communication, meccanismi di invocazione remota e chiamata di procedura remota. Vengono inoltre introdotti metodologie algoritmi di base per risolvere problemi quali sincronizzazione, coordinamento, condivisione dei dati, allocazione di risorse, consistenza, tolleranza ai guasti. Vengono infine trattati problemi di progetto relativi alla replicazione e al controllo della concorrenza in sistemi transazionali anche distribuiti. Sistemi distribuiti peer to peer: architetture e algoritmi. I vari argomenti trattati durante il corso verranno esemplificati tramite importanti casi di studio.

Programma

Introduzione ai sistemi distribuiti. Modelli architetturali distribuiti e loro programmazione. Principi, caratteristiche chiave, vantaggi e svantaggi. Scelte di progetto e problematiche connesse. Classificazione: topologie, tipi di rete di interconnessione. Mezzi trasmissivi. Protocolli e servizi. Prestazioni.

Comunicazione. Paradigmi Client-Server e IPC. Group communication. Multicast.

Meccanismi di invocazione e chiamata remota. Remote Method Invocation (RMI). Remote Procedure Call (RPC). Tipi e semantiche. Esempi.

Sistemi operativi distribuiti. Processi: assegnazione e schedulazione, migrazione e bilanciamento del carico. Stallo.

File System distribuito. Modello di file service e problematiche di progetto Casi di studio: NFS, AFS e CODA.

Sincronizzazione e coordinamento in sistemi distribuiti. Algoritmi di sincronizzazione e coordinamento. Sincronizzazione dei clock, mutua esclusione, elezioni di un leader. Calcolo di stato globale. Ordinamento causale. Allocazione dei processi nei sistemi distribuiti.

Replicazione, consistenza e transazioni . Consistenza, modelli di consistenza. Modelli architetturali di replicazione. Transazioni e controllo della concorrenza in sistemi distribuiti.

Libri di testo

[C] G. Coulouris, J. Dollimore and T. Kindberg, "Distributed Systems: concepts and design", 4th edition, Addison Wesley Masson, 2005. pagina web http://www.cdk3.net/

Testi di consultazione

[T1] A.Tanenbaum, "Distributed Systems, Priciples and Paradigms", Prentice Hall, 2002

[M] S. Mullender "Distributed Systems", Addison Wesley, 1993

[SK] M.Sloman, J. Kramer "Distributed systems and Computer Networks" Prentice-Hall

[T] A.Tanenbaum, Computer Networks (III ed.), Prentice Hall 2003.

[G] D.L. Galli "Distributed Operating Systems: Concepts and Practice", Prentice Hall, 1999.

Copie di lucidi

N.B. I lucidi non sono da considerare come sostitutivi nè dei testi di riferimento nè della frequenza alle lezioni, che costituiscono importanti elementi per una buona preparazione dell'esame; i lucidi messi a disposizione costituiscono SOLTANTO uno schema di PARTE delle lezioni.
N.B. I lucidi sono soggetti ad aggiornamenti periodici e NON coprono tutto il contenuto del corso.
I LUCIDI NON COSTITUISCONO TESTO, NE' SONO COMPLETI. NON SONO SUFFICIENTI PER LA PREPARAZIONE DELL'ESAME
I lucidi si trovano nella cartella sistemi distribuiti 2009

Avvisi

 Contattare il docente via e-mail per un appuntamento.

Nell'ambito del corso è stato possibile svolgere un approfondimento su un tema attinente al programma del corso, presentato entro il 15 dicembre 2011 nella forma di breve relazione scritta e orale. L'argomento va concordato con il docente e corredato da una breve relazione.

Esami

 N.B.:
  • L'esame consiste in uno scritto ed un orale.
  • E' obbligatorio iscriversi nell'elenco sulla pagina web.
  • Solo, nel caso in cui non fosse possibile iscriversi via web per motivi tecnici, solo in casi estremi ed eccezionali e non più di tre giorni prima dell'appello inviare un e-mail al docente.

Risultati Esami

 Risultati prova scritta: 18.1.2012 - 16.5.2012 - registrazioni e orali: 23/5 ore 11.30
se necessario inviare mail



Compiti: copia cartacea è disponibile in portineria.