Studying at the University of Verona
Here you can find information on the organisational aspects of the Programme, lecture timetables, learning activities and useful contact details for your time at the University, from enrolment to graduation.
Study Plan
This information is intended exclusively for students already enrolled in this course.If you are a new student interested in enrolling, you can find information about the course of study on the course page:
Bachelor's degree in Human Centered Medical System Engineering - Enrollment from 2025/2026The Study Plan includes all modules, teaching and learning activities that each student will need to undertake during their time at the University.
Please select your Study Plan based on your enrollment year.
1° Year
| Modules | Credits | TAF | SSD |
|---|
2° Year activated in the A.Y. 2024/2025
| Modules | Credits | TAF | SSD |
|---|
3° Year activated in the A.Y. 2025/2026
| Modules | Credits | TAF | SSD |
|---|
1 module among the following| Modules | Credits | TAF | SSD |
|---|
| Modules | Credits | TAF | SSD |
|---|
| Modules | Credits | TAF | SSD |
|---|
1 module among the following| Modules | Credits | TAF | SSD |
|---|
Legend | Type of training activity (TTA)
TAF (Type of Educational Activity) All courses and activities are classified into different types of educational activities, indicated by a letter.
Operating systems (2025/2026)
Teaching code
4S009887
Credits
6
Coordinator
Not yet assigned
Language
Italian
Scientific Disciplinary Sector (SSD)
ING-INF/05 - INFORMATION PROCESSING SYSTEMS
Courses Single
Authorized
The teaching is organized as follows:
Teoria
Credits
4
Period
1st semester
Academic staff
Graziano Pravadelli
Laboratorio
Credits
2
Period
1st semester
Academic staff
Samuele Germiniani
Learning objectives
The course aims to introduce the principles of operating systems, regarding the software architecture of an operating system, the management and synchronization of processes and the management of the computing system resources. At the end of the course, students must demonstrate that they have:
- Knowledge and understanding related to the internal organization, functioning and services of an operating system. In particular, they will have understood: the main functions of an operating system in relation to users and application programs, the strategies used by the operating system to manage the resources of a computer, and the techniques used to implement the components of an operating system.
- Ability to apply the acquired knowledge to: develop applications with awareness of how the operating system manages processes, develop applications that use the primitives made available by the operating system, and develop and modify components of an operating system.
- Ability to autonomously evaluate the advantages and disadvantages of different design choices in the context of the services offered by an operating system.
- Ability to carry out a group laboratory project and to present the relative results, motivating the choices with appropriate language.
- Ability to develop the skills necessary to continue studying operating systems, addressing advanced issues related to distributed, real-time and embedded systems.
Program
Theory
---------
* Introduction: Structure and functions of an operating system.
* Process management: Memory image and process states. Context switching. Operations on processes. Cooperation and communication between processes.
* Scheduling: Long-term, medium-term and short-term scheduling. CPU scheduling with and without preemption.
* Synchronization between processes: Data consistency. Critical sections. Synchronization schemes and constructs.
* Deadlock: Conditions for triggering a deadlock. Techniques for prevention, detection and recovery.
* Main memory management: Logical and physical addressing, and address binding. Memory allocation techniques. Virtual memory management.
* Secondary memory management: Storage devices. File system.
Lab:
------------
* System calls for process and thread management
* System calls for inter-process communication
* System calls for inter-process synchronization
* System calls for memory sharing between processes
Learning assessment procedures
The exam consists of two tests: a theory test and a laboratory test. There are no midterm tests. The exam is the same for both attending and non-attending students.
Theory
---------
The theory exam consists of a two-hour written test, typically containing four questions, including two open questions and two exercises.
Laboratory
-------------------
The laboratory exam consists of solving programming exercises on the computer according to the specifications provided by the instructor. The student will be required to discuss and comment on the design choices made during a subsequent oral examination.