Na minulom cvičení ste napísali niekoľko utilít, ktoré používali systémové volania. V tomto cvičení napíšete dvojicu systémových volaní, ktoré vám pomôžu lepšie pochopiť interné mechanizmy jadra xv6 a ako samotné systémové volania fungujú. S pridávaním systémových volaní sa stretnete aj v niektorých ďalších cvičeniach.
Než začnete programovať, preštudujte si kapitolu 2 z xv6 knižky, sekcie 4.3 a 4.4 kapitoly 4 a príslušné zdrojové súbory.
Na začiatok sa prepnite do vetvy syscall:
|
1 2 |
$ git fetch $ git switch syscall # alebo git checkout syscall |
Riešenia úloh z tohto cvičenia ukladajte do vetvy syscall. Túto vetvu budeme kontrolovať v rámci priebežnej kontroly repozitárov.
Ak spustíte make grade, zistíte, že hodnotiaci skript nemôže spustiť (execnúť) trace and sysinfotest. Vašou úlohou je pridať potrebné systémové volania a podporný kód, aby testy prešli.
trace(), ktorým bude možné riadiť trasovanie. Bude mať jeden argument, celočíselnú „masku“, ktorej bity určia, ktoré systémové volania budú trasované. Napríklad, na trasovanie systémového volania fork() program zavolá trace(1 << SYS_fork), kde SYS_fork je číslo systémového volania definované v kernel/syscall.h. Vaším cieľom je modifikovať jadro xv6 tak, aby tesne pred ukončením systémového volania jadro skontrolovalo, či je v maske nastavené číslo prebiehajúceho systémového volania. V takom prípade jadro vypíše riadok s id procesu, názvom systémového volania a jeho návratovou hodnotou. Systémové volanie trace() by malo povoliť trasovanie pre proces, ktorý ho zavolal a pre jeho detské procesy, ktoré neskôr vytvorí zavolaním fork(), ale nie pre ostatné procesy.
V repozitári nájdete užívateľský program trace, ktorý spustí iný program so zapnutým trasovaním (viď user/trace.c). Ak ste volanie správne naimplementovali, mali by ste vidieť niečo takéto:
|
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 |
$ trace 32 grep hello README 3: syscall read -> 1023 3: syscall read -> 966 3: syscall read -> 70 3: syscall read -> 0 $ $ trace 2147483647 grep hello README 4: syscall trace -> 0 4: syscall exec -> 3 4: syscall open -> 3 4: syscall read -> 1023 4: syscall read -> 966 4: syscall read -> 70 4: syscall read -> 0 4: syscall close -> 0 $ $ grep hello README $ $ trace 2 usertests forkforkfork usertests starting test forkforkfork: 407: syscall fork -> 408 408: syscall fork -> 409 409: syscall fork -> 410 410: syscall fork -> 411 409: syscall fork -> 412 410: syscall fork -> 413 409: syscall fork -> 414 411: syscall fork -> 415 ... $ |
V prvom príklade trace spustí trasovanie programu grep, konkrétne systémového volania read. Číslo 1<<SYS_read je rovné 32. V druhom príklade sa jedná o ten istý proces, ale trasujú sa všetky systémové volania. Číslo 2147483647 má nastavených všetkých 31 dolných bitov. V treťom príklade program nie je trasovaný, takže nie je ani vypísaný žiadny výstup. V štvrtom príklade sú trasovaní všetci potomkovia testu forkforkfork zo sady testov usertests. Vaše riešenie je korektné, ak program má rovnaké správanie ako je uvedené vyššie (ID procesov môžu byť rozdielne).
Pomôcky:
Pridajte $U/_trace do premennej UPROGS v súbore Makefile.
Spustite make qemu a uvidíte, že kompilátor nemôže skompilovať súbor user/trace.c, pretože užívateľské útržky kódu pre systémové volanie ešte neexistujú: pridajte prototyp systémového volania do user/user.h, útržok do user/usys.pl, a číslo systémového volania do kernel/syscall.h. Súbor Makefile spustí perl skript user/usys.pl, ktorý vytvorí user/usys.S, kde sú uložené skutočné útržky systémových volaní, ktoré obsahujú inštrukciu ecall architektúry RISC-V, ktorá slúži na prechod do jadra. Potom, ako opravíte kompilačné problémy, spustite trace 32 grep hello README. Uvidíte, že zlyhá, lebo samotné systémové volanie v jadre ešte nie je implementované.
Pridajte funkciu sys_trace() do kernel/sysproc.c. Jej úloha je uložiť argument systémového volania do novej premennej v štruktúre proc (viď kernel/proc.h). Funkcie na prevzatie argumentov systémového volania nájdete v kernel/syscall.c a príklady ich použitia nájdete v kernel/sysproc.c.
Upravte fork() (viď kernel/proc.c), aby skopíroval trasovaciu masku z rodiča do detského procesu.
Upravte funkciu syscall() v kernel/syscall.c, aby vypísala trasovací výstup. Musíte pridať pole názvov systémových volaní, ktoré sa budú vypisovať.
Po úspešnom dokončení úlohy nezabudnite vytvoriť commit!
sysinfo(), ktoré zbiera informácie o bežiacom systéme. Má jeden argument: smerník na štruktúru struct sysinfo (viď kernel/sysinfo.h). Jadro by malo naplniť položky tejto štruktúry: položka freemem by mala obsahovať počet bajtov voľnej pamäte a položka nproc by mala obsahovať počet procesov, ktorých state nie je UNUSED. Úlohu ste úspešne zvládli ak testovací program sysinfotest vypíše sysinfotest: OK.
Pomôcky:
Pridajte $U/_sysinfotest do premennej UPROGS v súbore Makefile.
Po spustení make qemu zlyhá kompilácia súboru user/sysinfotest.c. Pridajte systémové volanie sysinfo podobným postupom ako v predchádzajúcej úlohe. Aby ste mohli deklarovať prototyp sysinfo() v user/user.h, musíte deklarovať existenciu štruktúry struct sysinfo:
|
1 2 |
struct sysinfo; int sysinfo(struct sysinfo *); |
Keď opravíte problémy s kompiláciou, spustite sysinfotest. Zlyhá, pretože ste ešte neimplementovali systémové volanie v jadre.
sysinfo musí skopírovať štruktúru struct sysinfo do užívateľského priestoru. Pozrite sa ako na to vo funkciách sys_fstat() (kernel/sysfile.c) a filestat() (kernel/file.c). Bude vás zaujímať funkcia copyout(). Táto funkcia má štyri argumenty: tabuľku stránok procesu (podľa ktorej určí adresu, kam má štruktúru uložiť); cieľovú adresu, ktorú si vyžiadal užívateľský proces; zdrojovú adresu objektu v jadre a počet bajtov, ktoré sa budú kopírovať.
Aby ste získali množstvo voľnej pamäte, pridajte funkciu do kernel/kalloc.c.
Na získanie počtu procesov pridajte funkciu do kernel/proc.c.
Po úspešnom dokončení úlohy nezabudnite vytvoriť commit!
Týmto je cvičenie hotové. Skontrolujte, či vaše riešenie prejde všetkými testami make grade. Aby ste prešli posledným testom time, musíte vytvoriť nový súbor time.txt, v ktorom uvediete počet hodín, ktorý ste strávili nad zadaním ako celé číslo. Na záver nezabudnite svoje zmeny commitnúť do repozitára.