Transforming an incorrectly synchronized parallel program into correctly synchronized and well optimized program

We propose to design a source-to-source parallelizing tool that transforms an incorrectly synchronized Jomp parallel program into a correctly synchronized and well-optimized program. The tool deals with the primitive variables accesses (read/write). The approach consists of (1) analyzing variables accesses and dependences between statements, (2) slicing the program into independent subsets of statements (3) combining all accesses of each variable (4) and finally enforcing a set of transformation rules. The tool aims to be less error-prone and to generate optimized code. We´ve proved the feasibility of that tool by applying by hand the transformation rules. Experimental results reveal that programs dealt with the tool can achieve better performance gain.