Обнаружение тупиков в параллельных программах как решение системы линейных диофантовых уравнений
Автор: Бабахьян Ольга Федоровна
Журнал: Вестник Донского государственного технического университета @vestnik-donstu
Рубрика: Технические науки
Статья в выпуске: 7 (58) т.11, 2011 года.
Бесплатный доступ
Рассмотрен метод обнаружения дедлоков в распределенных системах на этапе проектирования системы. Система представляется в виде модели посредством формальной спецификации с помощью аппарата сетей Петри.
Тестирование, параллельные программы, сети петри, дедлоки
Короткий адрес: https://sciup.org/14249643
IDR: 14249643
Список литературы Обнаружение тупиков в параллельных программах как решение системы линейных диофантовых уравнений
- Питерсон Дж. Теория сетей Петри и моделирование систем: пер. с англ./Дж. Питерсон. -М.: Мир, 1984. -264 с.
- Котов В.Е. Сети Петри/В. Е. Котов. -М.: Наука, 1984. -160 с.
- Krivoi S. A criteria of Compatibility Systems of Linear Diophantine Constraints/S. Krivoi//Lecture Notes in Comp. Science. -2002. -№2328. -P.264-271.
Статья научная
