Операцион тизимлар, реал вақт тизимлари, тақсимланган тизимлар, ўзаро блокланишлаш

Ўзаро блокировка жараёнлари битта ресурсга бир нечта мурожаат бир вақтда содир бўлади.

Тупик (Deadlock)-блокланган жараёнлар мажмуаси бўлиб, хар бири бир нечта ресурсга мурожаат қилади ва ресурс бўшашини кутади, яна ушбу мажмуадан бўлган жараёнлар ҳам бўлиши мумкин.

Асосий тушунчалар

Ресурслар турлари – R1,R2,…,Rm

процессор, хотира, киритиш-чиқариш қурилмалари бўлиши мумкин.

• Хар бир тур Ri ресурс Wi экземплярларга эга бўлади.
• Хар бир жараён ресурсдан қуйидаги усуллардан бири орқали мурожаат қилади:
• Request (мурожаат);
• use (фойдаланиш);
• Release (озод қилиш).

Асосий тушунчалар

Ресурс бўлиши мумкин: қурилма, дастур, ортиқча юкланиш, бўшатиладиган, бўшатиб бўлмайдиган ва ҳ.к.

Бўшатиладиган ресурс – бу масалан жараёндан олиб ташлаш мумкин бўлган ресурсдир.

Бўшатиб бўлмайдиган ресурс-бу жараёндан олиб ташланса, керакли ахборот ўчиб кетади.

Тупикларни хусусияти

Агар бир вақтда қуйидаги 4та шарт бажарилса тупик вужудга келади:

Ўзаро истиснолик вазият: ресурсга хар бир вақт бирлигида рухсат бўлса;

Тўхталишлар ва кутишлар: жараён, 1та ресурсни банд қилиш, бошқа ресурсдан фойдаланишни кутиш;

Бандликни тугаши: эркин холда ресурсни жараёндан озод бўлиши, қачонки жараён ўз ишини тугатса .

Циклик кутиш: жараёнлар тўплами {P0, P1, …,Pn}, P0 ресурсни кутиши, P1 эга бўлган ресурсни, P1 кутиб турган ресурсни ва ҳ.к.лар P2, …,Pn-1 навбатда туради Р0 эга бўлган ресурс.

Ўзаро блокировкани моделлаштириш

Ўзаро блокировканинг моделлаштириш

Мисол. А,В,С жараён бажарилиши учун 3 та ресурс R, S, T талаб қилсин. Режалаштириш алгоритми: FIFO,

Жараёнлар кетма-кетлик бажарилса, ўзаро блокировка бўлмайди. Қуйида циклик жараён келтирилган: