Parallelization of Unstructured Mesh Computations Using Data Structure Formalization

This paper introduces a concept for semi-automatic parallelization of unstructured mesh computations called data structure formalization. Unlike existing concepts it does not expect knowledge about parallelism but just enough knowledge about the application semantics such that a formal description of the data structure implementation can be given. The parallelization tool Parlamat uses this description for deduction of additional information about arrays and loops such that more efficient parallelization can be achieved than with general tools. We give a brief overview of our data structure modelling language and first experiences with Parlamat’s capabilities by means of the translation of some real-size applications from Fortran 77 to HPF.