Holtpont megelőzés Bankár algoritmussal Biztonságosnak nevezzük (holtpont kialakulása szempontjából) azokat a folyamat-erőforrás rendszereket, amelyekben.

Slides:



Advertisements
Hasonló előadás
Készítette: Kosztyán Zsolt Tibor
Advertisements

Készítette: Kosztyán Zsolt Tibor
A hálózat működése 1. A DHCP és az APIPA
Elemi algoritmusok Páll Boglárka.
Megszámlálás Elemi algoritmusok.
A tevékenységhosszak és az erőforrás- mennyiségek kapcsolata Készítette: Szentirmai Róbert (minden jog fenntartva)
3.3. Reverzibilis állapotváltozások(2)
GRÁFELMÉLET Alapfogalmak 2..
Kötelező alapkérdések
Elemi bázistranszformáció
Műveletek mátrixokkal
Matematika II. 4. előadás Geodézia szakmérnöki szak 2010/2011. tanév Műszaki térinformatika ágazat tavaszi félév.
Illeszkedési mátrix Villamosságtani szempontból legfontosabb mátrixreprezentáció. Legyen G egy irányított gráf, n ponton e éllel. Az n x e –es B(G) mátrixot.
Matematika II. 2. előadás Geodézia szakmérnöki szak 2012/2013. tanév Műszaki térinformatika ágazat őszi félév.
Matematika II. 1. előadás Geodézia szakmérnöki szak 2012/2013. tanév/
Illés Tibor – Hálózati folyamok
Ütemezési algoritmusok (FCFS, SJF, RR)
Csoport részcsoport invariáns faktorcsoport részcsoport
4. VÉGES HALMAZOK 4.1 Alaptulajdonságok
Gubicza József (GUJQAAI.ELTE)
Gráf Szélességi bejárás
Az összehasonlító rendezések
Programozási alapismeretek 10. előadás
Dinamikus tömbök.
Alhálózat számítás Osztályok Kezdő Kezdete Vége Alapértelmezett CIDR bitek alhálózati maszk megfelelője A /8 B
MI 2003/ Alakfelismerés - még egy megközelítés: még kevesebbet tudunk. Csak a mintánk adott, de címkék nélkül. Csoportosítás (klaszterezés, clustering).
MI 2003/7 - 1 Az egyesítési algoritmus Minden kapitalista kizsákmányoló. Mr. Smith kapitalista. Mr. Smith kizsákmányoló.
UNIVERSITY OF SZEGED D epartment of Software Engineering UNIVERSITAS SCIENTIARUM SZEGEDIENSIS Programozás II. 6. Gyakorlat const, static, dinamikus 2D.
Értékteremtő folyamatok menedzsmentje
Értékteremtő folyamatok menedzsmentje A fazekas műhely példája és más egyszerű példák a vállalat modellezésére, rendszermátrix számításokra.
Minimax és problémaredukció, egyszerű példák INCK431 Előadó: Dr. Nagy Benedek Norbert Gyakorlatvezető: Kovács Zita 2011/2012. II. félév A MESTERSÉGES INTELLIGENCIA.
Termékszerkezet-elemzés
Készítette: Pető László
Szállítási probléma - fogalmak
Lineáris programozás Modellalkotás Grafikus megoldás Feladattípusok
OPERÁCIÓKUTATÁS Kalmár János, 2012 Tartalom A nulla-egy LP megoldása Hátizsák feladat.
Programozó matematikus szak 2003/2004-es tanév II. félév
Matematika III. előadások Építőmérnök BSc szak PMMINB313
Szélességi bejárás A szélességi bejárással egy irányított vagy irányítás nélküli véges gráfot járhatunk be a kezdőcsúcstól való távolságuk növekvő sorrendjében.
Lineáris transzformáció sajátértékei és sajátvektorai
MATEMATIKA ÉS INFORMATIKA I.
Operációs rendszerek Holtpont.
1 Operációs rendszerek Az ütemezés megvalósítása.
A legerősebb kívánság      .
Kvantitatív módszerek
A TÁMOP projekt keretében készült munkapiaci előrejelzés TÁMOP / projekt Cseres-Gergely Zsombor, Közgazdaságtudományi Intézet,
Millau – Viadukt Franciaország A75-ös autópálya.
Algoritmusok II. Gyakorlat 3. Feladat Pup Márton.
Egydimenziós tömbök (Vektorok)
Egyszerű gráfok ábrázolása Pascalban:
GRÁFELMÉLET Alapfogalmak 1..
Gáztüzelésű kemence szabályozása Irányítástechnika tárgy T1 tantermi gyakorlat Irodalom: Dr. Harkay Gábor, Dr. Kégl Tibor, Rostás Imre: Automatizálás alapjai.
Lineáris programozás.
A differenciálszámtás alapjai Készítette : Scharle Miklósné
Binomiális eloszlás.
A Dijkstra algoritmus.
Feladat: Adott egy város, benne metrók és állomások. Írjunk algoritmust amely megszámolja hogy mennyi az a legkevesebb átszállás amellyel egy tetszőleges.
Mélységi bejárás Az algoritmus elve: Egy kezdőpontból kiindulva addig megyünk egy él mentén, ameddig el nem jutunk egy olyan csúcsba, amelyből már nem.
Óravázlat Készítette: Kucsera Mihály és Toldi Miklós
GRÁFOK Definíció: Gráfnak nevezzük véges vagy megszámlálhatóan végtelen sok pont és azokat összekötő szintén véges vagy megszámlálhatóan végtelen sok.
Többdimenziós valószínűségi eloszlások
Programozási alapismeretek 10. előadás. ELTE Szlávi-Zsakó: Programozási alapismeretek 10.2/  Kiválogatás + összegzés.
ADATBÁZIS- RENDSZEREK 12. rész: Konkurenciavezérlés.
Készítette: Mátyás István agrár mérnöktanár szakos hallgató,
Visszafelé haladó edényrendezés
Kiterjesztések szemantikája: Szemantikai tartomány : Adatoknak, vagy értékeknek egy nem üres halmazát szemantikai tartománynak nevezzük. Jelölése: D. Egy.
Kommunikáció és szinkronizáció. 1.) Kommunikáció: Lehetőség arra, hogy egyik folyamat befolyásolja a másik folyamat lefutását. Kommunikáció eszközei: közös.
Szállításszervezés.
Prim algoritmus Algoritmusok és adatszerkezetek 2. Újvári Zsuzsanna.
Készletezési modellek
Előadás másolata:

