Advanced Operating Systems (9 CFU)
Academic Year 2019-2020
Laurea Magistrale in Computer Engineering
University of Rome Tor Vergata

Lecturer: Francesco Quaglia


NEW

18/10/2019 - A suggested homework deadling with the run-time discovery of the positioning of kernel level data structure in Linux has been posted at this link.

18/10/2019 - The slides on kernel level programming basics have been slightly updated.

11/10/2019 - A suggested homework deadling with an alternative TLS implementation has been posted at this link.

20/9/2019 - This site has been made up and running.


Lecture schedule (starting on 23/9/2019)

Monday 9:30-11:15 Room C6
Wednesday 11:30-13:15 Room C12
Friday 11:30-13:15 Room B9

Course objectives and examination rules

The 'Advanced Operating Systems' 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.

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.

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 2019/2020 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 accademic 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 cumulates 30 points can be awarded with 'laude'.


References

Useful links (permanently on going)

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 whathever clarification, arises.


List of planned topics (2018-2019) - interleaved schedule will drive the presentation


Slides and software

Topic Slides Sofware Examples Last Update
Hardware insights download link download link 20/9/2019
Kernel programming basics download link download link 18/10/2019