2023-08 [seminár] súborový systém

Zhrnutie prednášky

Seminár nadväzuje na predchádzajúce prednášky o súborovom systéme xv6 a rozoberá dve témy. Najprv sa demonštruje logovanie zápisov na disk pomocou funkcií bwrite a commit, pričom sa ukazuje, ako sa najskôr zapisujú bloky do logu, následne hlavička logu (s počtom a číslami blokov), potom sa transakcie inštalujú na svoje riadne miesta a nakoniec sa hlavička vynuluje – tento mechanizmus zaručuje konzistenciu súborového systému aj pri výpadku napájania. Vysvetľuje sa aj funkcia začiatku a konca operácie (begin_op, end_op), ktorá umožňuje spracovanie viacerých systémových volaní naraz vďaka počítaniu prebiehajúcich operácií. V druhej časti sa preberá zadanie na implementáciu symbolických odkazov, vrátane rozdielu medzi pevným a symbolickým odkazom a požiadaviek na nové systémové volanie symlink s parametrami target a path.

• - Funkcia bwrite zapisuje jednotlivé bloky na disk, rozhranie medzi buffer cache a diskom.
• - Log najprv obsahuje hlavičku (počet blokov a ich čísla) a za ňou samotné dáta blokov.
• - Zápis hlavičky logu je kľúčový bod konzistencie – pred jej zápisom nie je možná obnova, po zápise áno.
• - Funkcia commit vykonáva postupne: zápis logu, zápis hlavičky, inštaláciu transakcií na riadne miesto, vynulovanie hlavičky.
• - begin_op a end_op počítajú prebiehajúce operácie (log.outstanding) a umožňujú spracovanie viacerých volaní naraz, commit sa vykoná len keď neprebieha žiadna iná operácia.
• - Pevný odkaz je záznam v priečinku ukazujúci na rovnaké inode (len na tom istom disku), symbolický odkaz je samostatný súbor obsahujúci cestu k cieľu (môže ukazovať aj mimo disk).
• - Úlohou je implementovať systémové volanie symlink s argumentmi target a path, cieľ nemusí existovať a testuje sa aj konkurentný prístup k symlinkom.

Zhrnutie pripravené s pomocou AI z prepisu videa.