Vi anser parallella program med delat minne och interleaving semantik, för vilka vi visar hur man konstruerar för enkelriktade bitvektor problem optimal analys algoritmer som är lika effektiva som deras rent sekventiella motsvarigheter och som lätt kan implementeras. Medan komplexiteten resultatet är ganska uppenbart, vårt optimala resultat är en följd av en ny Kam / Ullmanstyle Coincidence Theorem. Således med vår metod, standardalgoritmer för sekventiella program computing livlighet, tillgänglighet, mycket upptagenhet, nå definitioner, definition-användningskedjor, eller analyser för att utföra kodrörelse, tilldelning rörelse, partiell dödkod eliminering eller hållfasthetsminskning, kan enkelt överföras till parallell inställning till nästan ingen kostnad.
Andra exempel på parallell programanalys inkluderar en optimal bit vektoranalys REF för explicita parallella program som gör det möjligt att beräkna nå definition, definition-användning kedjor, eller analys för kodrörelse.
Parallelism for free: efficient and optimal bitvector analyses for parallel programs
{'venue': 'TOPL', 'journal': None, 'mag_field_of_study': ['Computer Science']}