Appunti degli studenti per corsi ed esami del Prof. Cavalieri Marina

Corso di Sistemi operativi - Unict - In - Prof. Cavalieri Salvatore. 1. Generalità sui sistemi operativi. Gestione delle risorse. Interfaccia utente. Concetto di Kernel. 2. Il sistema GNU/Linux. Software libero e relative licenze d'uso. GPL. 3. Struttura dei sistemi operativi: monolitici, microkernel, ibridi, client/server. 4. Cenni su UNIX e sullo standard POSIX. 5. Concetto di System call e passi necessari a realizzarle. Panoramica delle system call di Unix/Linux, Windows. 6. Classificazione dei sistemi operativi. Scelte progettuali relative alle diverse tipologie di SO. Sistemi operativi per architetture multiprocessore. Virtualizzazione. Macchine virtuali. Hypervisor di livello 1 e 2. Esempi: struttura di VMware e Virtual Box. 7. File System e System call sui file. 8. Concetto di Processo. Diagramma a stati di un processo. 9. Interruzioni hardware e software e loro gestione nei sistemi operativi. 10. System call per creazione e gestione di processi: fork(), wait(), waitpid(). Famiglia delle exec(). 11. Cenni di system call per la gestione di processi in ambiente Windows. 12. Segnali e loro gestione. System call kill(), signal(), alarm(), sigaction(). 13. Esempi di programmi che impiegano tutte le system call sui processi e sui segnali. 14. Thread. Generalità, caratteristiche. Implementazione dei thread: user space, kernel space, ibride (con riferimento alle scelte progettuali dei principali SO). 15. La libreria Pthread. Funzioni pthread_create(), pthread_join(), pthread_exit(), pthread_detach, pthread_attr_init(). Cenni di thread in ambiente Windows. Cancellazione di thread. Esempi di programmi che usano la libreria Pthread. 16. Linux: Esercitazione sui comandi di shell. Programmazione della shell. Shell Bash. 17. Sezione critica. Mutua esclusione con attesa attiva. Semafori. 18. Problema Classici di sincronizzazione: Produttore/Consumatore, Lettori/Scrittori e loro soluzione tramite semafori. 19. Mutex. Implementazione con thread in user space. Funzioni pthread_mutex. 20. IPC in Linux. Semafori: semget(), semop(), semctl(). Code di messaggi: msgget(), msgsnd(), msgrcv(), msgctl(). Shared memory: shmget(), shmat(), shmdt(), shmctl(). Esempi di programmi. 21. Comunicazione nei sistemi client-server: socket. 22. Deadlock. Definizione del problema e strategie di gestione. Algoritmo del banchiere con risorsa singola. 23. Schedulazione della CPU. Obiettivi. Algoritmi classici: FIFO, Round-robin, Schedulazione basata su priorità. Il problema della Starvation. Code multiple. Cenni sul scheduling nei sistemi real-time. 24. Cenni sullo scheduling di Linux: Completely Fair Scheduler.

Appunti relativi alla prima parte del corso di Scienza delle finanze, basati sul corso e sullo studio del libro consigliato dal docente: Scienza delle Finanze, UTET, Balestrino A., Galli E., Spataro L. (2019). Gli argomenti trattati sono: secondo teorema dell'economia del benessere, beni pubblici e beni rivali, esternalità, monopolio, monopolio naturali e soluzioni annesse, come le regole di prezzo.