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.
Last update: doc. RNDr. Petr Hnětynka, Ph.D. (26.05.2022)
Předmět je určen zájemcům o detailní pohled do fungování dnešních operačních systémů.
Volně navazuje na základní kurz NSWI004 Operační systémy a ve spolupráci s
odborníky z komerčních softwarových společností se věnuje pokročilým
tématům z oblasti architektury a implementace operačních systémů.
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
[11] Tanenbaum A. S., Woodhull A.: Operating Systems Design and Implementation, Prentice Hall, 2006
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