Advanced Operating Systems (and System Security) (9 CFU)
Academic Year 2024-2025
Laurea Magistrale in Computer Engineering
University of Rome Tor Vergata

Lecturer: Francesco Quaglia


NEW

18/12/2024 - The lecture scheduled on 19/12/2024 will start at 3:00 PM

17/12/2024 - The project specification for the academic year 2024/2025 will be discussed on 9/1/2025 (at 14:30 in Room B5)

11/12/2024 - Students are invited to participate in the cyberchallenge 2025, information for which can be found at this link

11/12/2024 - The lecture scheduled on 12/12/2024 has been cancelled

21/11/2024 - A homework suggestion deadling with the implementation of a blocking queuing service for thread management has been posted at this link

28/10/2024 - Winter examinations will be held on January 23 2025 (afternoon) and on February 27 2025 (afternoon)

16/10/2024 - A homework suggestion deadling with an alternative TLS implementation has been posted at this link.

13/10/2024 - The kernel level stuff used for the demos on Meltdown and Spectre is available at this link.
9/10/2024 - The lecture scheduled on 10/10/2024 will start at 14:30 (rather than 14:00).
20/9/2024 - This site has been made up and running.

Lecture Schedule (starting on 23/9/2024)

Day Time Room
Monday 11:30-13:15 Room B13
Wednesday 11:30-13:15 Room B13
Thursday 14:00-15:45 Room B5

Course Objectives

The 'Advanced Operating Systems and System Security' course aims at presenting advanced design/implementation methods and techniques for modern operating systems. It will also provide insights on actual hardware operations in modern processors (including implicit and explicit parallelism) and how these impact software design approaches.

The topics dealt with by the course are bound to case studies oriented to Linux systems and x86 compliant processors. A strong focus on system-level security aspects will be made, which will include the analysis of the correlation between hardware and software as well as advanced methods and techniques for system security. The course requires basic knowledge on the structure and functionalities of operating systems, and knowledge on C/ASM programming.

NOTE: Why Linux? Why x86?

The lecture flow will be based on presenting concepts in combination with software/running examples. Both the slides and the software examples will be made available while delivering the course, clearly in advance to discussing them at any lecture. The slides as well as the software examples can be accessed and downloaded from links posted in a bottom section of this web page.


Examination Rules

The examination consists of a written test (where a set of questions will be proposed) and additionally requires the development of software sub-systems (a project) to be embedded within the Linux kernel, whose specification for the academic year 2024/2025 will be posted during the course delivery. Projects are individual and each student is supposed to finalize both parts of the examination within the same academic year. The delivery of the software project does not need to coincide with the scheduled examination dates. Rather, students can deliver their projects at any student reception (see this link).

As for the evaluation, the first part (questions and answers) accounts for 18 points, while the project accounts for 12 points. In any case, both parts of the examination have thresholds for their acceptance. The thresholds are the following ones: 11 points for the first part and 7 for the project. In the event of an exceptionally well-done project and/or exceptionally well-replied questions, a student who accumulates 30 points can be awarded with 'laude'.


References


Useful Links (permanently ongoing)


IMPORTANT NOTICE

Even though the above references and links are provided, I must alert students that no unique hand-book can fully cover the presented topics (and/or the way of presenting them). Hope this will be an added value to the course, rather than a limitation. Please come to any available student reception as soon as any doubt, or the need for whatever clarification, arises.


List of Planned Topics (2024-2025) - To be presented in interleaved manner


Slides and Software

Topic Slides Software Examples Latest Update
Hardware insights Download Download 24/9/2024
Kernel programming basics Download Download 13/10/2024
Kernel level memory management Download Download 27/10/2024
Cross ring data move Download Download 5/11/2024
Linux modules Download Download 10/11/2024
Kernel level task management Download Download 17/11/2024
Trap/interrupt architecture Download Download 1/12/2024
Virtual file system Download Download 9/12/2024
Software security Download Download 17/12/2024

Examples of Previous Examinations