SubjectsSubjects(version: 901)
Course, academic year 2021/2022
Advanced Operating Systems - NSWI161
Title: Pokročilé operační systémy
Guaranteed by: Department of Distributed and Dependable Systems (32-KDSS)
Faculty: Faculty of Mathematics and Physics
Actual: from 2018
Semester: summer
E-Credits: 3
Hours per week, examination: summer s.:2/0 Ex [hours/week]
Capacity: unlimited
Min. number of students: 5
Virtual mobility / capacity: no
State of the course: taught
Language: Czech, English
Teaching methods: full-time
Additional information:
Guarantor: prof. Ing. Petr Tůma, Dr.
Class: Informatika Mgr. - Softwarové systémy
Classification: Informatics > Software Engineering
Pre-requisite : NSWI004
Annotation -
Last update: doc. RNDr. Petr Hnětynka, Ph.D. (26.05.2022)
The course offers a detailed look at the internals of contemporary operating systems. It loosely continues the NSWI004 Operating Systems course, offering advanced lectures on selected topics related to the operating systems architecture and implementation, prepared in cooperation with experts from commercial software companies.
Course completion requirements - Czech
Last update: prof. Ing. Petr Tůma, Dr. (26.05.2022)

Účast na přednáškách není povinná.

Předmět nemá cvičení.

Předmět je zakončen písemnou zkouškou, tvořenou ze dvou částí.

První část je test z otázek s nabídkou více odpovědí (multiple choice question) z přednesených témat.

Druhá část je test z otázek na řešení problémů (open question) opět z přednesených témat.

Test je hodnocen bodovou stupnicí, úspěšné řešení vyžaduje získání poloviny bodů.

Literature -
Last update: Tajemník Katedry (20.04.2016)

[1] Baumann A., Barham P., Dagand P.-E., Harris T., Isaacs R., Peter S., Roscoe T., Schüpbach A., Singhania A.: The Multikernel: A New OS Architecture for Scalable Multicore Systems, Proceedings of the 22nd Symposium on Operating Systems Principles, ACM, 2009

[2] Bonwick J.: The Slab Allocator: An Object-Caching Kernel Memory Allocator, Proceedings of USENIX Summer 1994 Technical Conference, USENIX Association, 1994

[3] Bonwick J., Adams J.: Magazines and Vmem: Extending the Slab Allocator to Many CPUs and Arbitrary Resources, Proceedings of the GeneralTrack, USENIX Annual Technical Conference, USENIX Association, 2001

[4] Härtig H., Hohmuth M., Liedtke J., Schönberg S., Wolter J.: The Performance of μ-Kernel-Based Systems, Proceedings of 16th ACM Symposium on Operating Systems Principles (SOSP), ACM, 1997

[5] Heiser G., Elphinstone K.: L4 Microkernels: The Lessons from 20 Years of Research and Deployment, ACM Transactions on Computer Systems (TOCS), Volume 34, Issue 1, 2016

[6] Herder J., Gras B., Homburg P., Tanenbaum A. S.: Fault Isolation for Device Drivers, Proceedings of the International Conference on Dependable Systems & Networks, IEEE, 2009

[7] Hunt G., Larus J.: Singularity: Rethinking the Software Stack, ACM SIGOPS Operating Systems Review, Volume 41, Issue 2, ACM, 2007

[8] Levy H.: Capability-Based Computer Systems, Butterworth-Heinemann Newton, 1984

[9] Nutt G. J.: Operating Systems: A Modern Perspective, Addison Wesley, 2002

[10] Stallings W.: Operating Systems: Internals and Design Principles, Prentice Hall, 2012

[11] Tanenbaum A. S., Woodhull A.: Operating Systems Design and Implementation, Prentice Hall, 2006

Syllabus -
Last update: prof. Ing. Petr Tůma, Dr. (26.05.2022)

The course consists of technical lectures related to current practices and

new trends in the operating systems domain, as offered by operating system

experts from commercial software companies. The lectures are based on

practical development activities of the speakers, and provide the

students both with theoretical background and directly applicable


Common operating system topics covered in the lectures include (the list is not exhaustive):

  • nonconventional operating system architectures
  • synchronization, highly parallel hardware
  • resource management, service management
  • instrumentation, observability
  • reliability, updates
  • security mechanisms
  • memory management
  • virtualization
  • networking
  • file systems

The actual list of lectures may be updated to reflect the availability of the individual speakers.

Charles University | Information system of Charles University |