Dödlig låsning

Dödlig låsning (eng. Deadlock)är en situation inom t ex logistik eller programmering där resurser allokerats villig ett sådant fason av olika processer att ingen av processerna kan slutföra sitt åtagande samt returnera resurser. Processerna väntar villig varandra samt ingen kan bli färdig, detta är programmeringens moment 22. Situationen kan lösas antingen genom att en av processerna tillförs mer resurser så att den kan bli klar, eller att någon av processerna backas så att dess resurser frigörs.

Exempel 1:Om par tåg kör från var sitt riktning in villig en enkelspårig järnväg (antag att de bromsar samman mötet, ej krockar) leder det mot en Letal låsning. Här finns ingen möjlighet att tilldela någon mer resurser, det blir för krångligt att montera ett nytt spår. Ett av tågen plikt reversera tillbaka tills det blir dubbelspår igen så att tågen kan sammanträffa. Därefter får tåget som backade tillgång mot hela enkelspåret samt kan kugga fortsättningsvis.

Exempel 2:En byggmästare vill vigga en miljon av banken för att montera ett hus som han därnäst skall sälja. Banken lånar bara ut en halv miljon samt huset börjar byggas. När pengarna är slut är huset halvfärdigt. Byggmästaren kan ej avyttra sitt halvfärdiga hus samt banken kan därför ej få tillbaka sina deg. Det hjälper ej ens försåvitt han skulle klösa det halvfärdiga huset. Letal låsning. Banken kan lösa detta genom att vigga ut ytterligare en halv miljon, byggmästaren bygger färdigt, säljer huset samt återlämnar pengarna.

I verkligheten förekommer likväl flertal baisse där en process varken kan backas eller tilldelas mer resurser. Då skänker en Letal låsning stora besvär.

Edsger Dijkstra formulerade en algoritm för detta, bankiralgoritmen (bankers algorithm) som anger hurdan resurser får allokeras i ett ordna. För att den skall fungera i praktiken utan att producera systemet ineffektivt plikt emellertid systemet produkt konstruerat villig ett sådant fason att resurser kan allokeras samt återlämnas i lämpliga mängder, t.ex. Borde enkelspåriga järnvägar innehava mötesplatser med dubbelspår med slät lucka.

Se även:

• Ger du dig?

Redigera?

Artikeln skriven 2009-01-18 av Learning4sharing

Inga kategorier för denna artikel än...

Intresserad av fler artiklar?

Det romerska namnskicket
New York Dolls
Clarté
Tivedens nationalpark
Tre små gummor
Hopelandish
Alleanza Nazionale
Umberto Bossi
S 13