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

Тўрта структарали маълумотларда ўзаро блокировкани аниқлаш

Ўзаро блокировкадан огоҳлантирувчи усулар

Шартлар	усул
Ўзаро истисно	Дискда навбатни хосил қилиш
Тўхталишлар ва кутишлар	Барча ресурсларга бошидан мурожаатларни шаклантириш
Тайёр бўлмаган	Ресурсни қайтариб олмоқ
Циклик кутиш	Ресурсларни тартиб рақами бўйича тартиб киритиш

Банкир усули алгоритми

• Банкирга мижоздан кридит сўралган мурожаат келиб тушди;
• Банкир мазкур мурожаатни хавфсиз холатдагини текшириб кўради;
• Банкир ушбу кридитни бериш керакми ёки йўқми деган саволга боғланади.

Банкир усули

Ўзаро блокировкалар билан курашиш усуллари

• Муаммолик вазиятдан тўлиқ сақлаб қолиш (Туяқуш алгоритм):

* Агар ўзаро блокировка бўлиш эҳтимоли кам бўлса, у ҳолда жараённи бошқариш содда бўлади, акс холда жараённи бошқариш мураккаб бўлади (бундай алгоритмлар UNIX, Windows каби ОТларда фойдаланилади).

• Аниқлаш ва бартараф қилиш (ўзаро блокировка хасил бўлиши билан ўчириб юбориш);
• Тупикли холатлардан динамик қутилиш;

Ўзаро блокировка жараёнларини аниқлаш ва бартараф қилиш

• ОТ ўзаро блокировка бўишидан сақлаш учун бундай холларни аниқлаш ва бартараф қилиб бориш зарур;
• Ўзаро блокировка жараёнини аниқловчи 2 алгоритм бор:
• Хар бир типга бтттадан ресурсни ажратиш;
• Хар бир типга бмп нечта ресурс ажратиш.
• “Жараён-ресурс” учун ракрорий графларни қуриш;
• Ушбу графда цикл вужудга келмаётганини вақти-вақти билан текшириб турувчи алгоритм ишлайди;
• Циклик графни аниқловчи алгоритмлар O(n^2) амал бажарилади.

Икки фазали блокировка

Фойдаланилган манбалар

http://www.scadatm.com/products/runtime/scada/rtm6/

http://www.scadatm.com/products/dev/

https://habr.com/ru/post/247907/

https://slide-share.ru/vzaimoblokirovka-processov-91515

https://studfile.net/preview/7483563/page:7/