Zhereb K. Models and facilities for programming of efficient parallel computations based on rewriting rules technique

The dissertation is devoted to development of formal models and facilities based on rewriting rules technique for automated design of highly-efficient computations for modern parallel platforms. Algebra-dynamic models for program structure and program execution on multithreaded and video-graphical platforms are developed. Based on these models program transformations aimed at creating parallel versions of sequential programs and increasing performance of parallel programs with respect to execution time are described. Developed models are also used to prove transformation correctness based on program properties such as equivalence, lack of conflicts, lack of deadlocks and sufficient conditions that enable such properties. Instrumental facilities based on rewriting rules technique are developed. These facilities can be applied to automate program transformation, construct high-level models from source code and check program properties. Developed models and facilities are used to construct efficient parallel programs. Computational experiments demonstrate a significant increase in program performance achieved by use of developed facilities.