SC12 Home > SC12 Schedule > SC12 Presentation - MPI Runtime Error Detection with MUST - Advances in Deadlock Detection

SCHEDULE: NOV 10-16, 2012

When viewing the Technical Program schedule, on the far righthand side is a column labeled "PLANNER." Use this planner to build your own schedule. Once you select an event and want to add it to your personal schedule, just click on the calendar icon of your choice (outlook calendar, ical calendar or google calendar) and that event will be stored there. As you select events in this manner, you will have your own schedule to guide you through the week.

MPI Runtime Error Detection with MUST - Advances in Deadlock Detection

SESSION: Auto-Diagnosis of Correctness and Performance Issues

EVENT TYPE: Papers, Best Paper Finalists

TIME: 4:00PM - 4:30PM

SESSION CHAIR: Kenjiro Taura

AUTHOR(S):Tobias Hilbrich, Joachim Protze, Martin Schulz, Bronis R. de Supinski, Matthias S. Mueller

ROOM:255-BC

ABSTRACT:
The widely used Message Passing Interface (MPI) is complex and rich. As a result, application developers require automated tools to avoid and to detect MPI programming errors. We present the Marmot Umpire Scalable Tool (MUST) that detects such errors with a significantly increased scalability. We present improvements to our graph-based deadlock detection approach for MPI, which cover complex MPI constructs, as well as future MPI extensions. Further, our enhancements check complex MPI constructs that no previous graph-based detection approach handled correctly. Finally, we present optimizations for the processing of MPI operations that reduce runtime deadlock detection overheads. Existing approaches often require O(p) analysis time per MPI operation, for p processes. We empirically observe that our improvements lead to sub-linear or better analysis time per operation for a wide range of real world applications. We use two major benchmark suites with up to 1024 cores for this evaluation.

Chair/Author Details:

Kenjiro Taura (Chair) - University of Tokyo

Tobias Hilbrich - Technical University Dresden

Joachim Protze - Technical University Dresden

Martin Schulz - Lawrence Livermore National Laboratory

Bronis R. de Supinski - Lawrence Livermore National Laboratory

Matthias S. Mueller - Technical University Dresden

Add to iCal  Click here to download .ics calendar file

Add to Outlook  Click here to download .vcs calendar file

Add to Google Calendarss  Click here to add event to your Google Calendar

MPI Runtime Error Detection with MUST - Advances in Deadlock Detection

SESSION: Auto-Diagnosis of Correctness and Performance Issues

EVENT TYPE: , Best Paper Finalists

TIME: 4:00PM - 4:30PM

SESSION CHAIR: Kenjiro Taura

AUTHOR(S):Tobias Hilbrich, Joachim Protze, Martin Schulz, Bronis R. de Supinski, Matthias S. Mueller

ROOM:255-BC

ABSTRACT:
The widely used Message Passing Interface (MPI) is complex and rich. As a result, application developers require automated tools to avoid and to detect MPI programming errors. We present the Marmot Umpire Scalable Tool (MUST) that detects such errors with a significantly increased scalability. We present improvements to our graph-based deadlock detection approach for MPI, which cover complex MPI constructs, as well as future MPI extensions. Further, our enhancements check complex MPI constructs that no previous graph-based detection approach handled correctly. Finally, we present optimizations for the processing of MPI operations that reduce runtime deadlock detection overheads. Existing approaches often require O(p) analysis time per MPI operation, for p processes. We empirically observe that our improvements lead to sub-linear or better analysis time per operation for a wide range of real world applications. We use two major benchmark suites with up to 1024 cores for this evaluation.

Chair/Author Details:

Kenjiro Taura (Chair) - University of Tokyo

Tobias Hilbrich - Technical University Dresden

Joachim Protze - Technical University Dresden

Martin Schulz - Lawrence Livermore National Laboratory

Bronis R. de Supinski - Lawrence Livermore National Laboratory

Matthias S. Mueller - Technical University Dresden

Add to iCal  Click here to download .ics calendar file

Add to Outlook  Click here to download .vcs calendar file

Add to Google Calendarss  Click here to add event to your Google Calendar