Programma del corso

SISTEMI OPERATIVI

Ing. Giandomenico Spezzano

(A. A. 1998-1999)

Introduzione

• Concetti fondamentali
• Struttura dei sistemi di elaborazione
• Struttura dei sistemi operativi

Concorrenza nei sistemi operativi

• Processi, Thread
• L'interazione tra processi
• Le risorse
• Schedulazione dei processi
• Algoritmi di scheduling

Comunicazione e sincronizzazione

• Organizzazione dei sistemi concorrenti
• Modelli di programmazione concorrente
• Meccanismi di cooperazione (semafori, monitor, scambio messaggi)

Gestione della memoria

• Tecniche per la gestione della memoria
• Swapping
• Memoria virtuale
• Algoritmi di rimpiazzamento delle pagine

File System

• Caratteristiche del file system
• File e directory
• Implementazione del file system

Protezione e sicurezza

• Meccanismi di protezione
• Sicurezza

Gestione dei dispositivi di Input/Output

• Principi dell'hardware di I/O
• Il software per la gestione dell' I/O
• Dischi, clock, terminali

IL SISTEMA OPERATIVO UNIX

Panoramica di Unix

• Interfacce con Unix
• Login
• La shell di Unix
• Programmi di utilita`

Concetti fondamentali di Unix

• I processi in Unix
• Il modello di memoria di Unix
• Il file system di Unix
• Input e Output in Unix

Chiamate di sistema di Unix

• Primitive per la gestione dei processi
• Primitive per la gestione della memoria
• Primitive per la manipolazione di file e directory
• Primitive per la manipolazione dell'I/O

Implementazione di Unix

• Implementazione di un processo
• Implementazione della gestione della memoria
• Implementazione del file system
• Implementazione dell'I/O

Cenni su altri sistemi operativi (Windows'95, Windows NT)

1. A. Silberschatz, P. Galvin, Sistemi Operativi, Addison-Wesley, 5 ed.
2. B.W. Kernighan, Rob Pike Unix, Zanichelli, 1985.
3. G.L. Davies, Pascal-FC Language Reference Manual, version 5.

TESTI CONSIGLIATI

1. A.S. Tanenbaum, I moderni Sistemi Operativi, Jackson Libri, 1994.
2. A. Burns, G. Davies, Concurrent Programming, Addison-Wesley, 1993.
3. F. Baiardi, M. Vanneschi, Linguaggi per la programmazione concorrente, F. Angeli, 1985.
4. I. Quartiroli, M. Fusaro, S. Smareglia, Unix introduzione al sistema operativo, CLUP, 1983.

ORARIO DEL CORSO

PRENOTAZIONE ESAME