Presentation
SIGN IN TO VIEW THIS PRESENTATION Sign In
Toward Correctness Checking of MPI Partitioned Communication in MUST
DescriptionPartitioned communication introduced with MPI 4.0 can improve the communication efficiency of hybrid parallel models. It allows threads on the sender and the receiver side to work on parts of a communication buffer before the communication operation is fully completed. In this presentation, we discuss which kind of erroneous usage patterns are possible with MPI partitioned communication and provide a set of example test cases to be integrated in future classification quality benchmark suites. Further, we explain how we implemented first basic checks specific to partitioned communication, namely argument errors and erroneous partition activation, in our correctness checking tool MUST. The evaluation on the example test cases shows that MUST can correctly detect the errors and can help users to pinpoint bugs in their application.
Event Type
Workshop
TimeSunday, 12 November 20234:30pm - 4:42pm MST
Location708
Applications
Software Engineering
W