Questa è una vecchia versione del documento!
Indice
Programma
Obiettivi di apprendimento
Il corso è strutturato in due moduli: il primo modulo presenta i fondamenti dei sistemi operativi e il secondo modulo di laboratorio mostra un’applicazione concreta dei concetti teorici presentati nel primo modulo. Il primo modulo introduce i principi ed i concetti su cui si basano i sistemi operativi e analizza la loro realizzazione nei sistemi reali. In particolare, vengono presentate le tecniche che consentono di coordinare e gestire le risorse di un sistema di elaborazione e che permettono di trasformare la macchina fisica in una macchina astratta, dotata di funzionalità più convenienti per l'utente. Il corso lascia ampio spazio alla descrizione e all'esemplificazione di come i vari concetti presentati sono realizzati nei sistemi Unix/Linux e in quelli della famiglia Microsoft Windows. Il secondo modulo fornisce le conoscenze di base relative alla programmazione C con chiamate di sistema Unix/POSIX. In particolare, vengono prese in considerazione le chiamate standard per il trattamento di file e directory, processi, thread, segnali, pipe, socket e vari meccanismi di sincronizzazione.
Conoscenze. Lo studente raggiungerà la conoscenza delle problematiche dei sistemi operativi e delle caratteristiche dei sistemi attualmente più usati
Capacità. Lo studente raggiungerà la capacità di realizzare programmi in C usando librerie e chiamate di sistema UNIX/Posix.
Comportamenti. Il corso non si pone obiettivi di apprendimento in termini di comportamenti attesi.
Descrizione
Il corso tratta i fondamenti dei moderni sistemi operativi, presentando i concetti di base e la loro applicazione nei sistemi reali. I principali argomenti trattati sono:
- Struttura dei sistemi operativi, nucleo. chiamate di sistema
- Processi e threads
- Gestione della memoria e dei dispositivi di ingresso/uscita
- Archivi e sistema di archiviazione
- Sistemi reali: Unix/Linux, Windows
- Problematiche dei sistemi distribuiti
- Programmazione in C di sistemi UNIX/Posix
Programma Modulo 1: Sistemi Operativi
Introduzione (2 ore)
- Il sistema operativo: ruolo, funzionalità e struttura;
- Evoluzione dei sistemi operativi: batch, multiprogrammazione, time-sharing
- Richiami sul funzionamento dell’elaboratore: interruzioni e loro gestione, I/O,
- Stato del processore, chiamate di sistema.
Organizzazione dei Sistemi Operativi (2 ore)
- Funzionalità
- Struttura: sistemi monolitici e modulari; sistemi stratificati; sistemi a microkernel
- Organizzazione e funzionalità dei sistemi operativi Unix e Windows.
I processi (8 ore)
- Il concetto di processo
- Stati dei processi
- Realizzazione dei processi nel Sistema Operativo
- Operazioni sui processi
- Processi e thread
- La gestione dei processi e dei thread in Unix e in Windows: stati, rappresentazione, gestione (scheduling), operazioni e comandi
Interazione tra processi (8 ore)
- Interazione mediante memoria condivisa: sincronizzazione; sezioni critiche e mutua esclusione; strumenti hardware per la mutua esclusione: test-and-set; semafori
- Interazione mediante scambio di messaggi: comunicazione diretta/indiretta, simmetrica/asimmetrica; buffering.
- Interazione tra processi in Unix: pipe e FIFO; segnali
- Interazione tra processi in Windows
Gestione del processore (4 ore)
- Concetti generali e politiche di scheduling
- Algoritmi di scheduling: FCFS,SJF, con priorità, Round Robin, con code multiple.
- Scheduling in Unix e in Windows.
Gestione della Memoria (10 ore)
- Concetti generali: spazio degli indirizzi logico/fisico; collegamento
- Allocazione della memoria: contigua: a partizione singola e partizioni multiple; frammentazione;
- Allocazione della memoria non contigua: segmentazione; paginazione
- Memoria virtuale
- Gestione della memoria in Unix e in Windows.
Gestione dei dispositivi di I/O (6 ore)
- I dispositivi di I/O e la loro gestione: concetti generali
- Organizzazione e gestione dei dischi
- RAID
Gestione degli Archivi (8 ore)
- File system e sua realizzazione
- Struttura logica; metodi di accesso
- Struttura fisica; allocazione dei file
- Protezione
- Il file system di Unix: organizzazione logica e fisica, comandi e system calls per la gestione e l’accesso a file e directories
- Il file system di Windows
Modulo 2: Laboratorio
• Strumenti per la programmazione C in ambiente GNU (e dintorni) (2h lez + 2h ese) o compilazione e linking o suddivisione di un programma in moduli: gestione(make) e archiviazione (ar) o debugging o cenni ad altri tool • Unix e la shell (6h lez + 6h ese) o Unix: concetti di base, comandi/utility o La shell di Unix introduzione alla shell cenni agli script personalizzazione con alias ed opzioni e variabili espansione (alias, storia, tilde, percorso, variabili, sostituzione di comando, espressioni aritmetiche) quoting Controllo dell'I/O: ridirezione Exit status Combinare comandi pipe sequenza non condizionale sequenze condizionali &&, || comandi composti (uso di {…} e (…) ) Operatori su stringhe (pattern matching) Costrutti di controllo condizionale (if) e test iterazione limitata (for) scelta multipla (case) iterazione illimitata (while e do/while) menu' con select • C e la programmazione di sistema (1h lez) o cos'e' una System Call o gestione sistematica degli errori o consigli pratici di programmazione o convenzioni e commenti • I file (2h lez + 2 h ese) o concetti base dei FS Unix o operazioni di base (open, read, write, close, lseek) o link: concetti e system call per la gestione o manipolare e accedere alle informazioni sui file (stat, fcntl, ioctl) (brevi cenni) o gestione delle directory (opendir,readdir,…,closedir) (brevi cenni) o duplicazione di descrittori (dup e dup2) • I processi (2h lez + 2h ese) o il modello fork/exec o gestione dei figli (wait), exit status o atexit(), _atexit() • I thread (3h lez + 4h ese) o i modello a thread o creazione e distruzione o mutex e variabili di condizione o soluzione ti tipici problemi di concorrenza • Maccanismi di IPC : Pipe (2h lez + 2h ese) o Pipe anonime o Pipe con nome (FIFO) • Maccanismi di IPC : Socket (2h lez + 2h ese) o Modello client-server o Socket per comunicazione locale (AF_UNIX) o Socket per comunicazione in rete (AF_INET) • Segnali (2h lez + 2h ese) o Concetti generali: eventi asincroni, gestori di eventi o Ignorare, gestire, mascherare ed attendere i segnali o Segnali, processi e thread
Ore lezione: 30 Ore esercitazione: 18
Bibliografia
Libro di testo
• Paolo Ancilotti, Maurelio Boari, Anna Ciampolini, Giuseppe Lipari: Sistemi Operativi (Seconda Edizione), Mc Graw-Hill, 2008.
Altri Testi Consigliati:
• Andrew S. Tanenbaum. I Moderni Sistemi Operativi. Jackson Libri Università, 2002 • Andrew S. Tanenbaum. Modern Operating Systems (Third Edition). Pearson-Prentice Hall, 2008 • A. Silbershatz, P. Galvin, G. Gagne: Sistemi Operativi (5^ edizione), Apogeo, 2005 • U