PB152 Operating Systems

Faculty of Informatics
Spring 2023
Extent and Intensity
2/0/0. 2 credit(s) (plus extra credits for completion). Type of Completion: z (credit).
Teacher(s)
RNDr. Petr Ročkai, Ph.D. (lecturer)
Guaranteed by
RNDr. Petr Ročkai, Ph.D.
Department of Computer Systems and Communications – Faculty of Informatics
Supplier department: Department of Computer Systems and Communications – Faculty of Informatics
Timetable
Thu 16. 2. to Thu 11. 5. Thu 14:00–15:50 D1
Prerequisites
! PB153 Operating Systems Applications &&!NOW( PB153 Operating Systems Applications )
Understanding of computer system architectures to the extent covered in the subject PB150 or PB151.
Course Enrolment Limitations
The course is also offered to the students of the fields other than those the course is directly associated with.
fields of study / plans the course is directly associated with
Course objectives
The subject gives a high-level overview of operating systems and their architectures and key abstractions. Students will learn about the basic components that make up an operating system and how they fit together. Students should also gain a basic understanding of design considerations and internal working of the individual components. Finally, the subject will cover services that the OS provides to user-level programs and to users directly.
Learning outcomes
By the end of the course, the student should be able to:
- explain key abstractions provided by operating systems
- name and describe what makes up an operating system
- explain how the individual components work
- explain basics of resource virtualization: memory, cpu, etc.
- explain principles and problems of concurrency
Syllabus
  • Part 1: Virtualization
    1. Memory Virtualization & Processes
    2. CPU Virtualization & Threads
    3. Storage Virtualization & File Systems
    4. Peripheral Virtualization
  • Part 2: Concurrency
    5. Modeling Concurrency
    6. Taming Concurrency
    7. Communication
    8. Isolation
  • Part 3: Practicalities
    9. OS API, POSIX
    10. Files and Networks
    11. Inside a Kernel
    12. Machine Virtualization
Teaching methods
lectures
Assessment methods
written credit test; primarily evaluated within PB152cv or PB152zk
Language of instruction
Czech
Further Comments
Study Materials
The course is taught annually.
Listed among pre-requisites of other courses
The course is also listed under the following terms Spring 2003, Spring 2004, Spring 2005, Spring 2006, Spring 2007, Spring 2008, Spring 2009, Spring 2010, Spring 2011, Spring 2012, Spring 2013, Spring 2014, Spring 2015, Spring 2016, Spring 2017, Spring 2018, Spring 2019, Spring 2020, Spring 2021, Spring 2022, Spring 2024, Spring 2025.
  • Enrolment Statistics (Spring 2023, recent)
  • Permalink: https://is.muni.cz/course/fi/spring2023/PB152