Публікація: Метод виявлення взаємного блокування в інформаційних системах
Завантаження...
Дата
2024
Автори
Назва журналу
ISSN журналу
Назва тома
Видавництво
Анотація
Метою кваліфікаційної роботи є аналіз особливості тупикових ситуацій в інформаційних системах процесів на рівні опису проблеми. У роботі розглянуто існуючі на сьогоднішній день методи пошуку та вирішення тупиків, а також проведено їх аналіз, виділено переваги та недоліки. Досліджено можливість використання теорії алгебри процесів для завдань пошуку та вирішення глухих кутів. У роботі запропоновано метод вирішення тупиків та перевірки правильності функціонування системи після усунення тупикової ситуації.
Опис
Ключові слова
інформаційна система, тупікова ситуація, wait-for граф, граф розподілу ресурсів, OR-модель, алгебра процесів
Бібліографічний опис
Мантуров Д. О. Метод виявлення взаємного блокування в інформаційних системах : пояснювальна записка до кваліфікаційної роботи здобувача вищої освіти на другому (магістерському) рівні, спеціальність 123 Комп'ютерна інженерія / Д. О. Мантуров ; М-во освіти і науки України, Харків. нац. ун-т радіоелектроніки. – Харків, 2024. – 82 с.