Мантуров, Д. О.2024-02-282024-02-282024Мантуров Д. О. Метод виявлення взаємного блокування в інформаційних системах : пояснювальна записка до кваліфікаційної роботи здобувача вищої освіти на другому (магістерському) рівні, спеціальність 123 Комп'ютерна інженерія / Д. О. Мантуров ; М-во освіти і науки України, Харків. нац. ун-т радіоелектроніки. – Харків, 2024. – 82 с.https://openarchive.nure.ua/handle/document/25791Метою кваліфікаційної роботи є аналіз особливості тупикових ситуацій в інформаційних системах процесів на рівні опису проблеми. У роботі розглянуто існуючі на сьогоднішній день методи пошуку та вирішення тупиків, а також проведено їх аналіз, виділено переваги та недоліки. Досліджено можливість використання теорії алгебри процесів для завдань пошуку та вирішення глухих кутів. У роботі запропоновано метод вирішення тупиків та перевірки правильності функціонування системи після усунення тупикової ситуації.ukінформаційна систематупікова ситуаціяwait-for графграф розподілу ресурсівOR-модельалгебра процесівOther