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 Poznámka
21. února 2019 Petr Tůma (MFF UK) Introduction, startup matters and topics overview.
28. února 2019 Jakub Jermář (Kernkonzept) Modern OS architectures. Microkernels, unikernels, multikernels.
7. března 2019 Lukáš Vrabec (Red Hat) Security. Security enhanced Linux.
14. března 2019 Michal Sekletár (Red Hat) Service management. Systemd.
21. března 2019 Michal Sekletár (Red Hat) Tracing. Linux ptrace API, profiling, systemtap, eBPF.
28. března 2019 Vlastimil Babka (SUSE) Debugging. Debugging in kernel, kdump, crash, oops reporting.
4. dubna 2019 Michal Hocko (SUSE) Advanced Linux memory management. Huge pages, NUMA, memcg, NVDIMM.
11. dubna 2019 Jan Šenolt (Oracle) Advanced file systems. Journalling, ZFS.
18. dubna 2019 Adam Lackorzynski (Kernkonzept) Virtualization. Hardware support. Containers.
25. dubna 2019 Jiří Benc (Red Hat) Networking. Linux network stack design.
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.
16. května 2019 Jiří Kosina (SUSE) Security. Exploits.

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
Logo of Faculty of Mathematics and Physics
  • Phone: +420 951 554 267, +420 951 554 236
  • Email: info<at-sign>d3s.mff.cuni.cz
  •  
  • How to find us?
Modified on 2019-02-12