Pokročilé operační systémy

Předchozí rok: 2020/21

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 2020/2021 se přednášky konají ve čtvrtek od 15:40 do 17:10 online v programu Zoom 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 nebo se přihlašte do mailing listu předmětu.

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.

Hodnocení předmětu

Předmět nabízí několik alternativních způsobů zakončení:

• Tradiční písemná zkouška 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ů.
• Praktický projekt s tématem z operačních systémů. Je možné například rozšíření kernelu implementovaného v dřívějších předmětech (například multiprocessing, správa paměti s COW, user mode applications). Konkrétní náplň projektu je nutné dohodnout s garantem předmětu.
• Praktická demonstrace některého z přednesených témat. Je možné vypracovat studijní materiály nabízející praktickou demonstraci některého z přednesených témat, pro další použití v předmětu. Konkrétní obsah materiálů je nutné dohodnout s garantem předmětu.

Doporučená literatura

• Baumann A. et al.: The Multikernel: A New OS Architecture for Scalable Multicore Systems, Proc. ACM SOSP 2009.
• Bonwick J.: The Slab Allocator: An Object-Caching Kernel Memory Allocator, Proc. USENIX Summer Technical Conference 1994.
• Bonwick J. et al.: Magazines and Vmem: Extending the Slab Allocator to Many CPUs and Arbitrary Resources, Proc. USENIX ATC 2001.
• Härtig H. et al.: The Performance of μ-Kernel-Based Systems, Proc. ACM SOSP 1997.
• Heiser G. et al.: L4 Microkernels: The Lessons from 20 Years of Research and Deployment, ACM TOCS Vol. 34 Issue 1, 2016.
• Herder J. et al.: Fault Isolation for Device Drivers, Proc. IEEE DSN 2009.
• Hunt G. et al.: Singularity: Rethinking the Software Stack, ACM SIGOPS OS Review Vol. 41 Issue 2, 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. et al.: Operating Systems Design and Implementation, Prentice Hall, 2006.