Vi beskriver ett statiskt analysverktyg för OpenMP-program integrerat i standard öppen källkod Eclipse IDE. Det kan upptäcka en viktig klass av vanliga data-race fel i OpenMP parallella loop program genom att flagga felaktigt specificerad omp parallell för direktiv och data races. Analysen baseras på polyhedralmodellen och omfattar en klass av programfragment som kallas Affine Control Loops (ACLs, eller alternativt statiska kontrolldelar, SCoPs). ompVerifiera automatiskt extraherar sådana ACLs från ett indata C-program, och sedan flaggor felen som specifika och exakta felmeddelanden som rapporterats till användaren. Vi illustrerar kraften i våra tekniker genom ett antal enkla men icke-triviala exempel med subtila parallelliseringsfel som är svåra att upptäcka, även för experter OpenMP programmerare.
OmpVerify REF är ett statiskt verktyg integrerat i Eclipse IDE med hjälp av polyhedralmodellen för att upptäcka dataraser i OpenMP parallella loopar.
ompVerify: polyhedral analysis for the OpenMP programmer
{'venue': 'IWOMP', 'journal': None, 'mag_field_of_study': ['Computer Science']}