PB152 Operating Systems

Faculty of Informatics
Spring 2025
Extent and Intensity
2/0/0. 2 credit(s) (plus extra credits for completion). Type of Completion: z (credit).
In-person direct teaching
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
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. PB153 is a similar course designed primarily for multidisciplinary study in Computer Science.
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 and communication
    5. Concurrency
    6. Synchronisation
    7. Communication
    8. Interrupts
  • Part 3: Implementation
    9. OS API, POSIX
    10. Files and Networks
    11. Inside a Kernel
    12. Machine Virtualization
Teaching methods
lectures
Assessment methods
Primarily evaluated within PB152cv or PB152zk.
A knowledge test in the last week of the semester: 12 questions with 5 simple statements each, always 2/5 correct. Grading:
• 2 checked → both correct +4, one wrong 0, both wrong -2
• 1 checked → correct +1, incorrect -1
• any other number: 0.
Language of instruction
Czech
Follow-Up Courses
Further Comments
The course is taught annually.
The course is taught: every week.
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 2023, Spring 2024.
  • Enrolment Statistics (Spring 2025, recent)
  • Permalink: https://is.muni.cz/course/fi/spring2025/PB152