Holtpont megelőzés Bankár algoritmussal Biztonságosnak nevezzük (holtpont kialakulása szempontjából) azokat a folyamat-erőforrás rendszereket, amelyekben létezik a folyamatoknak (legalább egy) olyan sorrendje, amely szerint végrehajtva őket, azok maximális erőforrás igénye is kielégíthető. Biztonságos állapotban NEM LEHETSÉGES holtponti állapot kialakulása Egy-egy erőforrás foglalás, vagy folyamat indítás esetén (még mielőtt az operációs rendszer a kért erőforrásokat átadná) a biztonságos állapotot a BANKÁR ALGORITMUS-sal ellenőrizhetjük.

Egy rendszerben az alábbi erõforrások vannak: E1: 10 darabE2: 5 darabE3: 7 darab A rendszerben 5 folyamat van: P1, P2, P3, P4, P5 Biztonságos-e holtpontmentesség szempontjából a következõ állapot? MAX. IGÉNYFOGLAL E1 E2 E3E1 E2 E3 P P P P P

3. lépés: IGÉNY = MAX.IGÉNY - FOGLAL MAX. IGÉNYFOGLALIGÉNY E1 E2 E3E1 E2 E3E1 E2 E3 P P P P P

3. lépés: IGÉNY = MAX.IGÉNY - FOGLAL MAX. IGÉNYFOGLALIGÉNY E1 E2 E3E1 E2 E3E1 E2 E3 P P P P P

3. lépés: IGÉNY = MAX.IGÉNY - FOGLAL MAX. IGÉNYFOGLALIGÉNY E1 E2 E3E1 E2 E3E1 E2 E3 P P P P P

3. lépés: IGÉNY = MAX.IGÉNY - FOGLAL MAX. IGÉNYFOGLALIGÉNY E1 E2 E3E1 E2 E3E1 E2 E3 P P P P P

4. lépés: A szabad erõforrások számának (KÉSZLET) meghatározása Emlékeztetõül az összes erõforrás a rendszerben: (10, 5, 7) FOGLAL E1 E2 E3 P1010 P2302 P3302 P4211 P5002 ___________ 8

