Formal methods to generate parallel iterative codes for PDE-based applications

Author

Tang, Peiyi

Author_Institution

Dept. of Comput. Sci., Arkansas Univ., Little Rock, AR, USA

fYear

2005

fDate

16-20 June 2005

Firstpage

106

Lastpage

115

Abstract

Developing parallel software is far more complex than traditional sequential software. An effective approach to deal with the complexity of parallel software is domain-specific programming in an abstraction higher than general-purpose programming languages. In this paper, we focus on the domain of the applications based on partial differential equations (PDE) and provide a formal framework and methods for PDE compilers to generate parallel iterative codes for the domain. We also provide a PDE compiler optimization to minimize the number of messages between parallel processors. Our framework and methods can be used to build PDE compilers to generate efficient parallel software for PDE-based applications automatically.

Keywords

formal specification; formal verification; message passing; minimisation; optimising compilers; parallel programming; parallelising compilers; partial differential equations; PDE compiler; PDE-based applications; abstraction; compiler optimization; domain-specific programming; formal method; message minimization; parallel iterative code generation; parallel processors; parallel software complexity; partial differential equations; programming languages;

fLanguage

English

Publisher

ieee

Conference_Titel

Engineering of Complex Computer Systems, 2005. ICECCS 2005. Proceedings. 10th IEEE International Conference on

Print_ISBN

0-7695-2284-X

Type

conf

DOI

10.1109/ICECCS.2005.46

Filename

1467891