Mavzu: Tupik muammolari. Resurslarni taqsimlash grafi. Tupiklarni qayta ishlash usullari. Tupiklarni oldini olish. Bankir algoritmi Annotatsiya

Tizimning xavfsiz holati
Xavfsiz holati deb tizimni tupiklar paydo bo’lmaydigan holatga o’tkazishga aytiladi.
Tupiklardan qochishning umumiy printsiplari quyidagilardan iborat. Jarayon mavjud resursni talab qilganda tizim ushbu resursni zudlik bilan ajratganda xavfsiz holatda qolishini aniqlashi shart.
Agar tizimdagi barcha jarayonlardan tashkil topgan xavfsiz ketma-ketlik mavjud bo’lsa, tizim xavfsiz holatda bo’ladi.
Jarayonlarning xavfsiz ketma-ketligi deb,  jarayonlarning
₁, … P_n> ketma-ketlikka aytiladi, bu yerda har bir P_i jarayon uchun u talab qilishi mumkin bo’lgan resurslar mavjudligi va qaysidir Pj jarayonlar tomonidan band qilingan resurslardan ajratilishi mumkin, bu yerda j
Agar jarayonlar ketma-ketligi xavfsiz bo’lsa, u holda tizim resurslarni taqsimlash va jarayonning bajarilishi nuqtai nazaridan quyidagi xavfsiz strategiyaga amal qilishi mumkin bo’ladi:
· Agar P_i jarayonning talabi bo’yicha resurs zudlik bilan ajratilishi qanoatlantirilmasa, u holda bu jarayon talab qilgan resursni egallagan P_j (j < i ) jarayon o’z ishini yakunlashini kutib turishi mumkin;
· P_j jarayon yakunlanganda, P_i jarayon talab qilgan resursini olishi, bajarilishi, saqlab turgan resursini qaytarishi va yakunlanishi mumkin;
· P_i jarayon yakunlangandan keyin, P_i+1 jarayon unga zarur bo’lgan resurslarni olishi mumkin va h.k.
Shunday qilib, quyidagi tasdiqlar o’rinli bo’ladi:
· Agar tizim xavfsiz holatda bo’lsa, tupik bo’lmaydi;
· Agar tizim xavfli holatda bo’lsa, tupiklar bo’lishi mumkin;
· Tupiklardan qochish uchun, resurslarni ajratishdan oldin tizim xavfli holatga tushib qolmasligi tekshirib ko’rilishi zarur.