Kafedra: tt fan: Operatsion tizimlar Mustaqil ish

Tugatish shartlari.
Tupiklarning kelib chiqish shartlari 1970 da Koffman, Elfik va Shoshani tomonidan shakllantirilgan.

O'zaro ajratish holati (Mutual exclusion). Bir vaqtning o'zida faqat bitta jarayon resursdan foydalanishi mumkin.

Resurslarni kutish holati (Hold and wait). Jarayonlar ularga ajratilgan resurslarni saqlab qoladi va boshqa resurslarni talab qilishi mumkin.
Taqsimlanmaslik holati (no preemtion). Oldindan ajratilgan resurs jarayondan majburiy ravishda olinishi mumkin emas. Ular faqat ularni ushlab turgan jarayon bo'lishi mumkin.
Dumaloq kutish holati (circular wait). Har bir jarayon zanjirning boshqa jarayoni tomonidan ushlab turilgan manbaga kirishni kutayotgan jarayonlarning halqa zanjiri mavjud. Barcha to'rtta shartni bajarish uchun zarur va etarli darajada halokat paydo bo'lishi kerak.

Odatda, o'lik uchlik ikki turdagi tugunlardan tashkil topgan ustundagi tsikl bilan modellanadi: to'rtburchaklar – jarayonlar va ellipslar – rasmda tasvirlangan narsalar kabi resurslar. 7.1. Resursdan jarayonga yo'naltirilgan o'qlar manba bu jarayonga ajratilganligini ko'rsatadi. Jarayondan manbaga yo'naltirilgan o'qlar, bu jarayon ushbu resursni talab qiladi

O'lik uchlari bilan ishlashning asosiy yo'nalishlari
O'lik uchlari muammosi kompyuter fanida juda ko'p qiziqarli tadqiqotlar boshlagan. Shubhasiz, tsiklik kutish holati boshqalardan farq qiladi. Birinchi uchta shart tizimda mavjud bo'lgan qoidalarni shakllantiradi, to'rtinchi shart esa muayyan noqulay hodisalar ketma-ketligida yuzaga kelishi mumkin bo'lgan vaziyatni tasvirlaydi. Shuning uchun, qulflashning oldini olish usullari, asosan, jarayonlarning xatti-harakatlariga va resurslarni taqsimlash usullariga bir qator cheklovlarni joriy qilish orqali dastlabki uchta shartni buzishga qaratilgan. Aniqlash va yo'q qilish usullari kamroq konservativ bo'lib, resurslarni kutish davrini topish va buzish uchun kamayadi. Shunday qilib, o'lik uchlari bilan kurashishning asosiy yo'nalishlari:

• 
  Umuman muammolarni e'tiborsiz qoldirish
  
• 
  O'lik oxiri oldini olish
  
• 
  O'lik oxiri aniqlash
  
• 
  O'lik halokatdan keyin tiklash