DiarioLezioni < Algo_par

---++Diario delle lezioni (Algoritmi Paralleli e Distribuiti, A.A. 2009-2010)


   * 28 Sep - <font color="#660000">Introduzione al corso. Memoria condivisa. Modello PRAM (esempio: somma di n numeri). Modello multicore e thread asincroni (esempio: enumerazione di primi)</font>

   * 01 Oct - <font color="#660000">Alice, Bob e il cortile "esclusivo": tre protocolli </font>

   * 05 Oct - <font color="#660000">Alice e Bob divorziano: Bob produce, Alice consuma. 2-thread locks: classe !LockOne </font>

   * 08 Oct - <font color="#660000">2-thread locks: !LockTwo e Peterson. Lock first-come-first-served: algoritmo di Lamport (bakery).  </font>

   * 12 Oct - <font color="#660000">Bakery: mutua esclusione. Bounded timestamps: grafo delle precedenze. </font>

   * 15 Oct - <font color="#660000">Lower bound. Peterson all'opera: in teoria è corretto, ma perché non funziona? Primitive hardware di sincronizzazione: TAS e TTAS lock. </font>

   * 19 Oct - <font color="#660000">Architetture NUMA e SMP. Cache coherence. Contatore condiviso tramite compare-and-swap. Wait e lock freedom. Introduzione alla correttezza. </font>

   * 22 Oct - <font color="#660000">Tutto su consistenza quiescente e consistenza sequenziale. Introduzione alla linearizzabilità. </font>

   * 26 Oct - <font color="#660000">Lezione annullata</font>

   * 29 Oct - <font color="#660000">Lezione annullata</font>

   * 02 Nov - <font color="#660000">Linearizzabilità. Introduzione alle liste concorrenti. </font>

   * 05 Nov - <font color="#660000">Liste concorrenti: sincronizzazione coarse-grained, fine-grained (hand-by-hand locking), ottimistica (wait-free traversal + validation). </font>

   * 09 Nov - <font color="green">Interruzione didattica </font>

   * 12 Nov - <font color="green">PROVA INTERMEDIA</font>

   * 16 Nov - <font color="#660000">Sincronizzazione lazy. Introduzione all'implementazione non bloccante: !AtomicMarkableReference.</font>

   * 19 Nov - <font color="#660000">Implementazione non bloccante. Richiamo al modello PRAM. </font>

   * 23 Nov - <font color="#660000">Somme prefisse. Merging e ranking: algoritmo surplus log e seriale. </font>

   * 26 Nov - <font color="#660000">Ranking efficiente in tempo logaritmico. Mergesort parallelo. Accelerating cascades: selezione. </font>

   * 30 Nov - <font color="#660000">Implementazione parallela dell'algoritmo del mediano dei mediani. Introduzione al pipelining.</font>

   * 02 Dec - <font color="#660000">Inserimento pipelined in alberi 2-3. Discussione esoneri. </font>

   * 07 Dec - <font color="#660000">Tour di Eulero e problemi su alberi. </font>

   * 10 Dec - <font color="#660000">Dynamic program analysis ed implicazioni algoritmiche. </font>

   * 14 Dec - <font color="#660000">Seminari: queue locks e hierarchical locks. </font>

   * 18 Dec - <font color="#660000">Seminari: transactional memories. </font>

   * 07 Jan - <font color="#660000">Seminari: code, software combining. </font>

   * 11 Jan - <font color="#660000">Seminari: hashing. </font>

   * 14 Jan - <font color="#660000">Seminari: pile, skiplists. </font>

   * 18 Jan - <font color="#660000">Seminari: code con priorità, barriers.</font>
This topic: Algo_par_dis > WebHome > WebHome0910 > DiarioLezioni
Topic revision: r21 - 2009-12-17 - IreneFinocchi