First cycle
degree courses
Second cycle
degree courses
Single cycle
degree courses
School of Engineering
Course unit
IN06107631, A.A. 2018/19

Information concerning the students who enrolled in A.Y. 2017/18

Information on the course unit
Degree course First cycle degree in
IN0508, Degree course structure A.Y. 2011/12, A.Y. 2018/19
bring this page
with you
Degree course track Common track
Number of ECTS credits allocated 9.0
Type of assessment Mark
Course unit English denomination OPERATIVE SYSTEMS
Department of reference Department of Information Engineering
E-Learning website
Mandatory attendance No
Language of instruction Italian
Single Course unit The Course unit can be attended under the option Single Course unit attendance
Optional Course unit The Course unit can be chosen as Optional Course unit

Teacher in charge CARLO FERRARI ING-INF/05
Other lecturers MICHELE MORO ING-INF/05

ECTS: details
Type Scientific-Disciplinary Sector Credits allocated
Core courses ING-INF/05 Data Processing Systems 9.0

Course unit organization
Period Second semester
Year 2nd Year
Teaching method frontal

Type of hours Credits Teaching
Hours of
Individual study
Lecture 9.0 72 153.0 No turn

Start of activities 25/02/2019
End of activities 14/06/2019
Show course schedule 2019/20 Reg.2011 course timetable

Examination board
Board From To Members of the board
12 A.A. 2018/2019 01/10/2018 15/03/2020 FERRARI CARLO (Presidente)
MORO MICHELE (Membro Effettivo)
NANNI LORIS (Supplente)
11 A.A. 2017/2018 01/10/2017 15/03/2019 NANNI LORIS (Presidente)
MORO MICHELE (Membro Effettivo)
VANDIN FABIO (Supplente)

Course unit contents: Theory and Evolution of operating systems, Role of an OS and its internal organization
Examples of OS in use, Concurrent programming paradigms and synchronization models.

Basic concepts. Functions of an operating system. Evolution of architectures.
Concurrency and parallelism. Models of concurrent systems. Processes, resources,
interference and cooperation. Constraints in processes evolution.
Precedence Graphs. Deadlock: definition, recognition and prevention.
Petri nets. Synchronization and communication between processes.
Semaphores, mailboxes and messages. Synchronization protocols.
Design of an operating system: organization, resource management,
data structures and algorithms. Main OS subsystems:
Kernel, memory management, input-output devices and drivers,
organization and management of secondary memory,
virtual memory. file system, shell, graphic user interface.
Processes, threads and concurrent programming. Paradigms for concurrent programming. Basic models for synchronization: Mutex, Semaphores, Regions.
High-level constructs: Monitor, Rendez-vous. Examples and exercises of concurrent programs.
Textbooks (and optional supplementary readings)
  • G.Clemente, F.Filira, M.Moro,, Padova:, Sistemi Operativi: Architettura e Programmazione concorrente.. Padova: Libreria Progetto, 2016. Cerca nel catalogo

Innovative teaching methods: Teaching and learning strategies
  • Lecturing
  • Problem based learning
  • Case study
  • Problem solving
  • Loading of files and pages (web pages, Moodle, ...)

Innovative teaching methods: Software or applications used
  • Moodle (files, quizzes, workshops, ...)

Sustainable Development Goals (SDGs)
No Poverty Zero Hunger Good Health and Well-Being Quality Education Gender Equality Clean Water and Sanitation Affordable and Clean Energy Decent Work and Economic Growth Industry, Innovation and Infrastructure Reduced Inequalities Sustainable Cities and Communities Responsible Consumption and Production Climate Action Life Below Water Life on Land Peace, Justice and Strong Institutions Partnerships for the Goals