Home
People
Research
Seminar
Software
Publications
For Students
Links
Contact
O předmětu
Předmět Pokročilé operační systémy poskytuje formou samostatných přednášek detailní informace o vybraných tématech, která se týkají architektury a implementace operačních systémů. Přednášejícími jsou odborníci z předních softwarových společností věnující se vývoji operačních systémů, předmět tak poskytuje unikátní příležitost pro přímý kontakt se současným vývojem operačních systémů.
V letním semestru 2018/2019 se přednášky konají ve čtvrtek od 15:40 do 17:10 v posluchárně S4 podle harmonogramu uvedeného níže. Harmonogram bude v průběhu semestru průběžně aktualizován, sledujte proto prosím pravidelně tento web.
Přednášky mohou navštěvovat také studenti, kteří předmět nemají zapsán, i zájemci z okruhu laické a odborné veřejnosti. Protože budova MFF UK na Malostranském náměstí není běžně volně přístupná pro nefakultní veřejnost, požádejte v případě potřeby službu na recepci, aby vás do budovy za účelem návštěvy přednášky pustila.
K výměně informací mezi studenty a vyučujícími je určen mailing list. Pro dotazy a připomínky týkající se výuky používejte prosím přednostně tento mailing list. Pokud máte dotaz nebo připomínku, kterou nechcete posílat do mailing listu, můžete také kontaktovat garanta předmětu Petra Tůmu (tuma<at-sign>d3s.mff.cuni.cz).
Harmonogram
| Termín | Přednášející | Téma | Materiály |
|---|---|---|---|
| 21. února 2019 | Petr Tůma (MFF UK) | Introduction, startup matters and topics overview. | Slides |
| 28. února 2019 | Jakub Jermář (Kernkonzept) | Modern OS architectures. Microkernels, unikernels, multikernels. | Slides |
| 7. března 2019 | Lukáš Vrabec (Red Hat) | Security. Security enhanced Linux. | Slides |
| 14. března 2019 | Michal Sekletár (Red Hat) | Service management. Systemd. | Slides |
| 21. března 2019 | Michal Sekletár (Red Hat) | Tracing. Linux ptrace API, profiling, systemtap, eBPF. | Slides |
| 28. března 2019 | Vlastimil Babka (SUSE) | Debugging. Debugging in kernel, kdump, crash, oops reporting. | Slides |
| 4. dubna 2019 | Michal Hocko (SUSE) | Advanced Linux memory management. Huge pages, NUMA, memcg, NVDIMM. | Slides |
| 11. dubna 2019 | Jan Šenolt (Oracle) | Advanced file systems. Journalling, ZFS. | Slides |
| 18. dubna 2019 | Adam Lackorzynski (Kernkonzept) | Virtualization. Hardware support. Containers. | |
| 25. dubna 2019 | Jiří Benc (Red Hat) | Networking. Linux network stack design. | Slides |
| 2. května 2019 | Miroslav Beneš (SUSE) | Live kernel patching. | |
| 9. května 2019 | Roman Kápl, Tomáš Martinec (SYSGO) | Developing safe, secure and real-time OS. | Slides |
| 16. května 2019 | Jiří Kosina (SUSE) | Security. Exploits. | Video |
Hodnocení předmětu
Předmět je zakončen krátkou písemnou zkouškou z přednesených témat. Test se skládá ze dvou částí, první jsou otázky s nabídkou více odpovědí (multiple choice question), druhou jsou otázky na řešení problémů (open question), vše výhradně z přednesených témat. Test je hodnocen bodovou stupnicí, úspěšné řešení vyžaduje získání poloviny maximálního počtu bodů. Po dohodě s garantem předmětu je možné alternativní zakončení předmětu formou vypracování praktického projektu.
Doporučená literatura
- 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
- Bonwick J.: The Slab Allocator: An Object-Caching Kernel Memory Allocator, Proceedings of USENIX Summer 1994 Technical Conference, USENIX Association, 1994
- 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
- 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
- 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
- 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
- Hunt G., Larus J.: Singularity: Rethinking the Software Stack, ACM SIGOPS Operating Systems Review, Volume 41, Issue 2, ACM, 2007
- Levy H.: Capability-Based Computer Systems, Butterworth-Heinemann Newton, 1984
- Nutt G. J.: Operating Systems: A Modern Perspective, Addison Wesley, 2002
- Stallings W.: Operating Systems: Internals and Design Principles, Prentice Hall, 2012
- Tanenbaum A. S., Woodhull A.: Operating Systems Design and Implementation, Prentice Hall, 2006
