Sistemi Operativi

Anno Accademico: 2012-2013 - Docente: Marco Cesati

Corso da 6 CFU dell'ordinamento DM 270/04 (sistema 6/9/12 CFU)

Secondo anno del corso di laurea in Ingegneria Informatica

Per gli studenti afferenti ad un ordinamento diverso da DM 270/04 (6/9/12), questo corso può essere considerato come la seconda parte del corso Architettura dei calcolatori e sistemi operativi da 5 CFU, oppure come il corso Sistemi operativi da 5 CFU.

Generalità

Svolgimento

4 marzo 2013 — 28 giugno 2013 (secondo semestre)

Obiettivi del corso

Il corso intende fornire allo studente una preparazione di base sui moderni sistemi operativi: finalità, problematiche, algoritmi e tecniche di base.
Inoltre il corso introduce lo studente alla programmazione dei sistemi POSIX con il linguaggio C.

Programma sintetico del corso

• Evoluzione dei sistemi operativi
• Struttura di un sistema operativo
• Gestione di processi e thread
• Gestione della memoria centrale
• Gestione della memoria virtuale
• Organizzazione del file system
• Gestione della memoria secondaria
• Programmazione in linguaggio C con le API POSIX

Piani di studio e propedeuticità

Il corso è impartito per gli studenti del secondo e terzo anno del corso di laurea in Ingegneria Informatica.

Affinché le prove d'esame siano legalmente valide, nel piano di studi personale dello studente deve essere presente:

• Sistemi Operativi (6 CFU) per l'ordinamento DM 270/04 (6/9/12 CFU)
• Architetture dei calcolatori e sistemi operativi (10 CFU) per l'ordinamento DM 270/04 (5/10 CFU)
• Sistemi operativi (5 CFU) per l'ordinamento DM 509/99 e precedenti

Per l'ordinamento corrente (DM 270/04) formalmente questo corso non ha propedeuticità. Tuttavia, per studenti afferenti ad ordinamenti didattici precedenti a quello attualmente in vigore possono esistere propedeuticità particolari (ad esempio, Fondamenti di informatica).

Pre-requisiti didattici

In questo corso verrano dati per scontati gli insegnamenti impartiti in alcuni corsi di informatica di base. In particolare, si assumerà che tutti gli studenti abbiano dimestichezza con:

• I concetti fondamentali dell'informatica (dal corso di Fondamenti di informatica).
• La scrittura, compilazione e analisi di programmi scritti in linguaggio C (dai corsi di Fondamenti di informatica e Calcolatori elettronici).
• L'architettura e l'organizzazione di un calcolatore moderno (dal corso di Calcolatori elettronici).

Gli studenti che non possiedono tutte le necessarie conoscenze di base dovranno colmare in modo autonomo le proprie lacune.

Iscrizione al corso

Per poter sostenere le prove di verifica e di esame è necessario iscriversi al corso entro il 30 aprile 2013.

È possibile iscriversi solo attraverso il seguente link: http://didat.sprg.uniroma2.it/so13/register.php.

Non sarà accolto alcun reclamo relativo alla (mancata) iscrizione al corso dopo il 30 aprile 2013.

Sistema di gestione online del corso

Questo corso fa uso di un sistema software (G.O.C.U.) per la gestione delle iscrizioni al corso e le prenotazioni alle prove di esame (entrambe le cose sono sempre obbligatorie).

Accedendo alla pagina http://didat.sprg.uniroma2.it/so13 è possibile iscriversi al corso (è necessario indicare un indirizzo email valido, vedi regole). Al termine della procedura di iscrizione si ottiene il proprio codice studente (valido per l'anno accademico 2012-2013) necessario per accedere all'area studenti.

Il sistema:

• permette di prenotarsi alle prove di esame ed invia un'email di conferma,
• invia un'email con l'esito della prova non appena il docente pubblica i risultati,
• riassume l'esito di tutte le prove di esame sostenute,
• se necessario calcola la media delle prove e mostra un eventuale voto utile alla verbalizzazione,
• permette di richiedere un nuovo invio del vostro codice studente (ad esempio in caso di smarrimento).

Delphi

Da questo anno accademico è obbligatorio utilizzare anche il sistema Delphi per prenotarsi alle prove d'esame. Tuttavia il sistema Delphi ha finalità differenti da quelle del sistema GOCU (principalmente amministrative, per la gestione dei verbali d'esame e per la valutazione della qualità della didattica).

Orari

Orari delle lezioni:

Martedì    dalle 14:00 alle 15:30, aula B4
Giovedì    dalle 9:30 alle 11:00, aula B4

Orario di ricevimento del docente:

• In aula, dopo ogni lezione
• Martedì dalle 10:30 alle 12:30, stanza A3-06, terzo piano, edificio "Ingegneria dell'Informazione"

Calendario delle lezioni

Materiale didattico

• Testo di riferimento: A. Silberschatz, P. B. Galvin, G. Gagne, Sistemi operativi: concetti ed esempi, ottava edizione. Pearson, 2009. ISBN: 8871925696, 9788871925691
• Testo consigliato per la programmazione POSIX/C: M. Kerrisk, The Linux Programming Interface: A Linux and UNIX System Programming Handbook, No Starch Press, 2010, ISBN: 1593272200, 9781593272203.
• Lucidi delle lezioni (disponibili dopo ogni lezione nella sezione Calendario delle lezioni)
• Note ed appunti delle esercitazioni (disponibili dopo ogni esercitazione nella sezione Calendario delle lezioni)
• Programma d'esame per l'anno accademico 2012/2013

