Бөлінетін ресурстар. Қауіпсіз және қауіпті күйлер

Қауіпсіз режимде жүйе барлық процестер жұмысын аяқтайтынына кепілдік бере алады.

7.3.1 Мысалы, келесі жүйеде ресурстың 10 данасы және 3 процесс бар.

7.3 сурет – Ресурстардың таралуы 1

А процесі 3 дана алып жатыр, бірақ оған 9 қажет. Бұл жағдайда В процесін жіберіп, содан кейін С, содан кейін А процесін жіберу керек деп жоспарлауға болады. Сонда процестер тығырықтық жағдайға тап болмай жұмысын аяқтайды.

Басқа жағдайды қарастырайық. А процесі 4 дана алып жатыр.

7.4 сурет – Ресурстардың таралуы 2

Суреттен көрінгендей қауіпті жағдай туындайды. Бірақ А процесі қандай да бір моментте ресурсты босатса тығырық болмайды.

Бұл жағдайда А процесіне ресурс бермеген жөн еді.

7.3.2 Ресурстың бір түріне арналған банкир алгоритмі.

Клиенттер-процесс, ал кредиттер-ресурс ұқсастығы болғандықтан "Банкир алгоритмі " деп аталады. Жүйені қарастырайық:

Банкир 10 кредит (ресурс) бере алады. Оған ретімен 4 клиент сұраныс береді.

7.5 сурет – Ресурстардың таралуы 3

Банкир алгоритмі:

1) Банкирге клиенттен кредит алуға сұраныс түседі.

2) Банкир бұл сұраныстың қауіпті жағдайда әкелетіндігін тексереді.

3) Осыған байланысты кредит бермейді не береді.

7.6 сурет – Банкир алгоритмі

7.3.2 Ресурстың бірнеше түріне арналған банкир алгоритмі.

Келесі жүйені қарастырайық:

Векторлар:
E=(6342) – бар ресурстар.
P=(5322) – бос емес ресурстар.
A=(1020) – қол жетімді ресурстар.

7.7 сурет – Ресурстарды тарату матрицасы

7.3.3 Қауіпсіз немесе қауіпті күйді іздеу алгоритмі. Егер күй қауіпсіз болса, онда ресурсты беруге болады, егер қауіпті болса, онда беруге болмайды.

Тәжірибе жүзіде бұл алгоритмдерді іске асыру қиын.

7.8 сурет – Ресурстың бірнеше түріне арналған банкир алгоритмі