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

Lecturer: Francesco Quaglia

NEW

30/9/2022 - The results of the examination held on 22/9/2022 are available at this link

20/9/2022 - The examination scheduled on 22/9/2022 will be held at 10:30 in Room B2

15/9/2022 - The results of the examination held on 8/9/2022 are available at this link

7/9/2022 - The examination scheduled on 8/9/2022 will be held at 10:30 in Room B4

27/7/2022 - The results of the examination held on 18/7/2022 are available at this link

16/7/2022 - The examination scheduled on 18/7/2022 will be held at 9:00 in Room B4

28/6/2022 - Autumn examinations will be held on September 8 2022 (morning) and on September 22 2022 (morning)

21/6/2022 - The results of the examination held on 13/6/2022 are available at this link

11/6/2022 - The examination scheduled on 13/6/2022 will be held at 10:30 in Room A4

17/5/2022 - Summer examinations will be held on June 13 2022 (morning) and on July 18 2022 (morning)

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

18/2/2022 - The examination scheduled at 21/2/2022 will be held at 10:30 in Room 7

23/1/2022 - The results of the examination held on 18/1/2022 are available at this link

16/1/2022 - The examination scheduled at 18/1/2022 will be held at 9:30 in Room A6

20/12/2021 - The project specification for the academic year 2021/2022 has been posted at this link.

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

19/11/2021 - A homework suggestion deadling with the implementation of a service for thread management has been posted at this link.

18/11/2021 - Winter examinations will be held on January 18 2022 (morning) and on February 21 2022 (morning)

27/10/2021 - A homework suggestion deadling with the implementation of a system call for memory management (named vtpmo) has been posted at this link.

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

4/10/2021 - A homework suggestion deadling with the implementaiton of an RCU list has been posted at this link.

17/9/2021 - This site has been made up and running.

Lecture schedule (starting on 20/9/2021)

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 (2021-2022) - interleaved schedule will drive the presentation

• 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
  • System internal attacks and countermeasures
  • Authentication and habilitation
  • Attacks at the border between hardware and software (e.g., Meltdown, Spectre, L1TF) and countermeasures
  • 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