КОНФЕРЕНЦІЇ ВНТУ електронні наукові видання, 
Молодь в науці: дослідження, проблеми, перспективи (МН-2026)

Розмір шрифта: 
АНАЛІЗ ПРОБЛЕМ DEADLOCK ТА LIVELOCK У ПАРАЛЕЛЬНИХ ОБЧИСЛЕННЯХ ТА МЕТОДИ ЇХ ВИРІШЕННЯ
Владислава Олексіївна Труханська

Остання редакція: 2026-04-17

Анотація


Здійснено порівняльний аналіз станів Deadlock та Livelock у багатопотокових транзакційних системах. Основна увага приділена відмінностям у механізмах виникнення цих станів при обробці конкурентних запитів до спільних ресурсів, зокрема банківських рахунків. Розглянуто чотири необхідні умови Коффмана для виникнення Deadlock та продемонстровано, як некоректна обробка колізій може призвести до Livelock. На прикладі імітаційної моделі банківських переказів обґрунтовано ефективність комбінованого підходу до синхронізації, що використовує впорядкування ресурсів для попередження Deadlock та алгоритм експоненціальної затримки для уникнення Livelock. Отримані результати мають практичне значення для проєктування високонавантажених фінансових систем та баз даних.


Ключові слова


взаємне блокування, активне блокування, паралельні алгоритми, банківські транзакції, умови Коффмана, Exponential Backoff, Resource Ordering

Повний текст: PDF