Kimutatása holtpontok - studopediya
A fő irányok elleni harc zsákutcák
A kapcsolat a probléma holtpontok kész voltunk sok érdekes kutatás területén a számítógépet és az operációs rendszert.
A fő irányok elleni harc zsákutcák:
1) figyelmen kívül hagyása a probléma
2) kimutatása holtpontok
3) kinyerjük a holtpont
4) megelőzése holtpontok óvatos forráselosztás vagy sérti a feltételek bekövetkezése holtpontok.
A legegyszerűbb - figyelmen kívül hagyja a holtpont problémát. Unix megközelítés az, hogy figyelmen kívül hagyják a problémát az a feltételezés, hogy a legtöbb felhasználó inkább véletlenszerű holtpont nevetséges szabályok arra kényszeríti őket, hogy egy folyamat, egy fájl megnyitása, stb Itt állunk szemben nemkívánatos közötti választás megszorítások és a kényelem.
Kimutatása patthelyzet - ez Megállapított tény, hogy volt egy holtpont, és meghatározása folyamatokat és erőforrásokat vesz részt ebben a helyzetben. Jellemzően az észlelési algoritmusokat alkalmaznak, ha a következő első három szükséges feltételeket előfordulása patthelyzet. Ezután ellenőrzi, hogy a mód kör elvárásainak. Ebben a körben használják a már említett erőforrás grafikonok.
Tekintsük a modell helyzetét:
· A eljárás tart erőforrás R, és várják az erőforrás S.
· B eljárás vonatkozik az erőforrás T.
· Folyamat C állítja a forrás S.
Eljárás D · U tartja a forrás, és megvárja S és T. erőforrások
· Folyamat E T tartja a forrás, és vár erőforrás V.
Eljárás N · W tartja a forrás, és vár erőforrás S.
G eljárás · V tartja a forrás és a forrás elvárja U.
Annak eldöntésére, hogy ez egy zsákutca helyzet, és ha igen, milyen folyamatok játszódnak le, ez lehet építeni egy grafikont erőforrások (8.2 ábra). Tól 8.2 ábra az látható, hogy van egy ciklus, hogy szimulálja a körkörös készenléti állapotban, és a folyamatok a D, E, G holtponton
8.2 ábra (a) Resource Count. (B) Ciklus kivont a grafikon (a).
Vizuálisan könnyen jelenlétének kimutatására a zsákutcából, hanem szükség formális algoritmusok a számítógépen. Az egyik ilyen algoritmusok a csökkentés a grafikonon. Ha az erőforrás iránti kérelmet folyamat lehet elégedett, azaz nem holtpont, a grafikon lehet csökkenteni ezt a folyamatot. Count Reduction a kivétel bemutatott eljárást nyilak húzódó ezt a folyamatot nyilakkal források és a források a folyamat.