Universit'e de Versailles-Saint-Quentin,
|
Abstract:
In order to detect more parallelism in scientific programs, one may extract parallelism relative to reductions. This paper presents such a method which schedules programs with explicit computations of reductions. We describe the way the reductions are expressed in our input language (which is in fact the output language of the reductions detector presented in [RF93]). We also give a brief summary of scheduling techniques. In order to simplify the scheduling we suppose that the target parallel computer has an infinite number of processors with infinite fan-in. We show that a schedule computed with this model can be adapted to work on real parallel machines. Then we present a scheduling method based on the algorithms from [Fea92a, Fea92b] which works in presence of reductions. This method is applied on an example. Lastly, we show that side-effects of reductions scheduling are the simplification of the scheduling process and the improvement of the computed schedules.
Citations
| 161 | I962J. A Programming Language – Iverson - 1962 |
| 150 | Some efficient solutions to the affine scheduling problem – Feautrier - 1992 |
| 140 | Parametric integer programming – Feautrier - 1988 |
| 39 | Uniform Techniques for Loop Optimization – Pugh - 1991 |
| 24 | Recognizing and parallelizing bounded recurrences – Callahan - 1991 |
| 24 | un langage 'equationnel pour la conception et la programmation d'architectures parall`eles synchrones – Alpha - 1989 |
| 13 | Mapping recurrences on parallel architectures – Quinton - 1988 |
| 11 | Optimal schedules for parallel prefix computation with bounded resources – Nicolau, Wang - 1991 |
| 11 | Detection of reductions in sequentials programs with loops – Redon, Feautrier - 1993 |
| 7 | Systematic construction of programs for distributed memory systems – Raji-Werth, Feautrier - 1990 |
| 4 | Crystal: From functional description to efficient parallel code – Chen, Li - 1988 |