E-mail del corso:

• so@sprg.uniroma2.it (i messaggi anonimi sono scartati senza alcuna considerazione per il loro contenuto!)

LUG

• Roma2LUG: il LUG di Roma Tor Vergata. Grazie per il supporto!   

Commenti ed errata ai libri di testo:

• Commenti e correzioni a [TLPI]
• Novità introdotte dopo la pubblicazione di [TLPI]

Dispense e appunti:

• Dispense di sistemi operativi, prof. D. P. Bovet, A.A. 2010/2011.

Link esterni sulla distribuzione Linux "Ubuntu":

• Wubi (un installatore di Ubuntu integrato in Windows, consigliato per chi non ha mai installato Linux)   
• Documentazione ufficiale di Ubuntu
• Forum di supporto di Ubuntu

Link esterni sull'utilizzo di Linux e UNIX:

• UNIX Tutorial for Beginners: molto simile a quanto mostrato nella prima esercitazione: raccomandato!
• Introduction to UNIX: Un corso online per principianti focalizzato su Linux, più approfondito del precedente.
• tuxfiles.org: un intero sito dedicato a tutorial per chi ha appena installato per la prima volta una distribuzione Linux

Link esterni sulla programmazione in linguaggio C:

• G. Santucci, A. Shaerf, "Esercizi d'esame svolti di programmazione C"
• M. Austin, D. Chancogne, "Introduction to Engineering Programming : in C, MATLAB and JAVA — C Programming tutorial"

Link esterni sulla programmazione in Linux/Unix:

• S. Piccardi, "Guida alla Programmazione in Linux"
• A. D. Marshall, "Programming in C — UNIX System Calls and Subroutines using C"
• F. Quaglia, C. Demetrescu, "Programmazione in ambiente Unix"
• M. Mitchell, J. Oldham, A. Samuel, "Advanced Linux Programming"

Link esterni sulla storia dei calcolatori:

• An Illustrated History of Computers
• Old.computers.com: history

Link esterni sulla storia e la filosofia di Unix:

• Dennis M. Ritchie, "The Evolution of the Unix Time-sharing System"
• Eric S. Raymond, "The Art of Unix Programming" (Cap. 2)

Esami

L'esame consiste nello svolgimento di un compito scritto con quesiti teorici, esercizi e scrittura di programmi POSIX/C.

Il programma d'esame per chi deve conseguire cinque crediti sarà identico a quello degli studenti che devono conseguire sei crediti. Come riconoscimento del lavoro in più richiesto agli studenti che devono conseguire cinque crediti, il punteggio relativo al loro compito scritto verrà convertito in un voto come da tabella seguente:

Gli studenti che, pur avendo ottenuto un voto finale sufficiente in una qualunque prova d'esame, non potessero verbalizzare subito, potranno aspettare fino all'ultimo appello utile per l'Anno Accademico 2012-2013 (presumibilmente, la sessione invernale a febbraio 2014). Scaduto tale termine, il voto conseguito non sarà più valido, e lo studente dovrà iscriversi al corso dell'Anno Accademico 2013-2014 e sostenere le relative prove d'esame.

Per informazioni sugli ordinamenti degli studi e le modalità di verbalizzazione si consiglia la consultazione del sito del Consiglio di Corso di Studi di Ingegneria Informatica.

Prove d'esame del precedente anno accademico

09.07.2012, 18.07.2012, 07.09.2012, 17.09.2012, 05.02.2013, 19.02.2013

Calendario delle prove d'esame

La scritta prenotazione obbligatoria significa che per partecipare all'esame è necessaria una doppia prenotazione: su GOCU e su Delphi.

ATTENZIONE: Ciascuno studente potrà partecipare ad un solo appello della sessione invernale, a sua scelta.

Valutazione della didattica

I questionari degli studenti per la valutazione della qualità della didattica sono gestiti automaticamente dal sistema Delphi.

Non sono stati ancora forniti al docente i dati aggregati relativi ai questionari compilati dagli studenti per il precedente anno accademico.

Statistiche sul numero di studenti per A.A. 2011-2012

• I "partecipanti" sono gli studenti che si sono prenotati per almeno una prova d'esame.
• I "valutati" sono gli studenti che hanno consegnato almeno un compito d'esame.
• I "sufficienti" sono gli studenti che hanno conseguito almeno un voto sufficiente.
• Le percentuali sono in rapporto alla categoria superiore in tabella.

Statistiche sul rendimento per A.A. 2011-2012

• Il primo valore è la media, il secondo è la mediana.
• Il "punteggio" è la valutazione del compito.
• Il "voto" tiene conto del bonus per gli studenti che debbono conseguire 5 CFU.
• La maggior parte dei voti verbalizzati per gli studenti da 5 CFU sono il risultato della media tra il voto conseguito in questo esame ed il voto conseguito in Architetture dei calcolatori o in Calcolatori elettronici.