发明名称 |
Parallel loop transformation methods for race detection during an execution of parallel programs |
摘要 |
The present invention relates to parallel loop transformation methods for race detection during an execution of parallel programs which is one of the debugging methods for parallel loop programs. Using the information obtained from a static analysis of parallel loop bodies, the monitoring time for race detection is improved by transforming the loop bodies in order for only the necessary iterations for race detection can be dynamically selected during the execution. Specifically, in comparison to the conventional monitoring methods which typically consumes a long time since they monitor the full iterations for each parallel loop in parallel loop programs, by monitoring two times of the execution paths irrespective of the parallelism of each parallel loop, the present invention can significantly reduce the execution time. As a result, the present invention allows a convenient race detection of parallel loop programs therefore making the race detection more practical.
|
申请公布号 |
US2003097653(A1) |
申请公布日期 |
2003.05.22 |
申请号 |
US20010025556 |
申请日期 |
2001.12.26 |
申请人 |
KIM JEONG SI;HAN DONG SOO;YU CHAN SU |
发明人 |
KIM JEONG SI;HAN DONG SOO;YU CHAN SU |
分类号 |
G06F11/28;G06F9/45;G06F11/34;G06F11/36;(IPC1-7):G06F9/45;G06F9/44 |
主分类号 |
G06F11/28 |
代理机构 |
|
代理人 |
|
主权项 |
|
地址 |
|