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

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

Остання редакція: 2026-01-21

Анотація


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


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


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

Посилання


1.Yiyan Lin and Sandeep S. Kulkarni. 2014. Automatic repair for multi-threaded programs with Deadlock/Livelock using maximum satisfiability. In Proceedings of the 2014 International Symposium on Software Testing and Analysis (ISSTA 2014). Association for Computing Machinery, New York, NY, USA, 237–247. https://doi.org/10.1145/2610384.2610398

2.B. Yang and H. Hu, "Maximally Permissive Deadlock and Livelock Avoidance for Automated Manufacturing Systems via Critical Distance," in IEEE Transactions on Automation Science and Engineering, vol. 19, no. 4, pp. 3838-3852, Oct. 2022, doi: 10.1109/TASE.2021.3138169.

3.Okike, E.U., Akhmatdinov, S. (2025). Analytical Discussion and Applications of Concurrency, Deadlock, and Starvation in Computational Intelligence: An Operating Systems Perspective. In: Nagar, A., Jat, D.S., Mishra, D., Joshi, A. (eds) Intelligent Sustainable Systems. Worlds4 2024. Lecture Notes in Networks and Systems, vol 1180. Springer, Singapore. https://doi.org/10.1007/978-981-97-9324-2_45

4.Y. Yan, J. Yue and Z. Chen, "Logical Approach to Livelock and Deadlock of Deterministic Finite State Machines: Modelling and Finding," 2021 40th Chinese Control Conference (CCC), Shanghai, China, 2021, pp. 1-6, doi: 10.23919/CCC52363.2021.9549706.


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