Язык программирования Java

Misol (davomi)

• Matritsalar holati. Need quyidagicha aniqlanadi (Max – Allocation):
• Tizim xavfsiz holatda, chunki < P1, P3, P4, P2, P0> xavfsizlik mezonini qanoatlantiradi.

Misol (davomi)

P1 jarayon so‘rovi (talabi) (1,0,2)

• Request  Available ekanligini tekshirib ko‘ramiz, ya’ni

(1,0,2)  (3,3,2)  true.

• Xavfsizlik algoritmining bajarilishi <P1, P3, P4, P0, P2> ketma-ketlikning xavfsizlik mezonini qanoatlantirishini ko‘rsatadi.
• P4 uchun (3,3,0) talab qanoatlantirishi mumkinmi?
• P0 uchun (0,2,0) talab qanoatlantirishi mumkinmi?

"Tupik"larni bartaraf qilish

• Tizimning "tupik" holatga kelishiga imkon bering
• "Tupik"larni bartaraf qilish algoritmini qo‘llang
• Tiklash sxemasini bajaring

Har bir resurs yagona nusxada bo‘lgan holat

• wait-for (kutish) grafini qurish va qo‘llash
• Tugunlar (cho‘qqilar) - jarayonlar.
• agar Pi jarayon Pj ni kutsa, Pi  Pj .
• Ushbu grafda sikl yo‘qligini tekshiruvchi algoritmni davriy chaqirish.
• Siklni bartaraf etish algoritmi grafda O(n2) operatsiyani talab qiladi, bu yerda n – graf tugunlari soni.

Resurslarni taqsimlash grafi va wait-for grafi

(C) I.M.Boynazarov

Har bir resurs uchun bir nechta nusxasi mavjud bo‘lgan holat

(C) I.M.Boynazarov

• Available: m uzunlik vektori; har bir turdan resurslarning mavjudligini ko‘rsatadi.
• Allocation: n x m matritsasi, har bir jarayon uchun ajratilgan har bir turdagi resurslar sonini aniqlaydi.
• Request: n x m matritsasi, har bir jarayon uchun beriladigan so‘rovlar. Agar Request [ij] = k bo‘lsa, u holda Pi jarayon Rj turidagi resursdan yana k nusxasini talab qiladi.