Method of parallel loop transformation for on-the-fly race detection in parallel program

摘要

PURPOSE: A method of parallel loop transformation for on-the-fly race detection in a parallel program is provided to minimize watching objects for the on-the-fly race detection while operating the parallel program. CONSTITUTION: The information needed to modify the parallel loop through a static analysis for a loop body is extracted by using each parallel loop as input(S210). If the information needed to modify the parallel loop, the modified parallel loop is generated by using the extracted information and the parallel loop as the input(S220). After each statement in the parallel loop generates all loops including the race, a race detection function is set up(S230). The race is detected by executing the modified parallel loop program set the race detection function(S240).