Modalita' d'esame

L'esame richiede il superamento di una prova scritta e di una prova pratica di programmazione in linguaggio C (in tecnologia Posix o Win-API a scelta dello studente) da svolgersi in laboratorio. La prova scritta vale un massimo di 21 punti, con 12 come soglia per la sufficienza. La prova pratica in laboratorio vale un massimo di 11 punti, con 6 come soglia per la sufficienza. Il voto d'esame risultera' pari alla somma dei punteggi conseguiti alle due prove. Per la lode e' richiesto un punteggio complessivo di almeno 31.

Nel caso in cui lo studente consegua la sufficienza solo ad una delle due prove, nell'ambito dello stesso anno accademico egli sara' esonerato dal dover rieseguire la prova in cui e' risultato gia' sufficiente. Potra' quindi (ri)sostenere la prova (scritta o di programmazione) dove non ha riportato la sufficienza ad un appello successivo dello stesso anno accademico.

Sviluppo di una tesina (opzionale)

Allo studente e' data la possibilita' di sviluppare una tesina (un progetto) in linguaggio C, da svolgersi individualmente o in gruppo formato da al piu' 2 persone, che vale fino ad un massimo di ulteriori 5 punti, i quali si sommeranno alla valutazione ottenuta come somma dei punteggi della prova scritta e della prova di programmazione in laboratorio. Si potra' usufruire dei punti addizionali dati dalla tesina solo nel caso in cui si sia gia' conseguita una valutazione di almeno 18 alla prova d'esame. L'assegnazione della tesina ha validita' per l'anno accademico corrente. La consegna della tesina (se si e' scelto di svilupparla) dovra' quindi avvenire nello stesso anno accademico in cui viene svolta la prova d'esame. Per consegnare la tesina basta richiedere un appuntamento al docente via email.

• Seguire questo link per accedere al sistema di assegnazione delle tesine via Web.

Testi consigliati

• [T1] Sistemi operativi - Silberschatz Abraham, Galvin Peter Baer, Gagne Greg - Addison Wesley, decima edizione
• [T2] Operating Systems: Internals and Design Principles - William Stallings - Prentice Hall, fifth edition (o superiori)
• [T3] C/ANSI-C, Principi di Programmazione e Manuale di Riferimento - Brian W.Kernighan, Dennis M.Ritchie - Pearson, Prentice Hall

Link utili

• Link alla pagina dell'ambiente Microsoft Visual Studio (Express Edition - Now Community) per lo sviluppo di applicazioni software in tecnologia C/Windows (Win-API)
• Link alla pagina Microsoft Learn
• Link alla pagina dell'ambiente VirtualBox per la virtualizzazione delle macchine - NOTA: per utilizzare correttamente il software di virtualizzazione attivare nel BIOS il relativo supporto hardware (VT-x/AMD-v)
• Link per il dowload di una immagine di sistema Linux/Suse/x86-64 (VDI virtual disk) - formato compresso da 2.5 GB - credenziali dell'utente amministratore: username="so" - password="sistemioperativi"
  
• Link alla pagina dell'ambiente Wine per lo sviluppo e l'esecuzione di applicazioni Windows su sistemi Linux/MacOS.

Programma previsto per l'a.a. 2023-2024

• Introduzione ai sistemi operativi
  • Richiami sull'organizzazione di un sistema di calcolo
  • Obiettivi dei sistemi operativi
  • Sistemi batch uniprogrammati
  • Sistemi batch multiprogrammati
  • Sistemi time-sharing
  • Architettura di massima dei sistemi UNIX/Windows
  • Ambienti di esecuzione
  • Aspetti basici sulla sicurezza del software
  
  
• Processi e thread
  • Esecuzione e stati di processi
  • Multiprogrammazione e Swapping
  • Strutture di controllo di processi
  • Immagine di un processo
  • Liste di processi e scheduling
  • Processi in sistemi UNIX/Windows
  • Supporti per il multi-threading
  • Threads in sistemi UNIX/Windows
  
  
• Scheduling della CPU
  • Metriche di riferimento
  • Algorithmi di scheduling classici
  • Scheduling in sistemi UNIX/Windows
  
  
• Virtual File System ed I/O
  • Concetti basici
  • Metodi di accesso e di allocazione dei file
  • Implementazione del virtual file system
  • Gestione dei buffer di I/O
  • Schedulazione di I/O
  • Gestione delle utenze e dei permessi di accesso
  • Concetti basici di crittografia ed autenticazione
  • Virtual file system ed I/O in sistemi UNIX/Windows
  
  
• Comunicazione
  • Pipe
  • Pipe con nome
  • Scambio di messaggi
  • Comunicazione in sistemi UNIX/Windows
  
  
• Gestione della memoria
  • Binding degli indirizzi
  • Partizioni fisse e variabili
  • Paginazione e segmentazione
  • Memoria virtuale
  • Memoria condivisa e file-mapping
  • Gestione della memoria in sistemi UNIX/Windows
  
  
• Sincronizzazione
  • Spinlocks, mutex e semafori
  • Supporti per la sincronizzazione in sistemi UNIX/Windows
  
  
• Eventi
  • Meccanismi di segnalazione e gestione di eventi sincroni ed asincroni
  • Supporti in sistemi UNIX/Windows
  
  
• Servizi di sistema per la programmazione di rete
  • Stack di protocolli di comunicazione
  • Sockets in sistemi UNIX/Windows
  
  

Materiale didattico (NOTA IMPORTANTE: le slides non sono un libro di testo, sono solo il canovaccio per lo svolgimento delle lezioni)

Esempi di precedenti prove d'esame

AA. 2021-2022 (6/9CFU):
• prove scritte: 13-6-2022 - 18-7-2022 - 8-9-2022 - 22-9-2022 - 26-1-2023
• prove di programmazione: 14-6-2022 - 20-7-2022 - 9-9-2022 - 23-9-2022 - 27-1-2023 - 23-2-2023

AA. 2020-2021 (6/9CFU):
• prove scritte: 21-6-2021 - 21-6-2021 - 19-7-2021 - 6-9-2021 - 16-9-2021 - 24-1-2022 - 21-2-2022
• prove di programmazione: 26-6-2021 - 26-6-2021 - 21-7-2021 - 21-7-2021 - 7-9-2021 - 17-9-2021

AA. 2019-2020 (6/9CFU):
• prove uniche: 16-6-2020 - 18-6-2020 - 17-9-2020 - 18-9-2020- 20-1-2021 - 18-2-2021

AA. 2018-2019 (6CFU):
• prove scritte: 25-6-2019 - 24-7-2019 - 3-9-2019 - 16-9-2019 - 20-1-2020 - 24-2-2020
• prove di programmazione (e soluzioni): 18-9-2019 - 17-10-2019 - 21-1-2020

AA. 2017-2018 (6CFU):
• prove scritte: 4-6-2018 - 27-6-2018 - 17-7-2018 - 7-9-2018 - 18-9-2018 - 22-1-2019 - 18-2-2019
• prove di programmazione (e soluzioni): 26-6-2018 - 18-7-2018 - 7-9-2018 - 19-9-2018 - 23-1-2019