[OS] Smrtni objem in alokacija virov.

Da, govora je o bankirjevem postopku (Banker's algorithm, tudi Wikipedija ti bo pomagala).

Prvi primer je že kot primer fail, ker izhodiščno stanje ni varno. Za bankirjev postopek pa je en izmed osnovnih kriterij odločanja ta, da v nevarno stanje ne smeš priti.

Glede na matriki A in R je nenapisana matrika trenutno razpoložljivih virov V = [0, 2, 1]. Glede na že izračunane vrednosti matrike C - A, ga ni procesa, ki se bi lahko varno zaključil, saj več nimaš razploložljivega vira R1, P2, ki naj se bi po primeru bojda lahko nadaljeval, pa pričakuje vsaj še en prost vir R1.

Primer je za študij postopka nepravilen, ker so začetni pogoji nevarni (unsafe). Kdor ga je pisal kot primer je storil napako v ničtem koraku. Poglej si Wikipedijo, tukaj in še tukaj, če želiš videti pravilne primere.

Drugi primer je pravilen, algoritem je načeloma enak. Iščeš procese, ki se lahko nadaljujejo, glede na razpoložljivost virov v matriki W (nekonsistentno poimenovanje je vedno dobrodošlo, v predhodni nalogi je to bila matrika V). Vsak proces, ki se lahko nadaljuje označiš, privzameš, da se je zaključil (s čemer se njegovi že zaklenjeni viri sprostijo in prištejejo k W) ter ponoviš korak. Če na koncu vsi procesi niso označeni, si našel tiste, ki so v medsebojnem konfliktu. Če imaš na koncu samo en proces, ki ne more nadaljevati, si našel proces, katerega zahteve presegajo razpoložljive vire, kar pa ni "smrtni objem" (deadlock) temveč proces, ki se sploh ne bi smel začeti.

Poglej si regularne izraze, v pomoč (vsaj meni :)) je tudi programček expresso za preverjanje delovanja izrazov. IMO bi se moralo dat naredit izraz, ki bi ti kot rezultat vrnil vse vrstice, kjer je ocena enaka določeni vrednosti.