Slides e Testi
==============

In questa sezione potete scaricare le slide delle lezioni.


* `01 - Introduzione    </programmazione-concorrente/slides/01-PC-intro-web-25-03-05.pdf>`_.      Pubblicato il 04/03/25. Aggiornato il 05/03/25.
* `02 - Proprietà       </programmazione-concorrente/slides/02-PC-properties-web-25-03-25.pdf>`_. Pubblicato il 04/03/25. Aggiornato il 25/03/25.
* `03 - Strutture dati  </programmazione-concorrente/slides/03-PC-concurrent-ds-25-04-09.pdf>`_.  Pubblicato il 19/03/25. Aggiornato il 09/04/25.


.. _books2025:

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 <https://pubs.opengroup.org/onlinepubs/9699919799>`_
* `Linux <https://man7.org/linux/man-pages/>`_
* `gcc sync builtins <https://gcc.gnu.org/onlinedocs/gcc/_005f_005fsync-Builtins.html#g_t_005f_005fsync-Builtins>`_

..
    * `Microsoft C docs on literals <https://docs.microsoft.com/cpp/c-language/c-integer-constants>`_
    * `GCC Thread Local Storage <https://gcc.gnu.org/onlinedocs/gcc/Thread-Local.html>`_
    * `Linux Kernel <https://www.kernel.org/doc/html/latest/>`_
    * `mode_t <https://pubs.opengroup.org/onlinepubs/9699919799/basedefs/sys_stat.h.html>`_
    * `ramdisk <https://www.kernel.org/doc/html/latest/admin-guide/blockdev/ramdisk.html>`_
    * `ramfs <https://wiki.debian.org/ramfs>`_
    * `tmpfs <https://www.kernel.org/doc/html/latest/filesystems/tmpfs.html>`_
  
    * `objdump <https://man7.org/linux/man-pages/man1/objdump.1.html>`_
    * `/etc/passwd <https://man7.org/linux/man-pages/man5/passwd.5.html>`_
    * `/etc/group <https://man7.org/linux/man-pages/man5/group.5.html>`_
    * `/etc/shadow <https://man7.org/linux/man-pages/man5/shadow.5.html>`_
    * `Bash redirection <https://www.gnu.org/software/bash/manual/html_node/Redirections.html>`_


Altro materiale
"""""""""""""""

* Introduzione

  * `The free lunch is over by Herb Sutter <http://www.gotw.ca/publications/concurrency-ddj.htm>`_
  * `Welcome to the jungle by Herb Sutter <https://herbsutter.com/welcome-to-the-jungle>`_
  * `50 Years of Microprocessor Trend Data by K. Rupp <https://github.com/karlrupp/microprocessor-trend-data>`_

* Proprietà

  * Scalabilità

    * `Another view on parallel speedup <https://dl.acm.org/doi/10.5555/110382.110450>`_
    * `Legge di Amdahl Sezione 4 Eq. 11 <https://dl.acm.org/doi/pdf/10.5555/110382.110450>`_

  * Correttezza:

    * Sequential consistency: `How to make a multiprocessor computer that correctly executes multiprocess programs <https://ieeexplore.ieee.org/document/1675439>`_
    * `Linearizability: a correctness condition for concurrent objects <https://dl.acm.org/doi/10.1145/78969.78972>`_
    * Serializability: `The Serializability of Concurrent Database Updates <https://dl.acm.org/doi/10.1145/322154.322158>`_

* Strutture dati concorrenti

  * Stack

    * Treiber stack: `Systems Programming: Coping With Parallelism <https://dominoweb.draco.res.ibm.com/reports/rj5118.pdf>`_
    * Elimination stack: `A Scalable Lock-free Stack Algorithm <https://dl.acm.org/doi/10.1145/1007912.1007944>`_

..
    * `glibc source code <https://sourceware.org/git/?p=glibc.git;a=summary>`_
    * `Linux Kernel Source Code <https://elixir.bootlin.com/>`_
    * `Introduction to Operating Systems <https://pages.cs.wisc.edu/~remzi/OSTEP/intro.pdf>`_
    * `GCC and Make Compiling, Linking and Building C/C++ Applications <https://www3.ntu.edu.sg/home/ehchua/programming/cpp/gcc_make.html>`_
    * `Bakery algorithm <http://lamport.azurewebsites.net/pubs/bakery.pdf>`_
    * `Complete Fair Scheduler <https://www.kernel.org/doc/html/latest/scheduler/sched-design-CFS.html>`_
    * `Hard Disk <https://pages.cs.wisc.edu/~remzi/OSFEP/file-disks.pdf>`_
    * `Solid State Drives - Data Reliability and Lifetime <https://www.csee.umbc.edu/~squire/images/ssd1.pdf>`_
    * `Filesystem Hierarchy Standard <https://refspecs.linuxfoundation.org/FHS_3.0/fhs-3.0.pdf>`_
    * `objdump <https://man7.org/linux/man-pages/man1/objdump.1.html>`_
    * `readelf <https://man7.org/linux/man-pages/man1/readelf.1.html>`_
    * `gdb <https://man7.org/linux/man-pages/man1/gdb.1.html>`_