Slides e Testi

In questa sezione potete scaricare le slide delle lezioni.

• 01 - Introduzione. Pubblicato il 04/03/25. Aggiornato il 05/03/25.

• 02 - Proprietà. Pubblicato il 04/03/25. Aggiornato il 25/03/25.

• 03 - Strutture dati. Pubblicato il 19/03/25. Aggiornato il 02/04/25.

Testi consigliati

• [t1] The Art of Multiprocessor Programming - Maurice Herlihy, Nir Shavit, Victor Luchangco, Michael Spear - Morgan Kaufmann (seconda edizione).

• [t2] Shared-Memory Synchronization - Michael L. Scott - Springer Cham.

Documentazione

• POSIX

• Linux

• gcc sync builtins

Altro materiale

• Introduzione

  • The free lunch is over by Herb Sutter

  • Welcome to the jungle by Herb Sutter

  • 50 Years of Microprocessor Trend Data by K. Rupp

• Proprietà

  • Scalabilità

    • Another view on parallel speedup

    • Legge di Amdahl Sezione 4 Eq. 11

  • Correttezza:

    • Sequential consistency: How to make a multiprocessor computer that correctly executes multiprocess programs

    • Linearizability: a correctness condition for concurrent objects

    • Serializability: The Serializability of Concurrent Database Updates

• Strutture dati concorrenti

  • Stack

    • Treiber stack: Systems Programming: Coping With Parallelism

    • Elimination stack: A Scalable Lock-free Stack Algorithm