Kollektiv MPI-kommunikation måste utföras i samma ordning av alla processer i sin kommunikator och samma antal gånger, annars uppstår ett dödläge. Så snart det kontrollflöde som omfattar dessa kollektiva transaktioner blir mer komplext, särskilt när det gäller villkor för processlederna, är det felbenäget att se till att denna kod korrigeras. Vi föreslår i detta dokument en statisk analys för att upptäcka när en sådan situation inträffar, i kombination med en kodomvandling som förhindrar dödläge. Vi visar på flera riktmärken den lilla inverkan på prestanda och lättheten att integrera våra tekniker i utvecklingsprocessen. Kontroll
Vi föreslog i REF en kombinationsmetod för att upptäcka missbruk av MPI kollektiv verksamhet i MPI-program.
Combining static and dynamic validation of MPI collective communications
{'venue': 'EuroMPI', 'journal': None, 'mag_field_of_study': ['Computer Science']}