Abstract-This paper presenterar det första parallella genomförandet av pekaranalys med Context-Free Language (CFL) nåbarhet, en viktig grund för att stödja efterfrågan frågor i kompilatoroptimering och programvaruteknik. Formulerad som ett diagram traversalt problem (ofta med sammanhangs- och fältkänslighet för önskad precision) och driven av frågor (utges ofta i batch-läge), är denna analys icke-trivial att parallellisera. Vi introducerar en parallell lösning till den CFL-uppnåbarhet-baserade pekaranalys, med sammanhang-och fältkänslighet. Vi utnyttjar dess inneboende parallellism genom att undvika överflödiga graf traversals med två nya tekniker, datadelning och frågeschemaläggning. Med datadelning registreras sökvägar som upptäckts i svar på en fråga som genvägar så att efterföljande frågor tar genvägar istället för att återtraversera tillhörande sökvägar. Med frågeschemaläggning prioriteras frågor enligt deras statiskt uppskattade beroende så att mer överflödiga traverser kan undvikas ytterligare. Utvärderas med hjälp av en uppsättning av 20 Java-program, vår parallella genomförande av CFL-uppnåbarhet-baserad pekaranalys uppnår en genomsnittlig hastighetsökning på 16.2X över en toppmodern sekventiell implementation på 16 CPU-kärnor.
REF beskriver en parallell punkt-till-analys via CFL-uppnåbarhet.
Parallel Pointer Analysis with CFL-Reachability
{'venue': '2014 43rd International Conference on Parallel Processing', 'journal': '2014 43rd International Conference on Parallel Processing', 'mag_field_of_study': ['Computer Science']}