Sistemi operativi avanzati (2004/2005)

Corso a esaurimento

Codice insegnamento
4S00067
Docente
Graziano Pravadelli
crediti
5
Altri corsi di studio in cui è offerto
Settore disciplinare
ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
Lingua di erogazione
Italiano
Periodo
2° Q dal 10-gen-2005 al 11-mar-2005.

Orario lezioni

2° Q
Giorno Ora Tipo Luogo Note
lunedì 14.30 - 16.30 lezione Aula D  
venerdì 8.30 - 11.30 lezione Aula C  

Obiettivi formativi

Il corso presenta gli aspetti teorici ed implementativi di speciali classi di sistemi operativi, in particolare, i sistemi operativi distribuiti e i sistemi operativi real-time.
Tali aspetti verranno approfonditi con esercitazioni pratiche di laboratorio.
Il corso viene svolto in 44 ore tra lezioni ed esercitazioni in laboratorio, distribuite in un unico periodo didattico.

Programma

* Introduzione:
- Classi di sistemi operativi non convenzionali
° sistemi operativi distribuiti
° sistemi operativi multiprocessore
° sistemi real-time
° sistemi operativi embedded
- Strutture di sistemi operativi non convenzionali
° microkernel
° cluster
- Esempi di sistemi operativi dei vari tipi

* Sistemi Operativi Distribuiti:
- Problematiche
- Architetture HW e SW
- Metriche di progetto (trasparenza, flessibilità, affidabilità, scalabilità)
- La comunicazione nei sistemi distribuiti
° protocolli
° modello client-server.

* La sincronizzazione nei sistemi distribuiti:
- Sincronizzazione dei clock
- Mutua esclusione e transazioni atomiche
- Deadlock

* File system distribuiti:
- Problematiche ed implementazione
- Naming e caching
- Casi di studio: NFS, LFS, AFS

* Memoria Condivisa Distribuita:
- Modello concettuale
- Implementazioni
- Problema della consistenza e relativi modelli

*Sistemi operativi real-time
- Problematiche e vincoli
° determinismo
° reattività
° affidabilità
- Esempi di sistemi real-time

* Scheduling nei sistemi operativi real-time:
- Concetto di clock, deadline, e timeout
- Scheduling a priorità
- Deadline scheduling
- Scheduling di task aperiodi e periodici

* Sistemi embedded e sistemi operativi real-time:
- Sistemi embedded
° Applicazioni e problematiche
° Sistemi operativi embedded
° Implementazione delle funzionalità con vincoli di consumo di potenza
. scheduling a basso consumo
. file system a basso consumo
. meccanismi di power management

* Esercitazioni di laboratorio:
- Implementazione di alcune funzionalità su un sistema operativo real-time open source.

Testi di riferimento
Autore Titolo Casa editrice Anno ISBN Note
A.Tanenbaum Disitributed Operating Systems Prentice Hall 1994 0132199084
Giorgio Buttazzo "HARD REAL-TIME COMPUTING SYSTEMS: Predictable Scheduling Algorithms and Applications", Kluwer Academic Publishers 1997
W. Stallings Operating Systems - Internal and Design Principles (Edizione 3) Prentice Hall 1998 0138874077

Modalità d'esame

L'esame consiste in una prova scritta, contenente domande teoriche ed esercizi, e nella realizzazione di un progetto in laboratorio.

Materiale didattico

Documenti

Opinione studenti frequentanti - 2004/2005


Statistiche per i requisiti di trasparenza (Attuazione Art. 2 del D.M. 31/10/2007, n. 544)

Statistiche esiti
Esiti Esami Esiti Percentuali Media voti Deviazione Standard
Positivi 66.66% 28 2
Respinti --
Assenti --
Ritirati --
Annullati 33.33%
Distribuzione degli esiti positivi
18 19 20 21 22 23 24 25 26 27 28 29 30 30 e Lode
0.0% 0.0% 0.0% 0.0% 0.0% 0.0% 0.0% 0.0% 50.0% 0.0% 0.0% 0.0% 0.0% 50.0%

Valori relativi all'AA 2004/2005 calcolati su un totale di 3 iscritti. I valori in percentuale sono arrotondati al numero intero più vicino.