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

Lecturer: Francesco Quaglia

NEW

20/9/2023 - The examination scheduled on 21/9/2023 will be held in Aula A1 at 11:00

10/9/2023 - The results of the examination held on 5/9/2023 are available at this link

4/9/2023 - The examination scheduled on 5/9/2023 will be held in Aula B4 at 15:00

17/7/2023 - The results of the examination held on 13/7/2023 are available at this link

11/7/2023 - The examination scheduled on 13/7/2023 will be held in Aula B4 at 11:00

24/6/2023 - The results of the examination held on 19/6/2023 are available at this link

16/6/2023 - The examination scheduled on 19/6/2023 will be held in Aula B4 at 10:30

9/5/2023 - Summer examinations will be held on June 19 2023 (morning) and on July 13 2023 (morning)

28/2/2023 - The results of the examination held on 22/2/2023 are available at this link

21/2/2023 - The examination scheduled on 22/2/2023 will be held in Aula 6 at 11:00

1/2/2023 - The results of the examination held on 27/1/2023 are available at this link

25/1/2023 - The examination scheduled on 26/1/2023 will be held in Aula C2 at 10:30

13/1/2023 - The project specification for the academic year 2022/2023 has been posted at this link.

21/12/2022 - A suggested homework dealing with the implementation of a device file allowing to control processes in Linux has been posted at this link.

1/12/2022 - The lecture to be held on 2/12/2022 has been cacelled

30/11/2022 - The lecture to be held TODAY (30/11/2022) has been cacelled because of a flu form of the teacher

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

20/11/2022 - Winter examinations will be held on January 26 2023 (morning) and on February 22 2023 (morning)

4/11/2022 - A homework suggestion deadling with the paging scheme in Linux has been posted at this link.

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

14/10/2022 - A homework suggestion deadling with the implementation of an RCU list has been posted at this link.

30/9/2022 - TODAY the lecture will start at 12:00 due to an unpredicted reschedule.

23/9/2022 - This site has been made up and running.

Lecture schedule (starting on 28/9/2022)

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?

• Linux is a fully open OS
• Linux is the dominating OS for public internet servers (it handles over twice the number of Windows servers)
• Linux fully dominates the supercomputing field (nowadays 100% of the TOP500 systems run this OS)
• x86 processors dominate workstation and cloud-computing systems, as well as personal computers and laptops

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

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

• William Stallings, "Operating Systems". Jackson Libri.
• Abraham Silberschatz, Peter B. Galvin, "Operating Systems". Addison - Wesley
• Andrew S. Tanenbaum, "Modern Operating Systems". Jackson Libri.

Useful links (permanently on going)

• x86 documentation
• LINUX kernel source code
• LINUX kernel source code (cross referencing)
• LINUX device drivers
• LINUX internals
• Cross-Referencing Linux
• Understanding The Linux Virtual Memory Manager

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 (2022-2023) - the topics will be presented in interleaved manner

• Hardware insights
  • Pipelining and superscalar processors
  • Speculative hardware
  • Multi-processors and multi-cores
  • Physical memory organization
  • Memory coherency and consistency
  • Hardware synchronization support
  • Advanced interrupt architectures

• Kernel Internals
  • Addressing and software protection models
  • Kernel access GATEs
  • System calls dispatching
  • Memory management
  • Advanced management of interrupts
  • System (kernel) scalability
  • Virtual file system structures
  • Software interactions with the memory hierarchy
  • Linearizability and advanced thread coordination approaches

• Security
  • Attacks at the border between hardware and software (e.g., Meltdown, Spectre, L1TF) and countermeasures
  • System internal attacks and countermeasures
  • Capabilities, protection domains and secure operating systems
  • IDS and Reference Monitor architectures

• Case studies: Linux kernel - x86 architectures
  • Boot basics
  • Main data structures and initialization
  • System call mechanisms
  • Steady state behavior
  • Kernel hacking
  • Modules
  
  
  

Slides and software

Examples of previous examinations

• 28-2-2020
• 24-1-2020
• 16-9-2019
• 17-6-2019