Advanced Operating Systems (2004/2005)

Course partially running

Course code
4S00067
Name of lecturer
Graziano Pravadelli
Number of ECTS credits allocated
5
Other available courses
Academic sector
ING-INF/05 - INFORMATION PROCESSING SYSTEMS
Language of instruction
Italian
Location
VERONA
Period
Second four-month term dal Jan 10, 2005 al Mar 11, 2005.

Lesson timetable

Second four-month term
Day Time Type Place Note
Monday 2:30 PM - 4:30 PM lesson Lecture Hall D  
Friday 8:30 AM - 11:30 AM lesson Lecture Hall C  

Learning outcomes

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.

Syllabus

* 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.

Reference books
Author Title Publisher Year 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

Assessment methods and criteria

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

Teaching aids

Documents