Lezioni Anno Accademico 2020/21 I semestre

Settembre 30 2020

Presentazione del corso

Ottobre 2 2020

Esempio del cuoco

Ottobre 7 2020

Lettura degli Esercizi di "lettura" programmi in C 2020/21

Comandi di bash

Ottobre 9 2020

Installazione di un OS

Comandi di bash

Ottobre 14 2020

Comandi di bash

Ottobre 16 2020

Comandi di bash

Ottobre 21 2020

Programmazione Concorrente

• introduzione
• problemi di sincronizzazione e comunicazione
• alcune definizioni

Ottobre 23 2020

System call

• creazione dei processi
• esecuzione dei processi
• gestione della memoria

Ottobre 28 2020

Programmazione concorrente

Soluzioni del problema di sincronizzazione:

• algoritmo di Dekker
• algoritmo di Peterson
• Test and Set

Ottobre 30 2020

System call

• File system

Novembre 4 2020

Programmazione concorrente

Soluzione del problema di sincronizzazione:

• semafori

Alcuni problemi di sincronizzazione:

• problema del produttore e consumatore
• problema dei filosofi a cena
• problema degli scrittori e lettori

Novembre 6 2020

System call

• file
• operazioni con i file

Novembre 11 2020

Programmazione concorrente

• semafori binari
• implementazione dei semafori con i semafori binari
• implementazione dei semafori binari con i semafori

Novembre 13 2020

System call

• comunicazione fra i processi
• gestione degli eventi I/O
• segnali

Novembre 18 2020

Programmazione concorrente

• semafori, semafori binari
• monitor

Novembre 20 2020

System call

• segnali
• utenti e gruppi

Novembre 25 2020

• espressività dei monitor
• problemi classici con i monitor

Novembre 27 2020

Progetto PandaOS

• presentazione generale

Strumenti per programmare

• Make
• Autotools
• CMake

Dicembre 2 2020

• messagge passing
• uguaglianza espressiva dei vari tipi di messagge passing

Dicembre 4 2020

Progetto: fase 1 Strumenti per programmare

• git
• github

Dicembre 9 2020

• problemi classici col message passing