Parallel loop transformation methods for race detection...

Details Parallel loop transformation methods for race detection... Parallel loop transformation methods for race detection...

2006-07-11

2006-07-11

Chaki, Kakali (Department: 2193)

Data processing: software development, installation, and managem

Software program development tool

Translation of code

C717S130000, C717S119000

Reexamination Certificate

active

07076776

ABSTRACT:
A parallel loop transformation method for race detection during an execution of parallel programs that includes generating a data structure of a condition statement branch determinant string Cstr required for loop transformation by taking an original parallel loop as an input and extracting execution path information, transforming the original parallel loop into a full race covering loop using the data structure of the condition statement branch determinant string Cstr required for loop transformation and the execution path information as an input statement, instrumenting the race detection function in order to activate the race detection function for the transformed parallel loop which are previously generated, and executing the race detection while running the parallel programs according to instrumented detection functions.

REFERENCES:
patent: 5151991 (1992-09-01), Iwasawa et al.
patent: 5832272 (1998-11-01), Kalantery
patent: 5842022 (1998-11-01), Nakahira et al.
patent: 6286130 (2001-09-01), Poulsen et al.
patent: 6343371 (2002-01-01), Flanagan et al.
patent: 6374403 (2002-04-01), Darte et al.
patent: 6438747 (2002-08-01), Schreiber et al.
patent: 6817009 (2004-11-01), Flanagan et al.
patent: 6826752 (2004-11-01), Thornley et al.
patent: 2001/0047511 (2001-11-01), Itou et al.
Kim et la., “Scalable On-the-fly Detection of the First Races in Parallel Programs,” ACM, 1998.
Hood et al., “Parallel Program Debugging with On-the-fly Anomaly Detection,” IEEE, 1990.
Gupto et al., “Loop Monotonic Computations: An Approach for the Efficient Run-time Detection of Races,” ACM, 1991.
Rauchwerger et al., “The LRPD Test: Speculative Run-Time Parallelization of Loops with Privatization and Reduction Paralleization,” ACM, 1995.
Choi et al., Race Frontier: Reproducing Data Races in Parallel-Program Debugging, ACM, 1991.
Balasundaram et al., Compile-time Detection of Race Conditions in a Parallel Program, 1986.
Gupta, “Loop Displacement: An Approach for Transforming and Scheduling Loops for Paralel Execution,” IEEE, 1990.
Jun et al., On-the-fly Detection of Access Anomalies in nested parallel Loops, ACM, 1993.
Park et al., “Two-pass On-the-fly Detection of the First Races in Shared-Memory parallel programs,” ACM, 1998.
Kim, et al.; Parallel Loop Transformation.; Eighth International Conference on Parallel and Distributed Systems, ICPADS 2001 Jun. 2001, p. 265-272.

Affiliated with

Also associated with

Rating

Parallel loop transformation methods for race detection... does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Parallel loop transformation methods for race detection..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Parallel loop transformation methods for race detection... will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-3593178