Dödlockssituationer

Dödlockssituationer uppstår när två eller flera processer eller enheter väntar på resurser som hålls av varandra, vilket gör att ingen av dem kan fortsätta. Sådana tillstånd förekommer främst inom datorvetenskapliga områden som operativsystem och databashantering, men kan även uppstå i vardagliga sammanhang som trafik eller logistik där parter blockerar varandra i en begränsad plats.

Nödvändiga villkor för dödlock klassas ofta efter Coffman: ömsesidig exkludering (en resurs kan endast användas av en process i taget), behåll och vänta (processen håller resurser medan den väntar på fler), icke-preemption (resurser kan inte avstås utan att processen själv gör det), samt cirkulär väntan (en kedja av processer där varje process väntar på nästa). Om dessa villkor uppfylls kan dödlock uppstå.

Exempelvis inom operativsystem kan trådar låsa filer i olika ordningar och hamna i dödlock när de väntar på varandras lås. I databaser kan samtidiga transaktioner låsa rader eller tabeller i olika ordningar och därigenom skapa en dödlockssituation. I trafiken kan fordon i ett korsning blockera varandra så att inga färger av signaler eller väjningsregler hjälper dem vidare.

Åtgärder mot dödlock delas ofta in i förebyggande, undvikande, detektion och återhämtning. Förebyggande metoder inkluderar låsordning och begränsning av väntan, samt användning av säkra tillstånd som i Bankers algoritm. Detektion innebär att övervaka väntgrafen eller resursallokeringsgrafen och identifiera cykler, varefter man vidtar åtgärder som att avbryta eller preemptiva resurslåsningar. I praktiken används också timeout och designförhållningsregler för att minimera riskerna.