Sistemi Operativi

Lo studente sarà in grado di comprendere problematiche quali l’organizzazione di un sistema di calcolo moderno, la gestione delle risorse di un sistema di calcolo (memoria, CPU, dispositivi esterni), e la gestione e la sincronizzazione dei processi e dei thread in un sistema multiprogrammato e a condivisione del tempo. Tramite lo studio del kernel del sistema operativo Linux lo studente avrà una conoscenza pratica delle più moderne tecniche nel campo dei sistemi operativi.

Lo studente sarà in grado di utilizzare le metodologie apprese per analizzare le prestazioni di un sistema operativo in un particolare contesto applicativo; saprà formulare alternative o proporre soluzioni originali a problemi legati al funzionamento dei sistemi di calcolo complessi; saprà porre e sostenere argomentazioni nell’ambito dei sistemi operativi, evidenziando vantaggi e svantaggi di particolari soluzioni implementative; infine, grazie alle conoscenze acquisite nella parte di laboratorio, potrà operare attivamente su un sistema operativo UNIX-like attraverso la shell di comando e, dal punto di vista della programmazione, attraverso le chiamate di sistema POSIX.

Lo studente sarà in grado di seguire i trend moderni nell’ambito della progettazione di sistemi operativi; sarà in grado di raccogliere i dati necessari alla valutazione delle prestazioni di un particolare sistema operativo, e di interpretare i risultati della valutazione; infine, sarà in grado di elaborare i requisiti necessari alla progettazione di un nuovo sistema operativo, e di valutare l’efficacia di diverse soluzioni alternative.

Lo studente acquisirà la capacità di comunicare ed esprimere problematiche inerenti l’oggetto del corso; sarà in grado di sostenere conversazioni su tematiche relative ai moderni sistemi operativi, di confrontare diversi sistemi operativi, e di offrire possibili soluzioni.

Lo studente avrà appreso le interazioni tra le tematiche dei sistemi operativi, della progettazione software, e dell’importanza di adeguati supporti hardware e questo gli consentirà di proseguire gli studi universitari con un elevato grado di autonomia.

Dall’anno accademico 2014-2015 non sono più previste prove in itinere.

Il libro principale di riferimento del corso è il testo di Tanenbaum-Bos: se ne consiglia l’uso della quinta edizione (o al più la quarta se più facilmente reperibile). Il secondo testo di Silberschatz et al. è utilizzato per approfondimenti e per alcuni argomenti del programma (comunque richiesti in sede d’esame). Tutti i libri di testo citati dovrebbero essere disponibili in biblioteca per eventuali consultazioni. Gli argomenti trattati a lezione fanno esplicito riferimento alle edizioni indicate dei testi: l’eventuale uso di edizioni più vecchie deve tenere conto di possibili discrepanze o mancanze nei contenuti.

Durante la prova scritta di teoria non è assolutamente possibile utilizzare alcuna documentazione (appunti, dispense, libri, …). Non è assolutamente possibile utilizzare telefonini, smartwatch o smartphone di alcun genere. E’ indispensabile portare con se un documento di riconoscimento e conoscere le proprie credenziali d’Ateneo (codice fiscale e password personale: usati, per esempio, per accedere a SmartEdu). Per la prova di laboratorio si utilizzerà un sistema GNU/Linux con un account ad-hoc per l’esame: si potrà accedere unicamente alla documentazione di sistema (man page su shell o su browser) e ad una copia digitale delle proiezioni di laboratorio che si troverà già sull’account. Non sarà possibile accedere alla rete esterna o a supporti rimovibili esterni in alcun modo. Non è permesso portare con se dispositivi USB personali (tastiere, mouse, …).

In genere verranno utilizzati avvisi sul portale del Dipartimento e la piattaforma Drop the Mark per condividere in modo privato le singole votazioni.

Da sempre sono previsti due appelli straordinari riservati agli studenti fuori-corso. Recentemente si sono aggiunti altri due appelli riservati agli studenti “iscritti agli anni successivi” (quindi al 3° anno per Sistemi Operativi). Le date esatte sono riportate sul calendario del corso (indicativamente a Dicembre e ad Aprile). L’accesso a tali appelli presenta però delle limitazioni previste dal Manifesto degli Studi: consultare preliminarmente lo stesso per verificare la propria possibilità di accesso. Per poter partecipare a tali appelli sarà indispensabile prenotarsi per tempo sul portale studenti: lo stesso potrebbe negare la prenotazione se il sistema non verifica i requisiti necessari. In caso di problemi contattare per tempo la segreteria.

Per quanto riguarda lo scritto di teoria, non è possibile avere copie di tali compiti: gli studenti devono riconsegnare i testi con le domanda alla fine dello scritto. Durante gli orari di ricevimento è sempre possibile visionare eventuali compiti passati per meglio comprendere i propri errori. E’ possibile farsi un’idea del tipo di domande guardando il estratto con alcuni esempi di domande. Sono previste domande a scelta multipla e domande a risposta aperta (comunque sintetica), mirate a valutare il grado di comprensione degli argomenti di teoria trattati a lezione. Le prove passate di laboratorio sono invece tutte presenti nella sezione Risorse della pagina del corso.

Si lavorerà dentro una distribuzione live GNU/Linux, appositamente creata per questo tipo di esami, denominata Exam-Box: si tratta di un ambiente ad-hoc in cui sarà possibile consultare solo la documentazione di sistema (man page su shell o su browser) e le proiezioni viste a lezione (già disponibili sull’account). Non sarà possibile accedere ad Internet o utilizzare supporti esterni removibili. Il sistema proporrà come editor/IDE l’applicazione Visual Studio Code con l’estensione “C/C++” preinstallata unitamente ai compilatori (gcc e g++) e debugger (gdb).

A causa di cattive abitudini di vecchi colleghi non è più possibile riparare a tale dimenticanza: chi non risulta prenotato sul portale studenti non può svolgere alcuna prova in quel dato appello. Non sono ammesse eccezioni.

Per quanto riguarda la didattica mista (on-line e di presenza) si seguono le indicazioni d’Ateneo: al momento non è prevista alcuna alternativa on-line per le lezioni.

In ogni caso le lezioni non saranno comunque registrate.