Michael Burke, Ron Cytron
ACM SIGPLAN Notices
This paper presents an efficient algorithm that automatically generates a parallel program from a dependence-based representation of a sequential program. The resulting parallel program consists of nested fork-join constructs, composed from the loops and statements of the sequential program. Data dependences are handled by two techniques. One technique implicitly satisfies them by sequencing, thereby reducing parallelism. Where increased parallelism results, the other technique eliminates them by privatization: the introduction of process-specific private instances of variables. Additionally, the algorithm determines when copying values of such instances in and out of nested parallel constructs results in greater parallelism. This is the first algorithm for automatically generating parallelism for such a general model. The algorithm generates as much parallelism as is possible in our model while minimizing privatization. © 1989 Kluwer Academic Publishers.
Michael Burke, Ron Cytron
ACM SIGPLAN Notices
Ron Cytron, Jeanne Ferrante, et al.
PLDI 1990
Michael Burke, Ron Cytron, et al.
ACM SIGPLAN Notices
Jeanne Ferrante
Software Engineering Symposium on High-Level Debugging 1983