2014
2014
Sei collegato come utente non registrato
Riepilogo dell'insegnamento: Programmazione Concorrente
| Informazioni generali | |||
| Corso di Laurea | Informatica | Percorso | Informatica |
|---|---|---|---|
| CFU | 6 | Università | FIRENZE |
| Ore di didattica frontale per CFU | 8 | Settore Scientifico Disciplinare | INF/01 |
6 cfu così ripartiti nelle aree:
- 5 CFU nell'area C - Programmazione
- 1 CFU nell'area H - Computazione su rete
Sillabo dell'insegnamento
- C - Programmazione
-
PCC - Programmazione Concorrente
Introduzione alla concorrenza. Azioni atomiche. Il modello interleaving. Diagramma degli stati. Safety e liveness. La logica LTL. -
PCC - Programmazione Concorrente
Meccanismi di sincronizzazione e comunicazione a memoria condivisa. Busy waiting, semafori e monitors. Il problema della mutua esclusione e della sincronizzazione condizionale. -
PCC - Programmazione Concorrente
Risoluzione di problemi attraverso primitive linguistiche per la concorrenza: produttore-consumatore, lettori-scrittori, filosofi a cena. -
PCC - Programmazione Concorrente
Progetto di semplici algoritmi concorrenti in Java: l'uso dei thread, dei metodi sincronizzati e dei monitor. -
PCC - Programmazione Concorrente
Meccanismi di sincronizzazione a scambio di messaggi: sincronia e asincronia. Il linguaggio Promela. - H - Computazione su rete
- *
MIR - Modelli di Interazione in Rete
RPC e RendezVous. Il modello Linda.
(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa
