PCD Programma

Programmazione Concorrente e Distribuita
a.a. 2006 - 2007
programma del corso
1. Concetti fondamentali di Programmazione Concorrente ([1],cap. 1e2)
 Algoritmo, Programma, Processo
 Processi Concorrenti
 Architettura di una macchina concorrente
2. Costrutti Linguistici per la Programmazione Concorrente ([1],cap. 3)
 Coroutines
 Fork Join
 Cobegin Coend
 Processi
3. Modello a Memoria Comune ([1], cap. 4)
 Semafori
 Regioni Critiche e Regioni Critiche Condizionali
 Monitor
 Path expression
 Linguaggi Concorrenti
4. Modello a Memoria Distribuita ([1], cap. 5)
 Caratteristiche Scambio di Messaggi
 Primitive Asincrone
 Primitive Sincrone
 Chiamate di Procedura Remota
 Linguaggi Concorrenti
5. Coordinazione in Sistemi Distribuiti ([2], cap. 18)
 Ordinamento degli Eventi
 Mutua Esclusione
 Atomicita`
 Controllo della Concorrenza
 Gestione del Deadlock
 Algoritmi di elezione
 Problema del Consenso
6. Approfondimento di Algoritmi distribuiti :
Algoritmi di M.E. e elezione ([3], cap. 2, pp. 19-37)
 Algoritmi di M. E. :
Algoritmo di Ricart e Agrawala/Suzuki Kasami
 Algoritmi di rigenerazione del token:
Algoritmo di Misra
 Algoritmi elettivi
 Algoritmo di Chang Roberts
 Algoritmo di Hirschberg e Sinclair
Algoritmi di gestione del deadlock ([3], cap. 3, pp. 53-59)
 Algoritmi di Rosenkrantz, Sterns e Lewis :
 Algoritmi di scoperta del deadlock:
 Deadlock per comunicazione
Algoritmo di Chandy, Misra e Haas
Algoritmi di terminazione ([3], cap. 4, pp. 67-69 e 78-81)
 Algoritmi di Misra
Algoritmi di consenso ([3], cap. 7, pp. 137- 149))
Testi
[1] Ancillotti - Boari. Principi e tecniche di Programmazione Concorrente
UTET LIBRERIA
[2] Silberschatz - Galvin. Operating System Principles. ADDISON WESLEY
4 ed.
[3] Raynal. Distributed Algorithms and Protocols. WILEY & SONS