- Docente: Paolo Torroni
- Crediti formativi: 9
- SSD: ING-INF/05
- Lingua di insegnamento: Inglese
- Moduli: Paolo Torroni (Modulo 1) Paolo Torroni (Modulo 2)
- Modalità didattica: Convenzionale - Lezioni in presenza (Modulo 1) Convenzionale - Lezioni in presenza (Modulo 2)
- Campus: Bologna
- Corso: Laurea Magistrale in Ingegneria dell'automazione (cod. 0931)
Conoscenze e abilità da conseguire
Knowledge of the principles, reference models and design issues concerning the organization of concurrent systems subject to real-time constraints. Exemplification of the theoretical and methodological topics with regard to design patterns typical of the industrial automation scenario.
Contenuti
Sistemi Operativi
- Vista d'insieme
- Strutture dei sistemi operativi
- Il concetto di processo
- Programmazione a thread
- Scheduling di processi
- Coordinamento
- Sincronizzazione
- Deadlock
- Gestione della memoria principale
- Memoria virtuale
- Il concetto di File
- Sistemi di input/output
- Introduzione
- Concetti di base
- Scheduling di processi aperiodici
- Scheduling di processi periodici indipendenti
- Scheduling di processi periodici con accesso a risorse condivise
Testi/Bibliografia
Abraham Silberschatz, Peter B. Galvin, Greg Gagne. Operating System
Concepts, 8th or 9th Edition. International Student Version.
Wiley 2010 (2013)
Chapters 1 — 9 & 13
Giorgio C. Buttazzo. Hard Real-Time Computing Systems: Predictable
Scheduling Algorithms and Applications, 3rd Edition. Springer
2011
Chapters 1 — 4 & 7
Metodi didattici
Lectures: theory and exercises, meant to be highly interactive. Practical LAB sessions on Unix processes, synchronization, and on the RTAI real-time operating system.
Modalità di verifica e valutazione dell'apprendimento
There are two possibilities for taking the exam: either with
midterms+final exam, or with a single standard exam.
The exam consists of open questions, quizzes, exercises, and code
analysis.
Strumenti a supporto della didattica
Lectures slides are available to students via the AMS Campus university intranet
Link ad altre eventuali informazioni
http://www.lia.deis.unibo.it/Courses/RTOS/
Orario di ricevimento
Consulta il sito web di Paolo Torroni