Условия взаимного блокирования заданий в многозадачных программных приложениях
- 1 д. т. н., проф., вед. науч. сотр., Санкт-Петербургский институт информатики РАН
- 2 к. т. н., доцент, зав. лаб. технологий и систем программирования, Санкт-Петербургский институт информатики РАН
Ключевые слова:
Многозадачные программные приложенияразделяемые ресурсысинхронизационные механизмыграф системных состоянийтупикиклинчи
Аннотация
Представлен метод статической проверки структуры многозадачных программных приложений на возможность возникновения ситуаций со взаимным блокированием действующих заданий в условиях использования синхронизационных механизмов типа мьютексов и семафоров. Метод основан на построении и анализе специального вида многодольных ориентированных графов.
Для цитирования
Никифоров В.В., Шкиртиль В.И. Условия взаимного блокирования заданий в многозадачных программных приложениях // Информационно-измерительные и управляющие системы. 2011. № 11. С. 52–56.
Список источников
- Portable Operating System Interface (POSIX). Part 1: System Application Program Interface // IEEE Std 1003.13. 1996.
- Никифоров В. В. Разработка программных средств для встроенных систем. СПб.: СПбГЭТУ. 2000.
- Никифоров В. В., Шкиртиль В. И. Маршрутные сети - графический формализм представления структуры программных приложений реального времени // Труды СПИИРАН. Вып. 14. СПб.: Наука. 2009. С. 7-28.
- Никифоров В. В., Шкиртиль В. И. Спецификация средствами языка XML системы интерфейсов в приложениях реального времени // Труды СПИИРАН. Вып 11. СПб.: Наука. 2009. С. 159-175.
- Питц-Моултис Н., Кирк Ч.XML. СПб.: БХВ-Петербург. 2001.
- Питерсон Дж. Теория сетей Петри и моделирование систем. М.: Мир. 1984.
- Никифоров В. В., Шкиртиль В. И. Управление задачами в системах реального времени // Материалы первой международной конференции «Автоматизация управления и интеллектуальные системы и среды». Т. II. Нальчик: ИИПРУКБНЦ. 2010. С.136-140.