Ar galite paaiškinti, kas yra tarpusavio blokavimas operacinėse sistemose ir kaip jis atsiranda?

Deadlock (mirtinas užraktas) yra situacija operacinėje sistemoje, kai du ar daugiau procesų amžinai blokuoja vienas kitą, laukdami, kol atlaisvins išteklius, kuriuos užima kitas procesas.

Ji atsiranda, kai vienu metu tenkinamos keturios sąlygos:

1. Tarpusavio išskyrimas — išteklius gali būti užimtas tik vieno proceso.
2. Laikymas ir laukimas — procesas laiko vieną išteklių ir laukia kito.
3. Nepasiekiama priverstinė atlaisvinimas — procesas negali būti priverstinai atlaisvintas nuo ištekliaus.
4. Apskritas laukimas — egzistuoja procesų ciklas, kurių kiekvienas laukia ištekliaus, kurį laiko kitas ciklo procesas.

Pavyzdys: procesas A užėmė išteklių 1 ir laukia ištekliaus 2, o procesas B užėmė išteklių 2 ir laukia ištekliaus 1 — abu amžinai blokuoti.