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
Programmazione concorrente
- espressività dei monitor
- problemi classici con i monitor
Novembre 27 2020
Progetto PandaOS
- presentazione generale
Strumenti per programmare
- Make
- Autotools
- CMake
Dicembre 2 2020
Programmazione concorrente
- messagge passing
- uguaglianza espressiva dei vari tipi di messagge passing
Dicembre 4 2020
Progetto: fase 1
Strumenti per programmare
- git
- github
Dicembre 9 2020
Programmazione concorrente
- problemi classici col message passing
Python
Dicembre 11 2020
Python