|
Моделирование и анализ информационных систем, 2014, том 21, номер 6, страницы 18–30
(Mi mais409)
|
|
|
|
Управляемые тупики в параллельных ресурсно-ограниченных потоках работ
В. А. Башкин, Н. Ю. Панфилова Ярославский государственный университет им. П. Г. Демидова, 150000 Россия, г. Ярославль, ул. Советская, 14
Аннотация:
Работа посвящена проблеме проверки правильной организованности (бездефектности) сетей потоков работ с ресурсами.
Поток работ называется бездефектным, если он может быть корректно завершен от любого достижимого состояния.
Рассматривается класс схем ресурсно-ограниченных потоков работ (RCWF-сетей), в которых экземпляры процесса могут использовать внешние
ресурсы, но не могут за время своей жизни изменить их количество.
Две бездефектные RCWF-сети, использующие один и тот же набор ресурсов, могут быть запущены параллельно.
Подобная параллельная композиция в некоторых случаях может порождать дополнительные тупики, вызванные взаимными блокировками.
Мы исследуем проблему обнаружения потенциальных блокировок и предлагаем способы организации такого управления сетью,
которое позволило бы их избегать.
Ключевые слова:
потоки работ, ресурс, бездефектность, параллельная композиция, тупик, верификация.
Поступила в редакцию: 15.09.2014
Образец цитирования:
В. А. Башкин, Н. Ю. Панфилова, “Управляемые тупики в параллельных ресурсно-ограниченных потоках работ”, Модел. и анализ информ. систем, 21:6 (2014), 18–30
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/mais409 https://www.mathnet.ru/rus/mais/v21/i6/p18
|
Статистика просмотров: |
Страница аннотации: | 211 | PDF полного текста: | 85 | Список литературы: | 48 |
|