Abstrakt. Det allmänt använda Message Passing Interface (MPI) är komplext och rikt. Som ett resultat av detta kräver programutvecklare automatiserade verktyg för att undvika och upptäcka MPI-programmeringsfel. Vi presenterar Marmot Umpire skalbara verktyg (MUST) som upptäcker sådana fel med betydligt ökad skalbarhet. Vi presenterar förbättringar av vår grafbaserade metod för att upptäcka dödläge för MPI, som täcker framtida MPI-förlängningar. Våra förbättringar kontrollerar även komplexa MPI-konstruktioner som ingen tidigare grafbaserad detektionsmetod hanteras korrekt. Slutligen presenterar vi optimeringar för bearbetning av MPI verksamhet som minskar driftstopp upptäckt overheads. Befintliga metoder kräver ofta O(p) analystid per MPI-operation, för p-processer. Vi observerar empiriskt att våra förbättringar leder till sublinjär eller bättre analystid per operation för ett brett spektrum av verkliga tillämpningar.
Nyligen, Hilbrich et al. REF presenterade ett verktyg som heter MÅSTE baseras på deras graf-baserade dödläge detektionsmetod för MPI.
MPI runtime error detection with MUST: advances in deadlock detection
{'venue': 'HiPC 2012', 'journal': None, 'mag_field_of_study': ['Computer Science']}