Fórum studentů MFF UK

Jj, v podstatě jo, deadlock prevention je, že ten systém je by-design navrženej tak, že některá/některé z těch podmínek prostě platit nemůže, ani blbou náhodou.

Deadlock avoidance je, že sice by teoreticky mohl nastat deadlock (existuje teoretická možnost že nastanou všechny 4 podmínky),
ale systém to při přidělování prostředků kontroluje, takže nepovolí takový přidělení prostředku, aby mohl nastat deadlock.

Takže ta první možnost je natvrdo určená, ta druhá možnost implikuje složitější rozhodovací proces (třeba ten Bankéř).

Taky jsem teďka koumal ten problém TLB vs. změna kontextu.. Na http://en.wikipedia.org/wiki/Translatio ... ide_buffer se o tom píše, a vyznívá to, jakože o ukládání obsahu vůbec není řeč, ale řeší se spíš to, že se tam nějaké záznamy nechávají i tomu novému procesu k využití, že se jen profiltruje. Nebo, u starších procesorů, se prostě celý smaže.
Vojta

Myslím že prevention je jakože se ta podmínka napadne už předem.. že už z principu tam něco funguje tak, že ta podmínka neplatí. A avoidance je, že se to nějak chytře ustavičně vyhýbá tomu, aby platily všechny naráz..
Aspoň já si to tak představuju. Vojta

peci1 píše:Porad mi to prijde jako sileny slovickareni, ale chapu to tedy tak, ze v prevention se zameris na jednu konkretni a tu napadnes, kdezto v avoidance chces obecne zabranit tomu, aby nastaly vsechny najednou, tj. nezameris se na konkretni...

Takhle to chápu taky a řekl bych, že to snad je dokonce i správně:))

Jak je to s tím TLB a vztahem ke kontextu procesoru? Ukládá se?

Porad mi to prijde jako sileny slovickareni, ale chapu to tedy tak, ze v prevention se zameris na jednu konkretni a tu napadnes, kdezto v avoidance chces obecne zabranit tomu, aby nastaly vsechny najednou, tj. nezameris se na konkretni... Jinak mi to nejde do hlavy

Podle me deadlock prevention je zabraneni vzniku jedny z tech ctyr Coffmanovych podminek, zatimco deadlock avoidance je vyhnuti se stavu, kdy by platili vsechny ctyri zaroven...

http://en.wikipedia.org/wiki/Deadlock#Prevention

Ahoj, zkouska po procteni fora celkem pohodova
V prvni casti krom porad omilanejch otazek bankeruv algoritmus a vybrat, do ceho patri. Tady je zadrhel v tom, ze jsou moznosti deadlock avoidance a deadlock prevention, mezi cimz ja (gramaticky) nevidim rozdil. Kazdopadne spravne je avoidance. Do cestiny radsi neprekladam, vznikly by jen dalsi zavadejici nazvy
Pak nejaky prevod z bin do hexdec. Kdo se na to alespon poradne podival, nemohl mit problem (az na bankere).

Druha cast:
1)Spin-lock, co to je, jak se pouziva, priklad spravne a nespravne implementace, proc ktera funguje ci nefunguje. Proc je treba pri praci na vic procesorech spin-lock a nestaci jen zakazat preruseni.
2)Vysvetlit strankovani, obrazek viceurovnoveho strankovani, vyznam a obsah radku strankovaci tabulky (PTE = Page Table Entry). Co je to TLB (reseno na foru uz driv) a jeho vztah se stridanim kontextu procesoru (nejsme si jisti, ale asi se uklada spolu s obsahem registru...)
3)Pocitani max. vypadku stranek.
4)Co je vyjimka, vnejsi preruseni. V cem se lisi. Co musi podporovat mikroradic, aby zvladal preruseni. Jak probiha preruseni z pohledu mikroradice. Jaky je problem preruseni pri spekulativnim vykonavani a out-of-order vykonavani.

Tot snad vse.