The Community for Technology Leaders
Parallel Computing in Electrical Engineering, 2004. International Conference on (2002)
Warsaw, Poland
Sept. 22, 2002 to Sept. 25, 2002
ISBN: 0-7695-1730-7
pp: 112
Laura Ricci , University of Pisa
ABSTRACT
This paper presents an abstract interpretation to support the automatic parallelization of iterative constructs. The analysis approximates the range of values of any array subscript by integrating an interval analysis with one returning a set of simple linear restraints among program variables. To reduce the complexity of the analysis, a general methodology has been adopted that defines two different abstract domains, i.e. the interval domain and the bisector domain. The domains are then combined through the reduced product operator. A static tool implementing the analysis has been automatically generated through PAG. The results of the analysis of some kernel loops of the Perfect Club Benchmark are shown.
INDEX TERMS
null
CITATION
Laura Ricci, "Automatic Loop Parallelization: An Abstract Interpretation Approach", Parallel Computing in Electrical Engineering, 2004. International Conference on, vol. 00, no. , pp. 112, 2002, doi:10.1109/PCEE.2002.1115214
94 ms
(Ver 3.3 (11022016))