Detail předmětu
Pokročilé operační systémy
FIT-POSAk. rok: 2020/2021
Základní pojmy, jádro operačního systému a jeho struktura. Problematika paralelního programování a synchronizace se zaměřením na synchronizaci v jádře operačních systémů. Uváznutí, metody detekce a prevence. Plánovací algoritmy pro jednoprocesorové systémy. Správa paměti, virtuální paměť, stránkování, implementace virtuální paměti. Vstup a výstup, synchronní a asynchronní operace, ovladače, optimalizace diskových operací. Systémy souborů, metody přidělování diskového prostoru, organizace metadat, odolnost vůči výpadku, příklady systémů souborů. Bezpečnost a ochrana dat.
Garant předmětu
Zajišťuje ústav
Výsledky učení předmětu
Schopnost navrhovat paralelní programy s vlákny POSIX 1003.1, znalost použití synchronizačních nástrojů, virtuální paměti a systémů souborů.
Hlubší znalosti funkce výpočetních systémů a systémového programování.
Prerekvizity
Programování v jazyce C v prostředí Unixu, architektura výpočetních systémů, asembler Intel x86, základní principy funkce operačních systémů.
- doporučená prerekvizita
Doporučená nebo povinná literatura
Andrews, G.R.: Foundations of Multithreaded, Parallel, and Distributed Programming, Addison-Wesley, 2000, ISBN 0-201-35752-6
Bic, L., Shaw, A.C.: Operating Systems Principles, Prentice-Hall, 2003, ISBN 0-13-026611-6
Stevens, W.,R.: Advanced Programming in the UNIX Environment: Third Edition, Addison-Wesley Professional, 2013, ISBN 0-321-63773-9
Nutt, G.J.: Operating Systems: A Modern Perspective, Addison-Wesley, 2000, ISBN 0-201-61251-8
Vahalia, U.: Unix Internals: The New Frontiers, Prentice-Hall, 1996, ISBN 0-13-101908-2
Schimmel, K.: UNIX Systems for Modern Architectures: Symmetric Multiprocessing and Caching for Kernel Programmers, Addison-Wesley, 1994, ISBN 0-201-63338-8
McKusick, M.K., Neville-Neil, G.V.: The Design and Implementation of the FreeBSD Operating System, Addison-Wesley, 2004, ISBN 0-201-70245-2
Způsob a kritéria hodnocení
V polovině semestru písemnou prací s hodnocením 15 bodů. Půlsemestrální práce nemá opravný termín. Projekty musí být odevzdány do zveřejněného data, pozdní odevzdání projektu je hodnoceno 0 body.
Jazyk výuky
čeština
Cíl
Seznámit s principy a mechanismy na nichž jsou založena jádra moderních operačních systémů.
Vymezení kontrolované výuky a způsob jejího provádění a formy nahrazování zameškané výuky
Znalosti studentů jsou ověřovány vypracováním projektů, půlsemestrální písemnou prací a závěrečnou zkouškou.
Zařazení předmětu ve studijních plánech
- Program IT-MGR-2 magisterský navazující
obor MBS , libovolný ročník, letní semestr, 5 kreditů, povinně volitelný
obor MBI , libovolný ročník, letní semestr, 5 kreditů, povinně volitelný
obor MIN , libovolný ročník, letní semestr, 5 kreditů, volitelný
obor MMI , libovolný ročník, letní semestr, 5 kreditů, povinně volitelný
obor MMM , libovolný ročník, letní semestr, 5 kreditů, volitelný
obor MPV , libovolný ročník, letní semestr, 5 kreditů, volitelný - Program MITAI magisterský navazující
specializace NBIO , libovolný ročník, letní semestr, 5 kreditů, volitelný
specializace NISD , libovolný ročník, letní semestr, 5 kreditů, volitelný
specializace NISY , libovolný ročník, letní semestr, 5 kreditů, volitelný
specializace NIDE , libovolný ročník, letní semestr, 5 kreditů, volitelný
specializace NCPS , libovolný ročník, letní semestr, 5 kreditů, volitelný
specializace NSEC , libovolný ročník, letní semestr, 5 kreditů, volitelný
specializace NMAT , libovolný ročník, letní semestr, 5 kreditů, volitelný
specializace NGRI , libovolný ročník, letní semestr, 5 kreditů, volitelný
specializace NNET , libovolný ročník, letní semestr, 5 kreditů, volitelný
specializace NVIZ , libovolný ročník, letní semestr, 5 kreditů, volitelný
specializace NSEN , libovolný ročník, letní semestr, 5 kreditů, volitelný
specializace NMAL , libovolný ročník, letní semestr, 5 kreditů, volitelný
specializace NHPC , libovolný ročník, letní semestr, 5 kreditů, volitelný
specializace NVER , libovolný ročník, letní semestr, 5 kreditů, volitelný
specializace NEMB , libovolný ročník, letní semestr, 5 kreditů, volitelný
specializace NADE , libovolný ročník, letní semestr, 5 kreditů, volitelný
specializace NSPE , libovolný ročník, letní semestr, 5 kreditů, volitelný - Program IT-MGR-2 magisterský navazující
obor MIS , 1. ročník, letní semestr, 5 kreditů, povinný
obor MSK , 1. ročník, letní semestr, 5 kreditů, povinně volitelný
obor MGM , 2. ročník, letní semestr, 5 kreditů, volitelný
Typ (způsob) výuky
Přednáška
39 hod., nepovinná
Vyučující / Lektor
Osnova
- Struktura jádra, rozhraní jádra, volání jádra a přepínání kontextu. Rozhraní systémů Unix, postup standardizace a standardy XPG, POSIX a ISO.
- Procesy a vlákna dle standardu POSIX 1003.1, vytváření procesů a vláken, implementace vláken.
- Úvod do paralelního programování, synchronizace a prostředky synchronizace, paměťové modely. Implementace vzájemného vyloučení atomickými operacemi čtení a zápisu.
- Metody synchronizace speciálními atomickými instrukcemi v jednoprocesorových a víceprocesorových systémech se sdílenou pamětí, binární semafory, inverze priority.
- Synchronizační nástroje a jazykové konstrukce, klasické synchronizační úlohy.
- Plánování procesoru, strategie a implementace, plánovací algoritmy pro jednoprocesorové a víceprocesorové systémy.
- Přidělování prostředků, uváznutí, detekce uváznutí a vyhnutí se uváznutí pro SR a CR prostředky.
- Správa paměti, organizace paměti, stránkování, tabulka stránek a TLB.
- Virtuální paměť, stránkovací algoritmus, nahrazovací algoritmy pro pevný a proměnný počet rámců.
- Implementace virtuální paměti a problematika použití virtuální paměti - lokalita, zamykání stránek, sdílení stránek, dynamické knihovny, virtualizace souborů, paměťové nároky jádra.
- Vstup a výstup, ovladače, synchronní a asynchronní V/V, optimalizace diskových operací.
- Systémy souborů, organizace, přidělování diskového prostoru, ochrana, zotavení, systémy souborů Unix UFS, BSD FFS, Linux EXT, Solaris ZFS a žurnálové systémy souborů.
- Ochrana a bezpečnost, ochrana dat, bezpečnostní rizika.
Projekt
13 hod., povinná
Vyučující / Lektor
Osnova
Dva projekty v rozsahu 13 hod. hodnocené 20 body na téma:
- Spouštění vláken a synchronizace v Unixu.
- Předávání zpráv mezi procesy v Unixu.
- Zasílání signálů a obsluha signálů v Unixu.