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
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.
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