To provide: (1) skills on the structure of a generic modern operating system and an understanding of virtualization principles and hardware and software virtualization techniques; (2) skills on the structure of a Unix operating system with a specific focus on Linux, also integrating an overview of virtualization; (3) knowledge of specific methodologies used to address typical resource management issues in a modern operating system, with an additional emphasis on challenges and solutions in resource management within virtualized environments; (4) proficiency in using a Unix platform and virtualization systems at a user level; (5) skills in system and concurrent programming.
teacher profile teaching materials
- Processor virtualization
- Memory virtualization
- Concurrent programming
- Storage virtualization
Programme
- Introduction to Operating Systems- Processor virtualization
- Memory virtualization
- Concurrent programming
- Storage virtualization
Core Documentation
Remzi H. Arpaci-Dusseau and Andrea C. Arpaci-Dusseau, Operating Systems: Three Easy Pieces, https://pages.cs.wisc.edu/~remzi/OSTEP/Reference Bibliography
Remzi H. Arpaci-Dusseau and Andrea C. Arpaci-Dusseau, Operating Systems: Three Easy Pieces, https://pages.cs.wisc.edu/~remzi/OSTEP/Attendance
In presence, 3 weekly lessonsType of evaluation
The exam is based on questions regarding theory and programming exercises to be solved in a laboratory teacher profile teaching materials
- Processor virtualization
- Memory virtualization
- Concurrent programming
- Storage virtualization
Programme
- Introduction to Operating Systems- Processor virtualization
- Memory virtualization
- Concurrent programming
- Storage virtualization
Core Documentation
Remzi H. Arpaci-Dusseau and Andrea C. Arpaci-Dusseau, Operating Systems: Three Easy Pieces, https://pages.cs.wisc.edu/~remzi/OSTEP/Reference Bibliography
Remzi H. Arpaci-Dusseau and Andrea C. Arpaci-Dusseau, Operating Systems: Three Easy Pieces, https://pages.cs.wisc.edu/~remzi/OSTEP/Attendance
Attendance is not mandatory.Type of evaluation
The exam is based on questions regarding theory and programming exercises to be solved in a laboratory