Efficient Runtime Support for Future Programming Standards


Icon date
Project duration
October 2013 - September 2016
Icon government building


Because of the increasing number of cores on a single chip and in order to profit from the potential of accelerators in compute clusters, message passing paradigms like MPI are often no longer sufficient to utilize the hardware in an optimal way. Therefore a growing number of applications will employ a hybrid approach for parallelization, like MPI+OpenMP or MPI+OpenACC or even MPI+OpenMP+OpenACC.

The recent version 4.0 of the OpenMP specification addresses this by incorporating programming support for accelerator devices and SIMD units in modern microarchitectures. This increases the complexity of application development and correctness checking for parallel applications. In ELP, a modified OpenMP runtime will be developed, delivering runtime internal information to correctness analysis tools like MUST or debuggers like DDT. This will allow detecting certain error classes automatically. The data will also be used by the performance analysis tool Vampir to better understand the performance behavior of an application.

The correctness-verification tool MUST is extended in the context of this project. More information about MUST and it's latest stable release can be found here .


Christian Terboven

Administrative contact

 +49 241 80 24375

RWTH IT Center
Prof. Dr. Matthias S. Müller
Seffenter Weg 23
52074 Aachen