Forecasting model of the state of deadlock processes of computer system
Keywords:
deadlock of processes, status of processAbstract
The life cycle process of computer system is analyzed in the paper. The study revealed boundary condition, which precedes the deadlock of processes. This allows in current time to determine the set of processes that may fall into deadlock state in the next moment.References
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 с.
Downloads
-
PDF (Українська)
Downloads: 66
Abstract views: 94
Published
2010-11-12
How to Cite
[1]
V. M. Lokaziuk, O. S. Savenko, and S. V. Mostovyi, “Forecasting model of the state of deadlock processes of computer system”, Вісник ВПІ, no. 4, pp. 130–133, Nov. 2010.
Issue
Section
Information technologies and computer sciences
License
Authors who publish with this journal agree to the following terms:
- Authors retain copyright and grant the journal right of first publication.
- Authors are able to enter into separate, additional contractual arrangements for the non-exclusive distribution of the journal's published version of the work (e.g., post it to an institutional repository or publish it in a book), with an acknowledgment of its initial publication in this journal.
- Authors are permitted and encouraged to post their work online (e.g., in institutional repositories or on their website) prior to and during the submission process, as it can lead to productive exchanges, as well as earlier and greater citation of published work (See The Effect of Open Access).