4. lépés: A szabad erõforrások számának (KÉSZLET) meghatározása Emlékeztetõül az összes erõforrás a rendszerben: (10, 5, 7) FOGLAL E1 E2 E3TEHÁT AZ E1-BÕL P = 2 DARAB P2302SZABAD VAN P3302 P4211 P5002 ___________ 8

4. lépés: A szabad erõforrások számának (KÉSZLET) meghatározása Emlékeztetõül az összes erõforrás a rendszerben: (10, 5, 7) FOGLAL E1 E2 E3HASONLÓAN ELVÉGEZVE P1010A TÖBBIRE IS, MEGKAPJUK P2302A SZABAD ERÕFORRÁS P3302KÉSZLETET: P4211(2, 3, 0) P5002 _________________________________ 827

5. lépés: Megnézzük, hogy a KÉSZLET-bõl kielégíthetõ-e valamelyik folyamat igénye Emlékeztetõül a KÉSZLET: (2, 3, 0) FOGLALIGÉNY E1 E2 E3E1 E2 E3 P P P P P

5. lépés: Megnézzük, hogy a KÉSZLET-bõl kielégíthetõ-e valamelyik folyamat igénye Emlékeztetõül a KÉSZLET: (2, 3, 0) FOGLALIGÉNY E1 E2 E3E1 E2 E3Látható, hogy P P2 igénye P kielégíthetõ P P P

6b. lépés: P2 igényét kielégítjük, így az le tud futni

7. lépés: Ha P2 lefutott, felszabadítja az összes, korábban általa lefoglalt erõforrást, vagyis, az új KÉSZLETet megkaphatjuk, ha ezeket az erõforrásokat hozzáadjuk a KÉSZLET elõzõ (2, 3, 0) értékéhez FOGLALIGÉNY E1 E2 E3E1 E2 E3 P P P P P

7. lépés: Ha P2 lefutott, felszabadítja az összes, korábban általa lefoglalt erõforrást, vagyis, az új KÉSZLETet megkaphatjuk, ha ezeket az erõforrásokat hozzáadjuk a KÉSZLET elõzõ (2, 3, 0) értékéhez FOGLALIGÉNY E1 E2 E3E1 E2 E3Új KÉSZLET: P (5, 3, 2) P P P P

8. lépés: Menjünk vissza az 5. lépésre, és nézzük meg, hogy az új KÉSZLETbõl kielégíthetõ-e valamelyik másik folyamat igénye!

5. lépés: Nézzük meg, hogy az új KÉSZLETbõl kielégíthetõ-e valamelyik folyamat igénye! Emlékeztetõül a KÉSZLET: (5, 3, 2) A megmaradt folyamatok: FOGLALIGÉNYLátható, hogy E1 E2 E3E1 E2 E3például P5 P igénye P kielégíthetõ P P

5. lépés: Nézzük meg, hogy az új KÉSZLETbõl kielégíthetõ-e valamelyik folyamat igénye! Emlékeztetõül a KÉSZLET: (5, 3, 2) A megmaradt folyamatok: FOGLALIGÉNY E1 E2 E3E1 E2 E3Az új KÉSZLET: P (5, 3, 4) P P P

A fentieket ismételve, az (5,3,4) KÉSZLETbõl a P4 igénye kielégíthetõ FOGLALIGÉNY E1 E2 E3E1 E2 E3 P P P

A fentieket ismételve, az (5,3,4) KÉSZLETbõl a P4 igénye kielégíthetõ FOGLALIGÉNYAz új KÉSZLET: E1 E2 E3E1 E2 E3(7, 4, 5) P P P

A fentieket ismételve, a (7,4,5) KÉSZLETbõl például a P1 igénye kielégíthetõ FOGLALIGÉNY E1 E2 E3E1 E2 E3 P P

A fentieket ismételve, a (7,4,5) KÉSZLETbõl például a P1 igénye kielégíthetõ FOGLALIGÉNYAz új KÉSZLET: E1 E2 E3E1 E2 E3(7, 5, 5) P P

A fentieket ismételve, a (7,4,5) KÉSZLETbõl például a P1 igénye kielégíthetõ FOGLALIGÉNYAz új KÉSZLET: E1 E2 E3E1 E2 E3(7, 5, 5) P Ebbõl a készletbõl pedig a megmaradt P3 igénye kielégíthetõ

Vagyis találtunk legalább egy (ebben a példában több is van) sorrendet, amelyben a folyamatok erõforrás igénye kielégíthetõ, tehát a rendszer BIZTONSÁGOS ÁLLAPOTBAN van