deadlockhallinnan

Deadlockhallinta on järjestelmän kyky tunnistaa ja käsitellä tiloja, joissa useat prosessit odottavat toistensa vapauttamia resursseja siten, ettei mikään prosessi etene. Deadlockiin liittyy usein neljä ehtoa: mutual exclusion (yhteisen käyttöoikeuden piiri), hold and wait (prosessi pitää jo hallussaan resursseja ja odottaa lisää), no preemption (resursseja ei voida pakottaa vapaaksi ennenaikaisesti) ja circular wait (prosessit muodostavat kiertokulun, jossa kukin odottaa seuraavaa).

Eri hallintamenetelmät voidaan jakaa ennaltaehkäisyyn, ohjaukseen (avoidance), havaitsemiseen ja palauttamiseen. Ennaltaehkäisy pyrkii rikkomaan ainakin yhden ehdon: esimerkiksi vaatimalla, että prosessi hakee kaikki tarvitsemansa resurssit kerralla, tai käyttämällä kiinteää resurssijärjestystä hold-and-wait-tilanteen välttämiseksi. Osassa järjestelmiä tämä tarkoittaa resursseille annettujen prioriteettien ja järjestyksen asettamista.

Ohjauksessa pyritään varmistamaan, että myönnetyt resurssit johtavat aina turvalliseen tilaan; Bankerin algoritmi on tunnettu esimerkki tästä lähestymistavasta. Havaitsemisessa tarkastellaan resurssien ja odotusten kuviota (esim. wait-for -grafi) ja etsitään kiertoa, joka viittaa deadlockiin. Palauttamisessa toimet voivat olla prosessin terminointi tai resurssejen pakottaminen pois muilta prosesseilta, sekä tilan palauttaminen aikaisempaan konsistenttiin tilaan.

Käytännössä monet järjestelmät yhdistävät ennaltaehkäisyn, havaitsemisen ja palauttamisen sekä käyttävät kiinteän resurssien järjestyksen periaatteita sekä tarvittaessa esipurtuja mekanismeja, jotta deadlock-tilanteet minimoidaan. Deadlockhallinta määräytyy järjestelmän resurssien luonteen ja sovellusten vaatimusten mukaan.