МОДЕЛЬ ПРОГНОЗУВАННЯ СТАНУ ВЗАЄМОБЛОКУВАННЯ ПРОЦЕСІВ КОМП’ЮТЕРНОЇ СИСТЕМИ
Ключові слова:
взаємоблокування процесів, стан процесуАнотація
Проведено аналіз життєвого циклу процесу комп’ютерної системи. В результаті дослідження виділено граничний стан, який передує стану взаємоблокування процесів. Це дозволяє в поточний момент часу визначити множину процесів, які можуть потрапити в стан взаємоблокування в наступний момент часу.Посилання
1. Coffman E. G. System deadlocks / E. G. Coffman, M. J. Elphick, A. Shoshani // Computing Surveys. — June 1971. — Vol. 3, No. 2. — P. 67—78.
2. Isloor S. S. The Deadlock Problem: An Overview / S. S. Isloor, T. A. Marsland // Computer. — 1980. — № 9, vol. 13. — P. 58—78.
3. Kaveh N. Deadlock detection in distribution object systems / Nima Kaveh, Wolfgang Emmerich // Software Engineering Notes. — September 2001. — Vol. 26, No. 5. — P. 44—51.
4. Confirmation of deadlock potentials detected by runtime analysis / [Saddek Bensalem, Jean-Claude Fernandez, Klaus
Havelund, Laurent Mounier] // International Symposium on Software Testing and Analysis — 2006. — P. 41—50.
5. Савенко О. С. Дослідження та аналіз блокування процесів в комп’ютерній системі / О. С. Савенко, Ю. П. Кльоц,
С. В. Мостовий // Вісник ХНУ. — 2007. — Т. 1, № 3. — С. 248—251.
6. Таненбаум Э. Операционные системы: разработка и реализация. Класика CS / Э. Таненбаум, А. Вудхалл — СПб. : Питер, 2006. — 576 с.
7. Поморова О. В. Теоретичні основи, метод та засоби інтелектуального діагностування комп’ютерних систем : моног. / О. В. Поморова — Хмельницький. : ТОВ «Тріада-М», 2006. — 253 с.
2. Isloor S. S. The Deadlock Problem: An Overview / S. S. Isloor, T. A. Marsland // Computer. — 1980. — № 9, vol. 13. — P. 58—78.
3. Kaveh N. Deadlock detection in distribution object systems / Nima Kaveh, Wolfgang Emmerich // Software Engineering Notes. — September 2001. — Vol. 26, No. 5. — P. 44—51.
4. Confirmation of deadlock potentials detected by runtime analysis / [Saddek Bensalem, Jean-Claude Fernandez, Klaus
Havelund, Laurent Mounier] // International Symposium on Software Testing and Analysis — 2006. — P. 41—50.
5. Савенко О. С. Дослідження та аналіз блокування процесів в комп’ютерній системі / О. С. Савенко, Ю. П. Кльоц,
С. В. Мостовий // Вісник ХНУ. — 2007. — Т. 1, № 3. — С. 248—251.
6. Таненбаум Э. Операционные системы: разработка и реализация. Класика CS / Э. Таненбаум, А. Вудхалл — СПб. : Питер, 2006. — 576 с.
7. Поморова О. В. Теоретичні основи, метод та засоби інтелектуального діагностування комп’ютерних систем : моног. / О. В. Поморова — Хмельницький. : ТОВ «Тріада-М», 2006. — 253 с.
##submission.downloads##
-
PDF
Завантажень: 65
Переглядів анотації: 92
Опубліковано
2010-11-12
Як цитувати
[1]
В. М. Локазюк, О. С. Савенко, і С. В. Мостовий, «МОДЕЛЬ ПРОГНОЗУВАННЯ СТАНУ ВЗАЄМОБЛОКУВАННЯ ПРОЦЕСІВ КОМП’ЮТЕРНОЇ СИСТЕМИ», Вісник ВПІ, вип. 4, с. 130–133, Листоп. 2010.
Номер
Розділ
Інформаційні технології та комп'ютерна техніка
Ліцензія
Автори, які публікуються у цьому журналі, згодні з такими умовами:
- Автори зберігають авторське право і надають журналу право першої публікації.
- Автори можуть укладати окремі, додаткові договірні угоди з неексклюзивного поширення опублікованої журналом версії статті (наприклад, розмістити її в інститутському репозиторії або опублікувати її в книзі), з визнанням її первісної публікації в цьому журналі.
- Авторам дозволяється і рекомендується розміщувати їхню роботу в Інтернеті (наприклад, в інституційних сховищах або на їхньому сайті) до і під час процесу подачі, так як це може привести до продуктивних обмінів, а також скорішого і ширшого цитування опублікованих робіт (див. вплив відкритого доступу).
