In work the concept of linearization of the count of a stream of steering on the reduced context of the program which was received owing to the analysis of intermediate submission of the program and removal from it the analytical structures which aren't influencing the static analysis of multiline algorithms is considered. In work the static analysis for search of conditions of races ("race condition") on the basis of the count of joint execution of streams is taken into account. As a technical tool for the analysis of intermediate representation the optimizing compiler CLANG&LLVM is used.
состояние гонки, статический анализ, многопоточные алгоритмы, SSA, оптимизирующий компилятор, LLVM IR, condition of race, static analysis, multiline algorithms, SSA, the optimizing compiler, LLVM IR
1. Fomin A.A. Matematicheskaya model' srezaemogo sloya pri profil'nom frezerovanii drevesnyh zagotovok, ne imeyuschih sbezhimosti / A.A. Fomin, V.G. Gusev, R.G. Safin // Vestnik Kazanskogo tehnologicheskogo universiteta, 2013. - №14. - S. 183 - 188.
2. Fomin A.A. Protyazhennost' kontakta instrumenta s zagotovkoy i ugly vstrechi s voloknami drevesiny pri profil'nom frezerovanii othodov lesopileniya / A.A. Fomin, R.G. Safin, V.G. Gusev // Vestnik Kazanskogo tehnologicheskogo universiteta, 2013. - №20. - S. 224 - 228.
3. Fomin A.A. Vliyanie sbezhistosti frezeruemoy drevesnoy zagotovki na strukturu vremeni edinichnogo cikla «rezanie-otdyh» / / A.A. Fomin, R.G. Safin, V.G. Gusev // Vestnik Kazanskogo tehnologicheskogo universiteta, 2013. - №20. - S. 231 - 235.
4. Bitner V.A. Zaborovskiy N.V. Postroenie universal'nogo linearizovannogo grafa potoka upravleniya dlya ispol'zovaniya v staticheskom analize koda algoritmov // Modelirovanie i analiz informacionnyh sistem, 2013. T. 20, №2, S. 166-177.
5. Kudrin M.Yu., Prokopenko A.S., Tormasov A.G. Metod nahozhdeniya sostoyaniy gonki v potokah, rabotayuschih na razdelyaemoy pamyati. // Sbornik nauchnyh trudov MFTI. - M.: MFTI, 2009. - № 4. - Tom 1. - S. 181-201.
6. Prokopenko A.S. Staticheskiy analiz usloviy gonki v parallel'nyh programmah na razdelyaemoy pamyati: dis. … kand. fiz.-mat. nauk: 05.13.18 - Moskva, 2010. - 107 s.
7. Zaborovskiy N.V. Raschetnaya model' nahozhdeniya sostoyaniy gonok v mnogopotochnyh algoritmah: dis.. kand. fiz.-mat. nauk: 05.13.18 - Moskva, 2011. - 104 s.
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 [Elektronnyy resurs] - Rezhim dost.: http://llvm.org/docs/
