Implementation of Constructive Parallel Programming Models

点击翻译按钮获取中文摘要

Our research aims at implementing parallel programming models based on Constructive Algorithmics which establishes a methodology for practical transformation systems. We had proposed a technique for parallelization transformation based on algebraic rules which leads to formulation of transformation algorithms and we implemented the system as our research project. Our models deal with so-called 'Diffusion' transformation which is effectively used for parallelizing sequential programs. The final stage of this research conducted this year finishes implementation of the system using MPI library with evaluation using benchmark programs. The result shows practical effectiveness of the constructive parallelizaion system based on Constructive Algorithmics.