Main page | Study Branches/Specializations | Groups of Courses | All Courses | Roles                Instructions

A course is the basic teaching unit, it's design as a medium for a student to acquire comprehensive knowledge and skills indispensable in the given field. A course guarantor is responsible for the factual content of the course.
For each course, there is a department responsible for the course organisation. A person responsible for timetabling for a given department sets a time schedule of teaching and for each class, s/he assigns an instructor and/or an examiner.
Expected time consumption of the course is expressed by a course attribute extent of teaching. For example, extent = 2 +2 indicates two teaching hours of lectures and two teaching hours of seminar (lab) per week.
At the end of each semester, the course instructor has to evaluate the extent to which a student has acquired the expected knowledge and skills. The type of this evaluation is indicated by the attribute completion. So, a course can be completed by just an assessment ('pouze zápočet'), by a graded assessment ('klasifikovaný zápočet'), or by just an examination ('pouze zkouška') or by an assessment and examination ('zápočet a zkouška') .
The difficulty of a given course is evaluated by the amount of ECTS credits.
The course is in session (cf. teaching is going on) during a semester. Each course is offered either in the winter ('zimní') or summer ('letní') semester of an academic year. Exceptionally, a course might be offered in both semesters.
The subject matter of a course is described in various texts.

BIK-OSY.21 Operating Systems Extent of teaching: 14KP+4KC
Instructor: Šoch M., Trdlička J., Tvrdík P. Completion: Z,ZK
Department: 18104 Credits: 5 Semester: L

Annotation:
In this course that is a follow-up of the Unix-like operating systems course students deepen their knowledge in areas of OS kernels, process and thread implementations, race conditions, critical regions, thread scheduling, shared resource allocation and deadlocks, management of virtual memory and data storages, file systems, OS monitoring. They are able to design and implement simple multithreaded applications. General principles are illustrated on operating systems Solaris, Linux, or MS Windows.

Lecture syllabus:
1. Introduction, OS architecture and functionalities, taxonomy of computing systems.
2. Processes and threads. Thread scheduling, context switching, thread states. Race conditions.
3. Thread synchronization - critical regions, busy waiting, mutexes, semaphores, conditional variables, synchronization producer-consumer problem, barriers.
4. Classical synchronization tasks and their solutions.
5. Allocation of shared resources - deadlocks, Coffman's conditions, strategies for deadlock solving.
6. Process/thread implementation. Thread scheduling.
7. Main memory management - virtual memory, memory allocation using dynamic partitioning.
8. Main memory management - virtual memory implemented using paging and segmentation.
9. Main memory management - page replacement algorithms.
10. Data storages - disks, RAID systems, connections to the host computer.
11. File systems - implementations of classical file systems.
12. File systems - implementation in the OS kernel, modern file systems and their advanced functions.
13. Tools for monitoring of OSs.

Seminar syllabus:
1. Programs with multiple threads.
2. Thread synchronisation I. (mutex, condition variables).
3. Thread synchronisation II. (semaphores, barriers).
4. Processes (fork(), exec(),...).
5. Deadlock, physical and virtual memory.
6. Page replacement algorithms.

Literature:
1. Tanenbaum A. S. : Modern Operating Systems (4th Edition). Pearson, 2016. ISBN 978-0133591620.
2. Silberschatz A., Gagne G., Galvin P.B. : Operating System Concepts (10th Edition). Wiley, 2018. ISBN 978-1119456339.
3. Anderson T., Dahlin M. : Operating Systems: Principles and Practice (2nd Edition). Recursive Books, 2014. ISBN 978-0985673529.
4. Stallings W. : Operating Systems: Internals and Design Principles (9th Edition). Pearson, 2017. ISBN 978-0134670959.
5. Arpaci-Dusseau R.H., Arpaci-Dusseau A.C. : Operating Systems: Three Easy Pieces. CreateSpace Independent Publishing Platform, 2018. ISBN 978-1985086593.

Requirements:
Common user-level knowledge of operating systems. Basic knowledge of C/C++ programming.

The course is also part of the following Study plans:
Study Plan Study Branch/Specialization Role Recommended semester
BIK-IB.21 Information Security 2021 (in Czech) PP 4
BIK-SPOL.21 Unspecified Branch/Specialisation of Study PP 4
BIK-PV.21 Computer Systems and Virtualization 2021 (in Czech) PP 4
BIK-PS.21 Computer Networks and Internet 2021 (in Czech) PP 4
BIK-SI.21 Software Engineering 2021 (in Czech) PP 4


Page updated 29. 3. 2024, semester: L/2021-2, Z,L/2023-4, Z/2021-2, Z/2020-1, Z/2019-20, L/2020-1, Z,L/2022-3, L/2019-20, Send comments to the content presented here to Administrator of study plans Design and implementation: J. Novák, I. Halaška