Många MPI bibliotek har drabbats av programvara buggar, vilket allvarligt påverkar produktiviteten hos ett stort antal användare. Detta dokument presenterar en ny metod som kallas FlowChecker för att upptäcka kommunikationsrelaterade fel i MPI-bibliotek. Huvudidén är att extrahera program intentioner av meddelande passerar (MPintensions), och att kontrollera om dessa MP-avsikter uppfylls korrekt av de underliggande MPI-bibliotek, dvs., om meddelanden levereras korrekt från angivna källor till angivna destinationer. Om inte, FlowChecker rapporterar felen och tillhandahåller diagnostisk information. Vi har byggt en FlowChecker-prototyp på Linux och utvärderat den med fem riktiga felfall i tre allmänt använda MPI-bibliotek, inklusive Open MPI, MPICH2 och MVAPICH2. Våra experimentella resultat visar att FlowChecker effektivt upptäcker alla fem utvärderade felfall och ger användbar diagnostisk information. Dessutom visar våra experiment med HPL och NPB att FlowChecker har låg drifttid (0,9-9,7% på tre MPI-bibliotek).
MPI bugg detektion metoder upptäcka fel i MPI implementationer REF.
FlowChecker: Detecting Bugs in MPI Libraries via Message Flow Checking
{'venue': '2010 ACM/IEEE International Conference for High Performance Computing, Networking, Storage and Analysis', 'journal': '2010 ACM/IEEE International Conference for High Performance Computing, Networking, Storage and Analysis', 'mag_field_of_study': ['Computer Science']}