Dettagli sull'Insegnamento per l'A.A. 2019/2020

Le informazioni che state leggendo si riferiscono all'anno accademico 2019/2020. Per questo molti collegamenti non sono disponibili e i dati potrebbero essere incompleti. Per leggere le informazioni correnti sul corso, se ancora erogato, consulta il catalogo corsi di ateneo. Per consultare le informazioni relative ad altri anni accademici, usa la lista in fondo a questa pagina.

A. Accademico:

2019/2020

Nome:

Distributed Systems / Distributed Systems

Tipo:

Modulo

Corso principale:

Distributed Systems and Web Algorithms / Distributed Systems and Web Algorithms

Informazioni

Codice:

DT0168

SSD:

INF/01

Crediti:

: Master Degree in Computer Science 6 CFU (b)

Periodo:

1^st semester

Erogazione:

Master Degree in Computer Science 1^st anno curriculum NEDAS Compulsory
Master Degree in Computer Science 1^st anno curriculum SEAS Elective
Master Degree in Computer Science 1^st anno curriculum UBIDIS Elective

Lingua:

Inglese

Prerequisiti

Conoscenza degli argomenti trattati nei corsi di matematica discreta e di algoritmi e strutture dati.

Obiettivi

Il corso fornisce gli elementi fondamentali di teoria e progettazione degli algoritmi in sistemi distribuiti, ovvero in sistemi in cui i soggetti computazionali coinvolti sono molteplici e possono perseguire o meno una strategia condivisa. Il corso spazierà quindi dalla presentazione dei classici algoritmi distribuiti per il problema dell'elezione del leader in sistemi cooperativi, fino ad arrivare agli algoritmi di crittografia, strumenti indispensabili per comprendere le vulnerabilità dei sistemi distribuiti aperti quali la rete Internet.

Sillabo

Algoritmi per sistemi distribuiti cooperativi: 1. Leader Election 2. Minimum Spanning Tree 3. Maximal Independent Set
Algoritmi per sistemi distribuiti con fallimenti: monitoraggio di una rete, problema del consenso
Algoritmi per sistemi distribuiti concorrenti: il problema della mutua esclusione

Descrittori di Dublino

Alla fine del corso, lo studente dovrebbe

By the end of this module students will be able to: 1) understand the difference between a centralized and a distributed algorithm; 2) analyze the resources (space and time) needed by a distributed algorithm; 3) known efficient algorithms for basic computational distributed problems (leader election, consensus, etc.); 4) understand the difference between a canonical and a strategic distributed system.
The aim is to make the student capable of abstracting models and formal algorithmic problems from real distibuted computational problems, and designing efficient algorithmic solutions.
Through the presentation and the comparison of different solutions to a given probelm, students will be guided to learn and to identify independently their most efficient solution.
The course will encourage the development of the following skills of the student: capability of formally presenting and modelling concrete problems, focusing on their main features and discarding the inessential ones.
The course aims to develop in graduate students competencies and abilities necessary in their future studies, especially with respect to doctoral studies on algorithmic topics.

Testi di riferimento

P. Ferragina e F. Luccio, Crittografia , Bollati Boringhieri.
H. Attiya e J. Welch, Distributed Computing , Wiley.

Modalità d'esame

Prova parziale scritta + Prova finale orale (eventualmente limitata alla seconda parte del corso nell'eventualita' che sia stata superata con successo la prova parziale).

Risorse Internet

Homepage:

http://www.di.univaq.it/~proietti/didattica.html

Aggiornamenti alla pagina del corso

Le informazioni sulle editioni passate di questo corso sono disponibili per i seguenti anni accademici:

Per leggere le informazioni correnti sul corso, se ancora erogato, consulta il catalogo corsi di ateneo.

Ultimo aggiornamento delle informazioni sul corso: 20 ottobre 2016, 09:34