First cycle
degree courses
Second cycle
degree courses
Single cycle
degree courses
School of Engineering
COMPUTER ENGINEERING
Course unit
OPERATIVE SYSTEMS
IN06107631, A.A. 2017/18

Information concerning the students who enrolled in A.Y. 2016/17

Information on the course unit
Degree course First cycle degree in
COMPUTER ENGINEERING
IN0508, Degree course structure A.Y. 2011/12, A.Y. 2017/18
N0
bring this page
with you
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 https://elearning.dei.unipd.it/course/view.php?idnumber=2017-IN0508-000ZZ-2016-IN06107631-N0
Mandatory attendance No
Language of instruction Italian
Branch PADOVA
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

Lecturers
Teacher in charge LORIS NANNI 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
Hours of
Individual study
Shifts
Lecture 9.0 72 153.0 No turn

Calendar
Start of activities 26/02/2018
End of activities 01/06/2018
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)
GHIDONI STEFANO (Supplente)
MIGLIARDI MAURO (Supplente)
NANNI LORIS (Supplente)
ZINGIRIAN NICOLA (Supplente)
11 A.A. 2017/2018 01/10/2017 15/03/2019 NANNI LORIS (Presidente)
MORO MICHELE (Membro Effettivo)
FANTOZZI CARLO (Supplente)
VANDIN FABIO (Supplente)
10 A.A. 2016/2017 01/10/2016 15/03/2018 MORO MICHELE (Presidente)
MIGLIARDI MAURO (Membro Effettivo)

Syllabus
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.
Scheduling.
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)