-
公开(公告)号:KR1020030042319A
公开(公告)日:2003-05-28
申请号:KR1020010073052
申请日:2001-11-22
Applicant: 한국전자통신연구원
IPC: G06F11/28
CPC classification number: G06F11/3644 , G06F8/452 , G06F11/3404
Abstract: 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).
Abstract translation: 目的:提供一种并行程序中的动态比赛检测的并行循环变换方法,用于在运行并行程序的过程中尽量减少观察对象进行即时比赛检测。 构成:通过使用每个并行循环作为输入,提取通过循环体的静态分析修改并行循环所需的信息(S210)。 如果修改并行循环所需的信息,则通过使用提取的信息和并行循环作为输入来生成修改的并行循环(S220)。 在并行循环中的每个语句产生包括比赛的所有循环后,建立一个比赛检测功能(S230)。 通过执行修改的并行循环程序设置比赛检测功能来检测比赛(S240)。