Il corso di Sistemi Operativi ha due scopi principali: il primo è quello di presentare le problematiche teoriche concernenti la progettazione dei moderni sistemi operativi, con particolare riferimento a quelli di tipo UNIX. Il secondo obiettivo è quello di introdurre agli studenti il concetto di concorrenza, ovvero l'insieme di primitive e tecniche per descrivere e controllare l'esecuzione concorrente di due o più programmi. Il corso è corredato da alcune esercitazioni sull’utilizzo del sistema operativo Linux, sulle system call e sulla programmazione multithread.
1. Introduzione ai Sistemi Operativi
5. Scheduling nei sistemi mono-processore
6. Threads, SMP
8. Scheduling Multiprocessore e Real-Time
9. Gestione dei processi nei sistemi operativi Unix/Linux e Window...
10. Introduzione alla Programmazione Concorrente
11. Sincronizzazione nel modello ad ambiente globale
12. Problemi di cooperazione nel modello ad ambiente globale
14. Sincronizzazione nel modello ad ambiente locale
15. Deadlock
16. Programmazione Multithread
18. Memoria Virtuale
20. Il File System
21. Primitive di sincronizzazione nel kernel Linux
22. Esercitazione: System call per la gestione dei processi
23. Esercitazione: Inteprocess Communication e Shared Memory
24. Esercitazione: System Call per la gestione dei semafori in Linu...
25. Esercitazione: Problema dei Produttori e dei Consumatori
26. Posix Threads
Domenico Cotroneo è professore associato di Sistemi di Elaborazioni delle Informazioni presso la Facoltà di Ingegneria dell’Università Federico II. Laureato con lode in Ingegneria Informatica presso l’Università Federico II nel 1998 ha conseguito il titolo di Dottore di Ricerca in Ingegneria dell’Informazione nel 2002.
Attualmente e’ docente dei corsi di Sistemi Operativi e Security and Dependability of Computer Systems (Parte B- Dependabiity). Domenico Cotroneo espleta le sue attività di ricerca nel gruppo di ricerca MOBILAB sui Sistemi Distribuiti Multimediali e Mobili del Dipartimento di Informatica e Sistemistica.
E’ autore di oltre 100 pubblicazioni scientifiche su riviste internazionali, libri e atti di congressi internazionali nel settore dei sistemi di elaborazione critici per tempo ed affidabilità. E’ coautore del testo “Introduzione a CORBA”, pubblicato dalla McGraw-Hill.
Ha partecipato a diversi progetti di ricerca sia nazionali sia internazionali. E’ coordinatore del progetto europeo “Critical-Step”, sullo studio dell’affidabilità dei componenti software forniti da terze parti.