В работе рассматривается концепция линеаризации графа потока управления на сокращенном контексте программы, который был получен вследствие анализа промежуточного представления программы и удаления из него аналитических структур, не влияющих на статический анализ многопоточных алгоритмов. В работе принимается во внимание статический анализ для поиска состояний гонок («race condition») на основе графа совместного исполнения потоков. В качестве технического средства для анализа промежуточного представления используется оптимизирующий компилятор CLANG&LLVM.
состояние гонки, статический анализ, многопоточные алгоритмы, SSA, оптимизирующий компилятор, LLVM IR, condition of race, static analysis, multiline algorithms, SSA, the optimizing compiler, LLVM IR
1. Фомин А.А. Математическая модель срезаемого слоя при профильном фрезеровании древесных заготовок, не имеющих сбежимости / А.А. Фомин, В.Г. Гусев, Р.Г. Сафин // Вестник Казанского технологического университета, 2013. - №14. - С. 183 - 188.
2. Фомин А.А. Протяженность контакта инструмента с заготовкой и углы встречи с волокнами древесины при профильном фрезеровании отходов лесопиления / А.А. Фомин, Р.Г. Сафин, В.Г. Гусев // Вестник Казанского технологического университета, 2013. - №20. - С. 224 - 228.
3. Фомин А.А. Влияние сбежистости фрезеруемой древесной заготовки на структуру времени единичного цикла «резание-отдых» / / А.А. Фомин, Р.Г. Сафин, В.Г. Гусев // Вестник Казанского технологического университета, 2013. - №20. - С. 231 - 235.
4. Битнер В.А. Заборовский Н.В. Построение универсального линеаризованного графа потока управления для использования в статическом анализе кода алгоритмов // Моделирование и анализ информационных систем, 2013. Т. 20, №2, С. 166-177.
5. Кудрин М.Ю., Прокопенко А.С., Тормасов А.Г. Метод нахождения состояний гонки в потоках, работающих на разделяемой памяти. // Сборник научных трудов МФТИ. - М.: МФТИ, 2009. - № 4. - Том 1. - С. 181-201.
6. Прокопенко А.С. Статический анализ условий гонки в параллельных программах на разделяемой памяти: дис. … канд. физ.-мат. наук: 05.13.18 - Москва, 2010. - 107 с.
7. Заборовский Н.В. Расчетная модель нахождения состояний гонок в многопоточных алгоритмах: дис.. канд. физ.-мат. наук: 05.13.18 - Москва, 2011. - 104 с.
8. Muchnick, Steven S. Advanced Compiler Design and Implementation, San Francisco: Morgan Kauffman, 1997.
9. Alfred V. Aho, Ravi Sethi, Jeffrey D. Ullman. Compilers: principles, techniques, and tools, Addison-Wesley, Reading, Massachusetts, 1986.
10. LLVM Documentation [Электронный ресурс] - Режим дост.: http://llvm.org/docs/
