Аннотация:
Представлен метод проверки структуры многозадачных программных приложений на
возможность возникновения ситуаций с взаимным блокированием действующих заданий в
условиях использования синхронизационных механизмов типа мьютексов. Метод основан на
построении и анализе специального вида многодольных ориентированных графов, число
вершин в которых растет линейно с ростом числа задач.
Полный текст:
PDF файл (112 kB)