2004-2005 Architetture Parallele e Distribuite (ASE)
Annunci Informazioni Calendario delle lezioni
Titolare Marco Vanneschi
Programma del corso, orari: si veda alla pagina web del corso ASE 04/05 ed alla pagina web ufficiale (segreteria didattica)
Lun 21/03/05 | Formalismo
di programmazione concorrente: sintassi base e struttura del programma,
primitive send e receive, canali di comunicazione: costanti e variabili.
Esempio di programma pipeline, analisi delle prestazioni e dell'efficienza, caso bilanciato e sbilanciato, modello delle comunicazioni t0 + lm t1. Analisi dell'effetto del mascheramento del tempo di trasferimento sulla performance. Compilazione di linguaggi applicativi e struttura del S.O. |
Mar 22/03/05 |
Formalismo di programmazione concorrente: grado di asincronia, controllo del nondeterminismo (comando alternativo). Esempi: programma clienti + servente, programma buffer.
Implementazione delle primitive di comunicazione: send/receive generiche. Esempi: descrizione del programma farm ad emettitore/collettore centralizzati, con prefetching dei task, senza gestione della terminazione. |
Mer 23/03/05 |
Esempi: programma farm, analisi della performance nell'ipotesi di tempo di comunicazione t0 + lm t1, grado di parallelismo ideale con/senza mascheramento del tempo della receive.
Implementazione delle primitive di comunicazione: asincrona con copia nella variabile targa, sincrona alla pari. |
Mar 26/04/05 |
Programmazione data-parallel: macchina astratta, caratteristiche e
ipotesi di applicabilità al caso reale. Comunicazioni
collettive: multicast, scatter, gather; definizione e valutazione di
implementazioni essenziali.
Programmi data-parallel: partizionamento dello stato, ampiezza delle partizioni. Descrizione del paradigma map, compilazione nel formalismo a scambio di messaggi, valutazione del parallelismo ottimo. |
Mer 27/04/05 |
-
|
Turn back to the home page | Ultimo aggiornamento: 23 Aprile 2005 |