СОВРЕМЕННЫЕ ТЕХНОЛОГИИ РАЗРАБОТКИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ УДК 004.415.2.052.03, 004.042, 004.046 ПОДХОД К ВЫДЕЛЕНИЮ МНОГОПОТОЧНОЙ СТРУКТУРЫ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ И. С. <...> В статье рассматривается архитектура средства извлечения многопоточной структуры программного обеспечения. <...> На основе анализа задачи извлечения многопоточной структуры и ее места в рамках подхода к решению проблемы взаимных блокировок формируются общие требования к архитектуре средства. <...> Ключевые слова: многопоточность, взаимные блокировки, извлечение многопоточной структуры программного обеспечения, динамический анализ. <...> In the article the architecture of multi-threaded structure extractor soſtware tool is discussed. <...> General requirements to extractor soſtware tool based on the analysis of the multithreaded structure extraction problem and its place in the approach to solving problem of deadlocks are introduced. <...> Detailed analysis of the two-level architecture of extractor soſtware tool is performed. <...> Для решения данной проблемы современные системы и средства программирования предоставляют средства синхронизации. <...> Однако использование средств синхронизации приводит к проблеме возникновения взаимных блокировок – ситуаций, когда группа потоков не может продолжать выполнение независимо от действий остальных потоков системы. <...> Ошибки, связанные с взаимной блокировкой потоков, чрезвычайно трудно выявить, поскольку их проявление напрямую связано с относительной динамикой выполнения потоков в ПО, зависящей от множества факторов, © Свирин И. С., Силин П. А., 2015 которые могут проявиться, например, при переходе на новую платформу или добавлении новой подсистемы. <...> Динамический анализ, который основан на мониторинге выполняющейся программы на предмет обращения к ресурсам и осуществления различных вызовов [1]. <...> Этот подход характеризуется низкими затратами вычислительных ресурсов, однако, обладает большим количеством ложных срабатываний и не гарантирует нахождения всех потенциальных ситуаций блокировки. <...> Статический анализ использует исходные коды или объектные файлы ПО для построения моделей, которые <...>