November 15-20, 2015, Austin, Texas

A Deadlock Detection Concept for OpenMP Tasks and Fully Hybrid MPI-OpenMP Applications

Date: Thursday, November 19, 2015, 05:15 PM - 07:00 PM

Room: Level 4 - Lobby

Type: Poster

Description: Current high performance computing applications often combine the Message Passing Interface (MPI) with threaded parallel programming paradigms, e.g.,OpenMP. MPI allows fully hybrid applications in which multiple threads of a process issue MPI operations concurrently. Little study on deadlock conditions for this combined use exists. We propose a wait-for graph approach to understand and detect deadlock for such fully hybrid applications. It specifically considers OpenMP 3.0 tasking support to incorporate OpenMP's task-based execution model.Our model creates dependencies with deadlock criteria that can be visualized to support comprehensive deadlock reports. We use a model checking approach to investigate wide ranges of valid execution states of example programs to verify the soundness of our wait-for graph construction.

Links: Official link from SC15

Back to overviewPrevNext