Ett grundläggande problem i analysen av parallella program är att avgöra när två uttalanden i ett program kan köras samtidigt. Denna analys är den parallella analoga för att styra flödesanalys på seriella program och är användbar för att upptäcka parallella programmeringsfel och som en föregångare till semantik-bevarande kod transformationer. Vi anser att problemet med att analysera parallella program som får tillgång till delat minne och använder barriärsynkronisering, särskilt de med textjusterade barriärer och enkelvärderade uttryck. Vi presenterar en mellanliggande graf representation för parallella program och en effektiv interprocedural analys algoritm som konservativt beräknar uppsättningen av alla samtidiga uttalanden. Vi förbättrar precisionen i denna algoritm genom att använda kontextfri språktillgänglighet för att ignorera ogenomförbara programvägar. Vi tillämpar sedan algoritmerna för statisk kapplöpningsdetektering och visar att den kan dra nytta av den konvergensinformation som tillhandahålls.
Kamil m.fl. REF beskriver konvergensanalyser för ett programplaneringsspråk som anpassats till hinder.
Concurrency analysis for parallel programs with textually aligned barriers
{'venue': 'In Proceedings of the 18th International Workshop on Languages and Compilers for Parallel Computing', 'journal': None, 'mag_field_of_study': ['Computer Science']}