Abstract-I detta papper presenterar vi OpenMP Analysis Toolkit (OAT), som använder tillfredsställande Modulo Theories (SMT) lösare baserad symbolisk analys för att upptäcka data raser och dödlägen i OpenMP-koder. Vårt tillvägagångssätt simulerar ungefär verkliga utföranden av ett OpenMP-program genom schema permutation. Vi utförde experiment på Realworld OpenMP-riktmärken och studentuppgifter genom att jämföra vårt OAT-verktyg med två kommersiella dynamiska analysverktyg: Intel Thread Checker och Sun Thread Analyser, och ett kommersiellt statiskt analysverktyg: Viva64 PVS Studio. Experimenten visar att vår symboliska analysmetod är mer exakt än statisk analys och mer effektiv och skalbar än dynamiska analysverktyg med mindre falska positiva och negativa.
Flera statiska metoder finns: Först kan vi nämna OpenMP Analysis Toolkit REF (OAT) som använder symbolisk analys för att upptäcka konvergensfel.
Symbolic Analysis of Concurrency Errors in OpenMP Programs
{'venue': '2013 42nd International Conference on Parallel Processing', 'journal': '2013 42nd International Conference on Parallel Processing', 'mag_field_of_study': ['Computer Science']}