|
Известия Кабардино-Балкарского научного центра РАН, 2011, выпуск 1, страницы 213–216
(Mi izkab614)
|
|
|
|
ИНФОРМАТИКА. ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА. УПРАВЛЕНИЕ
Проверка корректности логической структуры многозадачных программных приложений
В. В. Никифоров, В. И. Шкиртиль Учреждение Российской академии наук
«Санкт-Петербургский институт информатики и автоматизации РАН» (СПИИРАН),
199178, Санкт-Петербург, 14 линия, 39
Аннотация:
Представлен метод проверки структуры многозадачных программных приложений на
возможность возникновения ситуаций с взаимным блокированием действующих заданий в
условиях использования синхронизационных механизмов типа мьютексов. Метод основан на
построении и анализе специального вида многодольных ориентированных графов, число
вершин в которых растет линейно с ростом числа задач.
Ключевые слова:
многозадачные программные приложения, разделяемые ресурсы, синхронизационные механизмы, граф системных состояний, тупики, клинчи.
Поступила в редакцию: 24.01.2011
Образец цитирования:
В. В. Никифоров, В. И. Шкиртиль, “Проверка корректности логической структуры многозадачных программных приложений”, Известия Кабардино-Балкарского научного центра РАН, 2011, № 1, 213–216
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/izkab614 https://www.mathnet.ru/rus/izkab/y2011/i1/p213
|
Статистика просмотров: |
Страница аннотации: | 18 | PDF полного текста: | 5 | Список литературы: | 10 |
|