Abstrakt. Pointeranalys är en av de viktigaste statiska analyserna under sammanställningen. Medan flera förbättringar har gjorts för att skala pekaranalys, arbetet med att parallellisera själva analysen är fortfarande i spädbarnsåldern. I den här artikeln föreslår vi en parallell version av sammanhangskänslig inkluderingsbaserad points-to analys för C-program. Vår analys använder sig av replikation av points-to-set för att förbättra parallellismen. I jämförelse med det tidigare arbetet med parallella punkter-till-analys, extraherar vi mer parallellism genom att utnyttja en nyckelinsikt baserad på monotonitet och oordnad karaktär av flödes-okänsliga punkter-till-analys. Genom att dra nytta av typen av points-to-analys och strukturen av begränsningsgraf, vi utformar flera nya optimeringar för att ytterligare förbättra den totala upphastigheten. Vi visar effektiviteten i vår strategi med 16 SPEC 2000-riktmärken och fem stora öppen källkodsprogram som sträcker sig från 1,2 KLOC till 0,5 MLOC. Specifikt, vår kontextkänsliga analys uppnår en genomsnittlig hastighetsökning på 3,4× på en 8-core maskin.
I REF föreslås en parallell flödesokänslig analys baserad på replikering.
Parallel Replication-Based Points-To Analysis
{'venue': 'Compiler Construction', 'journal': 'Compiler Construction', 'mag_field_of_study': ['Computer Science']}