Sistemi Operativi
per il corso di diploma universitario in Ingegneria Elettronica
anno accademico 2000/01


[Home] | [Didattica]

Posizione originaria: <URL:http://fly.cnuce.cnr.it/didattica/programma00.html>.

Il corso si svolge per un totale di 55 ore, di cui 33 di lezioni (L), in cui si sviluppano nuovi argomenti, 15 di esercitazioni (E), durante le quali si svolgono esercizi in classe, e 7 di laboratorio (S), in cui si effettua pratica al calcolatore o si studia, in classe, una reale implementazione di device driver per sistemi real time.

Fondamenti (10L,2S)

S.O. come macchina virtuale estesa, come gestore delle risorse.
Sistemi multiprogrammati e real-time.
Spazio utente e supervisore, chiamate di sistema.
Gestione dei processi, della memoria, dei file.
Modelli di organizzazione del kernel.
Interfacce verso il programmatore e verso l'utente.
Boot, compilazione, link, rilocazione, caricamento, overlay.

Processi e scheduling (5L,5E)

Programma e processo.
Processi in DOS e in Unix.
Stati di un processo, cambio di contesto, dispatching.
Rescheduling scatenato da interrupt.
Politiche di scheduling, dal round robin al Psos al Posix.

Sincronizzazione fra processi (10L,2E)

Accesso a variabili condivise, mutua esclusione, sezione critica.
Mascheramento degli interrupt, alternanza con variabile di lock, TSL.
Semafori e loro uso, implementazione in Posix e Psos.
Messaggi e variazioni sul tema, implementazione in Posix e Psos.
Condizioni di stallo.

Gestione della memoria e memoria virtuale (4L,6E)

Uso della memoria in DOS.
Uso dello swap su disco e dello swapping con paginazione.
Paginazione, working set, politiche e meccanismi.
Pro e contro della memoria virtuale per i sistemi real time.
Chiamate per la gestione della memoria in Posix e Psos.

Device driver (1L,5S)

Astrazione dei dispositivi hardware.
I device driver in Posix e Psos.
Operazioni bloccanti, non bloccanti, sincrone, asincrone.

I file system (3L,2E)

Il file system del DOS.
File sistem gerarchici, accesso ai file e alle directory.
Diritti di accesso ai file in Unix e in NT.
Metodi di backup.
Sistemi a dischi RAID.

Testi di riferimento

A. Silberschatz e P. Galvin, «Operating systems concepts», Addison-Wesley, 1998
Un buon testo, moderno, con una ben scelta successione degli argomenti, utile anche per il futuro come testo di riferimento.
Manuale PSOS
Manuale di riferimento del sistema operativo real-time usato come caso di studio del corso.

Modalitą di svolgimento degli esami

Durante l'anno vengono svolti tre compitini, ognuno della durata di quindici minuti. Ogni compitino dą un punteggio da 0 a 11, per un totale massimo dei tre compitini da 0 a 30. Il totale dei tre compitini č valido in sostituzione del punteggio della prova orale.