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.
* 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.
| 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 |
L'esame consiste in una prova scritta, contenente domande teoriche ed esercizi, e nella realizzazione di un progetto in laboratorio.
Temi d'esame 2002-2004
(zip, it, 187 KB, 23/03/05)
Temi d'esame 2005
(zip, it, 32 KB, 23/03/05)
© 2024 | Università degli studi di Verona
******** CSS e script comuni siti DOL - frase 9957 ********p>
