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