IOS: Informace pro studenty (letní semestr 2012/2013)


Informace, termíny:

Zde se objevují upozornění na nové závažné informace, blížící se termíny apod.
  • Byly zveřejněny výsledky řádného termínu semestrální zkoušky. Možnost nahlédnout do opravených zkoušek bude v pondělí 27.5. od 17:00 do 18:00 v místnosti A112.

  • Ústní přezkoušení k případné korekci známky se bude za podmínek uvedených níže (!!!) konat ve stejný den večer, konkrétně od 18:00 do 19:00 v kanceláři A215. Několik poznámek:

    • Pozor! Ústní korekce hodnocení připadá do úvahy pouze naprosto výjimečně, a to pouze pokud jsou současně splněny obě následující podmínky:
      1. jedná se o max. 2 body,
      2. dotyčný student je zapsán na presenční listině z přednášky.

    • Navíc upozorňuji, že pokud jsou splněny výše uvedené podmínky, bude dotyčný přezkoušen a body mu budou přidány pouze po vynikajícím (tj. nikoliv průměrném) zodpovězení otázek ze zkoušky i jiných, podobných těm ze zkoušky (dotyčný dostane např. otázku typu "zapište v pseudokódu mechanismus XYZ", postaví se k tabuli a bude psát příslušný kód; pokud nebude, dozkoušení okamžitě končí (tím opravdu myslím řád sekund); pokud pseudokód napíše, v zápětí spolu rozebereme jeho princip apod.). Žádný jiný mechanismus korekce výsledku není možný a jakákoliv diskuse v tomto směru je ztrátou času.

    • Ještě jednou: Chcete-li se pokusit o ústní korekci, přijďte prosím opravdu perfektně připraveni. Snaha jen tak "ukecat" nějaký ten bod vypluje na povrch po pár vteřinách. Otázky typu "nenašel by se tam 1 bod" pak považuji přímo za neslušné.

    • S ohledem na to, aby se netvořily fronty, zkuste prosím své návštěvy trošku rozložit v čase s ohledem na pořadí svého jména v abecedě: studenti se jmény ze začátku abecedy by měli přijít spíše dříve a naopak.

  • 1. opravný termín se koná ve středu 29.5. Zkouška se koná od 8:30 do 10:30.

    • Na zkoušku je zapotřebí se registrovat v IS. Registrace končí v pondělí 27.5. ve 23:59:59 CEST. Za pozdní doregistraci je bodová srážka až 15 bodů.

    • Vezměte si s sebou čisté listy papíru na vaše odpovědi (cca 4 listy).

    • Vezměte si s sebou studijní průkazy pro možnost kontroly vaší identity.

    • Rozdělení studentů pro tuto zkoušku do jednotlivých místností se objeví v úterý 28.5. odpoledne.




Plán výuky

přehled látky, základní informace
Cílové znalosti: v rozsahu přednášek.

Přednášky

  • Texty přednášek (jsou postupně doplňovány a jsou dostupné také v informačním systému FIT):
    • Úvod, základní pojmy, struktura a historie OS, ...: pdf
    • Úvod do Unixu: pdf
    • Shell a utility: pdf
    • Souborové systémy a I/O: pdf (cast 1)
    • Procesy, plánování, meziprocesová komunikace: pdf
    • Synchronizace procesů, problém uváznutí: pdf
    • Správa paměti, virtuální paměť: pdf


  • Archiv s drobnými experimenty z přednášek je k dispozici zde. Upozornění: jedná se o příklady, které jsou zlehka připraveny pro demonstraci na přednášce, nejsou proto doplněny takřka žádnými komentáři a bez shlédnutí patřičné přednášky nemusí dávat smysl!

*** Wikipedia -- encyklopedie, velice vhodná k rychlému vyhledání významu různých pojmů, zkratek apod. Některé pojmy jsou zde vysvětleny i rozsáhleji (např. co je to OS, jádro OS, ...) a lze je velice dobře využít při doplňování poznámek z přednášek. Je zde také řada odkazů, kde pokračovat v dalším čtení. Ovšem informace zde uvedené jsou bez záruky, je zapotřebí se nad nimi zamýšlet, srovnávat apod.

Pro zájemce o další studium OS: stránky předmětu POS na FIT -- přednášky odkazy, ...

Projekty

Stránka projektů.

Předpokládá se, že budete nejen samostatně řešit projekty, ale že budete i mimo rámec projektů experimentovat se skriptováním a programováním na různých systémech z rodiny UNIX. Vyzkoušejte si nejen GNU Linux, ale také FreeBSD (např. server eva.fit.vutbr.cz) či OpenSolaris (server krok.fit.vutbr.cz). Je to užitečné obecně, ale také pro lepší odhalení chyb v projektech. Zde se dozvíte více o serverech na FIT VUT. Můžete si pak samozřejmě vyzkoušet i různé další operační systémy uvedené níže.

Unix pro začínající studenty (můžete se také podívat na stránku kolegy Ing. Martinka a případně si vytisknout jeho nápovědu k základním příkazům bashe).

Linux na učebnách

Různé operační systémy

GNU/Linux

*BSD

Další Unix-ové OS

Microsoft Windows

Další velmi zajímavé OS (někdy velmi "odvázané" -- stojí za to se podívat...)


Odkazy


Unix

Principy, subsysémy OS

Programování (mj. doporučuji vyzkoušet demo-programy a zamyslet se nad nimi...)

Automatizovaná formální verifikace, model checking, statická a dynamická analýza
  • Stránky kursu FAV na FIT VUT, kde je mj. i přehled různých nástrojů pro automatizovanou analýzu a verifikaci
  • Skupina VeriFIT na FIT VUT

Zajímavosti

Literatura

  1. Silberschatz, A., Galvin, P.B., Gagne, G.: Operating System Concepts, 9th Edition, John Wiley & Sons, 2012. Na webu jsou k dispozici slajdy, dodatečné kapitoly (Unix BSD, Mach), zdrojové kódy příkladů.
  2. Tanenbaum, A.: Modern Operating Systems, 2nd edition, Prentice Hall, 2001. Na webu jsou k dispozici slajdy, zdrojové kódy příkladů, ...
  3. Tanenbaum, A.S., Woodhull, A.S.: Operating Systems Design and Implementation, 3rd ed., Prentice Hall, 2006.
  4. Skočovský, L.: Principy a problémy operačního systému Unix, 2. vydání, 2008.
  5. Raymond, E.S.: The Art Of Unix Programming, Addison-Wesley, 2003.
  6. Russinovich, M., Solomon, D., Ionescu, A.: Windows Internals, 6th edition, Microsoft Press, 2012.


Poslední modifikace: 24. května 2013
Připomínky k obsahu stránky posílejte na e-mail: vojnar at fit dot vutbr dot cz