- Docente: Paolo Torroni
- Credits: 9
- SSD: ING-INF/05
- Language: English
- Moduli: Paolo Torroni (Modulo 1) Paolo Torroni (Modulo 2)
- Teaching Mode: Traditional lectures (Modulo 1) Traditional lectures (Modulo 2)
- Campus: Bologna
- Corso: Second cycle degree programme (LM) in Automation Engineering (cod. 0931)
Learning outcomes
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.
Course contents
Operating Systems
- Overview
- Operating-System Structures
- Process Concept
- Multithreaded Programming
- Process Scheduling
- Process Coordination
- Process Synchronization
- Deadlocks
- Main Memory Management
- Virtual Memory
- File Concept
- I/O Systems
- Introduction
- Basic Concepts
- Scheduling of Aperiodic Tasks
- Scheduling of Independent Periodic Tasks
- Scheduling of Periodic Tasks with Resource Constraints
Readings/Bibliography
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
Teaching methods
Lectures: theory and exercises, meant to be highly interactive.
Practical LAB sessions on Unix processes, synchronization, and on
the RTAI real-time operating system.
Assessment methods
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.
Teaching tools
Lectures slides are available to students via the AMS Campus
university intranet
Links to further information
http://www.lia.deis.unibo.it/Courses/RTOS/
Office hours
See the website of Paolo Torroni