Computer Science – Programming Languages
Scientific paper
2008-10-30
Computer Science
Programming Languages
13 pages, 5 figurers
Scientific paper
The problem of detecting of information and logically independent (DILD) steps in programs is a key for equivalent program transformations. Here we are considering the problem of independence of loop iterations, the concentration of massive data processing and hence the most challenge construction for parallelizing. We introduced a separated form of loops when loop's body is a sequence of procedures each of them are used array's elements selected in a previous procedure. We prove that any loop may be algorithmically represented in this form and number of such procedures is invariant. We show that for this form of loop the steps connections are determined with some integer equations and hence the independence problem is algorithmically unsolvable if index expressions are more complex than cubical. We suggest a modification of index semantics that made connection equations trivial and loops iterations can be executed in parallel.
No associations
LandOfFree
Detection of parallel steps in programs with arrays does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Detection of parallel steps in programs with arrays, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Detection of parallel steps in programs with arrays will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-456418