2004-2005   Architetture Parallele e Distribuite (ASE)


Annunci    Informazioni    Calendario delle lezioni   

Annunci relativi al corso 

Annunci relativi al corso.

Informazioni 

Titolare Marco Vanneschi

Programma del corso, orari: si veda alla pagina web del corso ASE 04/05 ed alla pagina web ufficiale (segreteria didattica)

Programma:
come parte del corso di ASE, studieremo diverse forme di parallelismo elementari per la realizzazione di sistemi di elaborazione, e la loro valutazione nell'applicazione a processi tra loro comunicanti, prima nel caso di architettura uniprocessore, e quindi nel caso di architetture piu' generali, distribuite e parallele.
Le forme di parallelismo saranno realizzate a partire da un formalismo di descrizione delle comunicazioni, che costituisce un livello intermedio tra la descrizione del problema parallelo e l'implementazione vera e propria delle comunicazioni.
In seguito, allo scopo di valutare in modo più preciso le prestazioni dei differenti sistemi descritti, vedremo anche alcune caratteristiche ed ottimizzazioni dell'implementazione del formalismo che sono possibili sulle architetture studiate nel corso.
Materiale didattico:
dispensa del corso di ASE, capitolo 6
(M. Vanneschi, Architetture Parallele e Distribuite. Servizio Editoriale Universitario, Università di Pisa, 2004-05, nuova edizione).
Altri riferimenti:
Orario di ricevimento:

Lezioni e note relative 

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