Automatic Transformation From Apla~+ Programs To MPI+C++ Parallel Programs Based On Skeleton

Since software crisis broke out, there have many new methods and new tools available to solve problems resulted from it. However, these existing solutions can not liberate people from software crisis thoroughly. Developing correct and efficient algorithmic programs with formal methods is called revolutionary approach by current computer world to overcome software crisis and improve software's reliability and productivity.Based on research of several projects supported by 863 Hi-Tech Programme and National Natural Science Foundation of China, Professor Xue Jinyun proposed a simple and practicable approach for formal development and proving of Algorithmic programs ----PAR approach. In addition, Radl is defined for describing algorithmic specifications and algorithms, and Apla is defined for describing abstract programs. Automatic program transformation is the important component of PAR method, which is aided tool for developing advanced language program with PAR method. Automatic program transformation by now can just produce sequential program, but today parallel program is more and more important so that we must expand automatic program transformation to deal with parallel programs. this paper studies an automatic program transformation from Apla+ to MPI+C++ parallel program.Most parallel programming models at present are studying on parallel programming basically. They offer abstract platforms for parallel programming, but lack of method that can guide efficiently programmers to develop parallel programs. The study on the skeletal parallel programming is an important part of the parallel programming model research. By providing the programmer with skeletons envisaged as the universal strategy constructs for solving the problem, it makes the programmers'diversion from the implementation detail of the problem's parallelism to the problem. So the skeletal parallel programming is known as a high-level programming method. In this paper the implementation of the automatic program transformation is base on skeleton.The primary work we have done here is listed as follows(1)Researching the studies on the skeletal parallel programming and searching for a feasible solution to the problems and difficulties of the skeleton concept and programming language cooperated with PAR method.(2)Researching on the Divide&Conquer skeletons. Developing the primary implementation of the Divide&Conquer skeletons based on the C++ template and its compositive library.(3)Further study on PAR approach. Raising a parallel extension of Apla and forming the Apla+ language.(4)Implementation of the automatic program transformation from Apla+ programs to MPI+C++ parallel programs based on skeleton (5)Provide some examples with using the automatic program transformation to solve problems.