Extracting both affine and non-linear synchronization-free slices in program loops

  • Authors:
  • Wlodzimierz Bielecki;Marek Palkowski

  • Affiliations:
  • Faculty of Computer Science, Technical University of Szczecin, Szczecin, Poland;Faculty of Computer Science, Technical University of Szczecin, Szczecin, Poland

  • Venue:
  • PPAM'09 Proceedings of the 8th international conference on Parallel processing and applied mathematics: Part I
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

Abstract

An approach is presented permitting for extracting both affine and non-linear synchronization-free slices in program loops. It requires an exact dependence analysis. To describe and implement the approach, the dependence analysis by Pugh and Wonnacott was chosen where dependences are found in the form of tuple relations. The approach is based on operations on integer tuple relations and sets and it has been implemented and verified by means of the Omega project software. Results of experiments with the UTDSP benchmark suite are discussed. Speed-up and efficiency of parallel code produced by means of the approach is studied.