Sistemi Operativi


Programma del corso

* Richiami sull'architettura hw dei sistemi di elaborazione

* I servizi dei sistemi operativi

* Macchine Astratte Concorrenti

* Architetture di Sistema

* Gestione delle risorse

* Meccanismi di Programmazione Concorrente

* Gestione del processore

* Gestione dei dispositivi

* Gestione dei programmi

* Gestione della memoria

* Gestione del file system

* Cenni su sistemi operativi distribuiti

* Cenni su progetto e architettura di MSDOS


Corso integrativo di laboratorio (solo SIS 2)

* Introduzione a Unix: visione utente e programmazione di sistema

* Il sistema operativo didattico: Minix

* I sistemi MSDOS e Mac/OS

* Linux

I lucidi del Corso integrativo su Minix sono in /home/leporello/students/s2_96/doc


Testi adottati:

* Maestrini, Sistemi operativi, McGraw Hill 1994.

* Tanenbaum: Modern Operating Systems, PrenticeHall, 1991 (ediz. italiana: Jackson Libri, 1994)

Testi di riferimento:

* Andrews: Concurrent Programming, Benjamin-Cummings 1991

* Burns e Davies Concurrent Programming, AddisonWesley 1993

* Bacon Concurrent Systems AddisonWesley 1993

* Kerningham e Pike: The Unix Programming Environment, Prentice Hall, 1984

* Foxley: Unix for SuperUsers, Addison Wesley, 1985 (ediz. italiana: Addison Wesley 1991)


L'esame consiste di uno scritto sulla parte di programmazione concorrente, e un orale su tutti i temi del corso.

In febbraio viene effettuata una prova scritta di programmazione concorrente ("compitino") che se superata dà diritto all'esonero dallo scritto d'appello nonché di fare l'orale in uno qualsiasi degli appelli normali (in pratica l'orale va fatto entro febbraio dell'anno successivo).

Per avere un'idea dello scritto, vedere:

Esercizi appelli e compitini precedenti